Results
3001.
3002.
3003.
3004.
3005.
3006.
3007.
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.
3008.
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.
3009.
3010.
3011.
3012.
3013.
3014.
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.
3015.
3016.
3017.
3018.
3019.
3020.
