Results
3121.
3122.
3123.
3124.
Trustworthy global computing [electronic resource] : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006 : revised selected papers / Ugo Montanari, Donald Sannella, Roberto Bruni (eds.). by Series: Lecture notes in computer science ; 4661 | LNCS sublibrary . SL 1, Theoretical computer science and general issues
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: No items available.
3125.
3126.
3127.
3128.
Software process dynamics and agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings / Qing Wang, Dietmar Pfahl, David M. Raffo (eds.). by Series: Lecture notes in computer science ; 4470
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
International Conference on Software Process
ICSP 2007
In:
Springer e-books
Availability: No items available.
3129.
3130.
3131.
3132.
Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by Series: Lecture notes in computer science ; 4349
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook .
3133.
3134.
3135.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers / edited by Andreas Brandstadt, Dieter Kratsch, Haiko M{u}ller. by Series: Lecture notes in computer science ; 4769 | LNCS sublibrary . SL 1, Theoretical computer science and general issues
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
3136.
3137.
3138.
3139.
3140.