Results
2981.
2982.
2983.
2984.
2985.
2986.
2987.
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.
2988.
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.
2989.
2990.
2991.
2992.
2993.
2994.
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.
2995.
2996.
2997.
2998.
2999.
3000.
