Results
|
|
2141.
|
Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. by Series: Lecture Notes in Computer Science ; 4719
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.L63 B33 2007 .
|
|
|
2142.
|
|
|
|
2143.
|
|
|
|
2144.
|
|
|
|
2145.
|
|
|
|
2146.
|
|
|
|
2147.
|
|
|
|
2148.
|
|
|
|
2149.
|
|
|
|
2150.
|
|
|
|
2151.
|
|
|
|
2152.
|
Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006. Proceedings / edited by Dominique Gaïti, Guy Pujolle, Ehab Al-Shaer, Ken Calvert, Simon Dobson, Guy Leduc, Olli Martikainen. by Series: Lecture Notes in Computer Science ; 4195
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A97 G35 2006.
|
|
|
2153.
|
|
|
|
2154.
|
|
|
|
2155.
|
|
|
|
2156.
|
Groupware: Design, Implementation, and Use [electronic resource] : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers / edited by Robert O. Briggs, Pedro Antunes, Gert-Jan Vreede, Aaron S. Read. by Series: Lecture Notes in Computer Science ; 5411
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1028.43 B75 2008 .
|
|
|
2157.
|
Advances in Neural Networks - ISNN 2008 [electronic resource] : 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / edited by Fuchun Sun, Jianwei Zhang, Ying Tan, Jinde Cao, Wen Yu. by Series: Lecture Notes in Computer Science ; 5264
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.87 S86 2008.
|
|
|
2158.
|
|
|
|
2159.
|
Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I / edited by Michael J. Smith, Gavriel Salvendy. by Series: Lecture Notes in Computer Science ; 4557
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.
|
|
|
2160.
|
Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 3657
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B64 2005.
|