Your search returned 7 results.

Sort
Results
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 17Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Availability: No items available.

Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

by Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 59Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Availability: No items available.

Computer Networks [Recurso electrónico] : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings / edited by Andrzej Kwiecien, Piotr Gaj, Piotr Stera.

by Kwiecien, Andrzej | Gaj, Piotr | Stera, Piotr.

Series: Communications in Computer and Information Science ; 291Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Availability: No items available.

Resilience Assessment and Evaluation of Computing Systems [Recurso electrónico] / edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel.

by Wolter, Katinka | Avritzer, Alberto | Vieira, Marco | van Moorsel, Aad.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Availability: No items available.

Recent Trends in Wireless and Mobile Networks [Recurso electrónico] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Ã{uA8E1}n, Nabendu Chaki, Dhinaharan Nagamalai.

by Ã{uA8E1}n, Abdulkadir | Chaki, Nabendu | Nagamalai, Dhinaharan | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 84Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Availability: No items available.

Computer Networks [Recurso electrónico] : 16th Conference, CN 2009, WisÅ{u1B20}Poland, June 16-20, 2009. Proceedings / edited by Andrzej KwiecieÅ{uC810}iotr Gaj, Piotr Stera.

by KwiecieÅ{uC801}ndrzej | Gaj, Piotr | Stera, Piotr | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 39Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Availability: No items available.

Analysis, Architectures and Modelling of Embedded Systems [Recurso electrónico] : Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings / edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig.

by Rettberg, Achim | Zanella, Mauro C | Amann, Michael | Keckeisen, Michael | Rammig, Franz J | SpringerLink (Online service).

Series: IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 310Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Availability: No items available.

Pages

Powered by Koha