Results
|
|
521.
|
Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir. by Series: Lecture Notes in Computer Science ; 3921
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.L63 A24 2006.
|
|
|
522.
|
|
|
|
523.
|
|
|
|
524.
|
|
|
|
525.
|
|
|
|
526.
|
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 3904
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.7 B35 2006.
|
|
|
527.
|
|
|
|
528.
|
|
|
|
529.
|
|
|
|
530.
|
|
|
|
531.
|
|
|
|
532.
|
Advances in Information Retrieval [electronic resource] : 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings / edited by Mounia Lalmas, Andy MacFarlane, Stefan Rüger, Anastasios Tombros, Theodora Tsikrika, Alexei Yavlinsky. by Series: Lecture Notes in Computer Science ; 3936
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.D3 L35 2006.
|
|
|
533.
|
|
|
|
534.
|
|
|
|
535.
|
|
|
|
536.
|
|
|
|
537.
|
Visual Content Processing and Representation [electronic resource] : 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers / edited by Luigi Atzori, Daniel D. Giusto, Riccardo Leonardi, Fernando Pereira. by Series: Lecture Notes in Computer Science ; 3893
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
|
538.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Series: Lecture Notes in Computer Science ; 4280
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.S54 D38 2006.
|
|
|
539.
|
|
|
|
540.
|
|