Your search returned 68 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, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett.

by Kim, Tai-hoon | Fang, Wai-Chi | Lee, Changhoon | Arnett, Kirk P | SpringerLink (Online service).

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

Systems, Software and Services Process Improvement [Recurso electrónico] : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings / edited by Dietmar Winkler, Rory V. OÌ{u1498}©Connor, Richard Messnarz.

by Winkler, Dietmar | OÌ{u1498}©Connor, Rory V | Messnarz, Richard.

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

Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

by Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | SpringerLink (Online service).

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

Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath.

by Das, Vinu V | Thankachan, Nessy | Debnath, Narayan C | SpringerLink (Online service).

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

Systems and Virtualization Management. Standards and New Technologies [Recurso electrónico] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold.

by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 18Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Availability: 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.

Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz.

by Riel, Andreas | Oâ€{u3BEE}nor, Rory | Tichkiewitch, Serge | Messnarz, Richard | SpringerLink (Online service).

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

Software and Data Technologies [Recurso electrónico] : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert.

by Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | SpringerLink (Online service).

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

Grid and Distributed Computing, Control and Automation [Recurso electrónico] : International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang, Adrian Stoica, Dominik Å{uC119}zak.

by Kim, Tai-hoon | Yau, Stephen S | Gervasi, Osvaldo | Kang, Byeong-Ho | Stoica, Adrian | Å{uC119}zak, Dominik | SpringerLink (Online service).

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

Advanced Computer Science and Information Technology [Recurso electrónico] : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings / edited by G. S. Tomar, Ruay-Shiung Chang, Osvaldo Gervasi, Tai-hoon Kim, Samir Kumar Bandyopadhyay.

by Tomar, G. S | Chang, Ruay-Shiung | Gervasi, Osvaldo | Kim, Tai-hoon | Bandyopadhyay, Samir Kumar | SpringerLink (Online service).

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

Software and Data Technologies [Recurso electrónico] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek A. Maciaszek.

by Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | Maciaszek, Leszek A | SpringerLink (Online service).

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

Advances in Information Technology [Recurso electrónico] : 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings / edited by Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja.

by Papasratorn, Borworn | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak | SpringerLink (Online service).

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

Biomedical Engineering Systems and Technologies [Recurso electrónico] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa.

by Fred, Ana | Filipe, Joaquim | Gamboa, Hugo | SpringerLink (Online service).

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

Software Process Improvement [Recurso electrónico] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Kari Smolander, Richard Messnarz.

by Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 16Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Availability: 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.

Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

by Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | SpringerLink (Online service).

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

Networked Digital Technologies [Recurso electrónico] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II / edited by Rachid Benlamri.

by Benlamri, Rachid.

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

Software and Data Technologies [Recurso electrónico] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers / edited by José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert.

by Cordeiro, José | Shishkov, Boris | Ranchordas, AlpeshKumar | Helfert, Markus | SpringerLink (Online service).

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

Recent Trends in Networks and Communications [Recurso electrónico] : International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings / edited by Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai.

by Meghanathan, Natarajan | Boumerdassi, Selma | Chaki, Nabendu | Nagamalai, Dhinaharan | SpringerLink (Online service).

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

Pages

Powered by Koha