Results
9901.
9902.
9903.
9904.
Tools and algorithms for the construction and analysis of systems [electronic resource] : 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / edited by Javier Esparza, Rupak Majumdar. by Series: Lecture notes in computer science ; 6015
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
9905.
Fundamental approaches to software engineering [electronic resource] : 13th international conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by Series: Lecture notes in computer science ; 6013
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
9906.
9907.
9908.
9909.
9910.
9911.
9912.
9913.
9914.
9915.
9916.
High performance networking, computing, communication systems, and mathematical foundations [electronic resource] : international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings / edited by Yanwen Wu, Qi Luo. by Series: Communications in computer and information science ; 66
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
9917.
9918.
9919.
9920.