Results
|
1.
|
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.
|
|
2.
|
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.
|
|
3.
|
Independent Component Analysis and Blind Signal Separation [electronic resource] : 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings / edited by Justinian Rosca, Deniz Erdogmus, José C. Príncipe, Simon Haykin. by Series: Lecture Notes in Computer Science ; 3889
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: TK5102.9 R67 2006.
|
|
4.
|
|
|
5.
|
Systems and Virtualization Management. Standards and New Technologies [electronic resource] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. by Series: Communications in Computer and Information Science ; 18
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.9.V5 B68 2008.
|
|
6.
|
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg. by Series: Lecture Notes in Computer Science ; 4178
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: QA267.3 C67 2006.
|
|
7.
|
|
|
8.
|
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos. by Series: Lecture Notes in Computer Science ; 5138
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 D37 2008.
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 4494
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.58 J56 2007.
|
|
13.
|
|
|
14.
|
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Series: Lecture Notes in Computer Science ; 4147
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: TL272.53 B76 2006.
|
|
15.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings / edited by Sandeep Kulkarni, André Schiper. by Series: Lecture Notes in Computer Science ; 5340
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.9.S54 K85 2008.
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings / edited by Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali. by Series: Lecture Notes in Computer Science ; 5027
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 N48 2008.
|
|
20.
|
|