Results
|
141.
|
|
|
142.
|
Human Interface and the Management of Information. Interacting in Information Environments [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Michael J. Smith, Gavriel Salvendy. by Series: Lecture Notes in Computer Science ; 4558
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.U83 S55 2007.
|
|
143.
|
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. by Series: Lecture Notes in Computer Science ; 4573
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
144.
|
Advances in Hybrid Information Technology [electronic resource] : First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers / edited by Marcin S. Szczuka, Daniel Howard, Dominik Ślȩzak, Haeng-kon Kim, Tai-hoon Kim, Il-seok Ko, Geuk Lee, Peter M. A. Sloot. by Series: Lecture Notes in Computer Science ; 4413
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 S93 2007.
|
|
145.
|
Text, Speech and Dialogue [electronic resource] : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008. Proceedings / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala. by Series: Lecture Notes in Computer Science ; 5246
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.N38 S65 2008.
|
|
146.
|
Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings / edited by Jingshan Huang, Ryszard Kowalczyk, Zakaria Maamar, David Martin, Ingo Müller, Suzette Stoutenburg, Katia P. Sycara. by Series: Lecture Notes in Computer Science ; 4504
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 H83 2007.
|
|
147.
|
|
|
148.
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / edited by Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk. by Series: Lecture Notes in Computer Science ; 5144
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 A98 2008.
|
|
149.
|
|