Results
|
3521.
|
|
|
3522.
|
|
|
3523.
|
|
|
3524.
|
Unconventional Computing [electronic resource] : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / edited by Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg. by Series: Lecture Notes in Computer Science ; 5204
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
3525.
|
Information and Communications Security [electronic resource] : 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006. Proceedings / edited by Peng Ning, Sihan Qing, Ninghui Li. by Series: Lecture Notes in Computer Science ; 4307
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.A25 N56 2006.
|
|
3526.
|
|
|
3527.
|
|
|
3528.
|
|
|
3529.
|
|
|
3530.
|
Argumentation in Multi-Agent Systems [electronic resource] : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraïtis, Chris Reed. by Series: Lecture Notes in Computer Science ; 3366
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.76.I58 R34 2005.
|
|
3531.
|
|
|
3532.
|
|
|
3533.
|
|
|
3534.
|
|
|
3535.
|
|
|
3536.
|
|
|
3537.
|
|
|
3538.
|
Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. by Series: Lecture Notes in Computer Science ; 3922
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.758 B37 2006.
|
|
3539.
|
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.
|
|
3540.
|
|