Results
|
|
161.
|
|
|
|
162.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Series: Lecture Notes in Computer Science ; 3920
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 N47 2006.
|
|
|
163.
|
|
|
|
164.
|
|
|
|
165.
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers / edited by Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Daniel Paulusma. by Series: Lecture Notes in Computer Science ; 5344
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: QA75.5 B76 2008.
|
|
|
166.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti. by Series: Lecture Notes in Computer Science ; 3965
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B476 2006.
|
|
|
167.
|
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen. by Series: Lecture Notes in Computer Science ; 5245
Edition: 1a ed.
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: QA76.58 C36 2008.
|
|
|
168.
|
Ubiquitous Mobile Information and Collaboration Systems [electronic resource] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / edited by Luciano Baresi, Schahram Dustdar, Harald C. Gall, Maristella Matera. by Series: Lecture Notes in Computer Science ; 3272
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: No items available.
|
|
|
169.
|
|
|
|
170.
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings / edited by Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani, Oskar Stryk. by Series: Lecture Notes in Computer Science ; 5325
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: TJ211.495 C37 2008.
|
|
|
171.
|
Artificial Evolution [electronic resource] : 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers / edited by El-Ghazali Talbi, Pierre Liardet, Pierre Collet, Evelyne Lutton, Marc Schoenauer. by Series: Lecture Notes in Computer Science ; 3871
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.618 T35 2006.
|
|
|
172.
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Series: Lecture Notes in Computer Science ; 5125
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: QA267 A24 2008.
|
|
|
173.
|
|
|
|
174.
|
|
|
|
175.
|
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 .
|
|
|
176.
|
|
|
|
177.
|
|
|
|
178.
|
Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Series: Lecture Notes in Computer Science ; 3968
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.5915 F57 2006.
|
|
|
179.
|
Business Process Management Workshops [electronic resource] : BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers / edited by Christoph J. Bussler, Armin Haller. by Series: Lecture Notes in Computer Science ; 3812
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.2 B87 2006.
|
|
|
180.
|
Advances in Visual Computing [electronic resource] : 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Fatih Porikli, Jörg Peters, James Klosowski, Laura Arns, Yu Ka Chun, Theresa-Marie Rhyne, Laura Monroe. by
- Bebis, George
- Boyle, Richard
- Parvin, Bahram
- Koracin, Darko
- Remagnino, Paolo
- Porikli, Fatih
- Peters, Jörg
- Klosowski, James
- Arns, Laura
- Chun, Yu Ka
- Rhyne, Theresa-Marie
- Monroe, Laura
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 5359
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: QA76.65 B43 2008.
|