Results
|
|
1461.
|
|
|
|
1462.
|
|
|
|
1463.
|
|
|
|
1464.
|
Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / Ranjit Jhala, David Schmidt (eds.). by Series: Lecture notes in computer science ; 6538. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Availability: Items available for loan: e-Library (1).
|
|
|
1465.
|
|
|
|
1466.
|
Human-computer interaction, tourism and cultural heritage : first international workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010 : revised selected papers / Francisco V. Cipolla Ficarra [and others] (eds.). by Series: Lecture notes in computer science ; 6529. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Availability: Items available for loan: e-Library (1).
|
|
|
1467.
|
Advances in multimedia modeling : 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, proceedings. Part I / Kuo-Tien Lee [and others]. by Series: Lecture notes in computer science ; 6523. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, 2011
Availability: Items available for loan: e-Library (1).
|
|
|
1468.
|
Advances in multimedia modeling : 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, proceedings. Part II / Kuo-Tien Lee [and others]. by Series: Lecture notes in computer science ; 6524. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin : Springer, 2011
Availability: Items available for loan: e-Library (1).
|
|
|
1469.
|
Integrated circuit and system design : power and timing modeling, optimization and simulation, 20th international workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, revised selected papers / René van Leuken, Gilles Sicard (eds.). by Series: Lecture notes in computer science ; 6448. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Availability: Items available for loan: e-Library (1).
|
|
|
1470.
|
|
|
|
1471.
|
|
|
|
1472.
|
|
|
|
1473.
|
|
|
|
1474.
|
|
|
|
1475.
|
Biometrics and ID management : COST 2101 European workshop, BioID 2011, Brandenburg (Havel), Germany, March 8-10, 2011 : proceedings / Claus Vielhauer [and others] (eds.). by Series: Lecture notes in computer science ; 6583. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2011
Other title:
- COST 2101 European workshop
- BioID 2011
Availability: Items available for loan: e-Library (1).
|
|
|
1476.
|
Service-oriented computing : ICSOC 2010 international workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010 : revised selected papers / E. Michael Maximilien [and others] (eds.). by Series: Lecture notes in computer science ; 6568. | Lecture notes in computer science. Services science. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title: - ICSOC 2010 International Workshops
Availability: Items available for loan: e-Library (1).
|
|
|
1477.
|
Selected areas in cryptography : 17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / Alex Biryukov, Guang Gong, Douglas R. Stinson (eds.). by Series: Lecture notes in computer science ; 6544. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2011
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
1478.
|
|
|
|
1479.
|
|
|
|
1480.
|
|