|
|
|
Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings / edited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko.
by Uyar, M. Ümit [editor.] | Duale, Ali Y [editor.] | Fecko, Mariusz A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Distributed Computing and Networking [electronic resource] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009, Proceedings / edited by Vijay Garg, Roger Wattenhofer, Kishore Kothapalli.
by Garg, Vijay [editor.] | Wattenhofer, Roger [editor.] | Kothapalli, Kishore [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures / edited by Andrea De Lucia, Filomena Ferrucci.
by De Lucia, Andrea [editor.] | Ferrucci, Filomena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Self-Organizing Systems [electronic resource] : 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012, Proceedings / edited by Fernando A. Kuipers, Poul E. Heegaard.
by Kuipers, Fernando A [editor.] | Heegaard, Poul E [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Active Conceptual Modeling of Learning [electronic resource] : Next Generation Learning-Base System Development / edited by Peter P. Chen, Leah Y. Wong.
by Chen, Peter P [editor.] | Wong, Leah Y [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Frontiers in Algorithms [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings / edited by D.T. Lee, Danny Z Chen, Shi Ying.
by Lee, D.T [editor.] | Chen, Danny Z [editor.] | Ying, Shi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings / edited by Wolfram Kahl, Timothy G. Griffin.
by Kahl, Wolfram [editor.] | Griffin, Timothy G [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Internet and Network Economics [electronic resource] : 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011, Proceedings / edited by Ning Chen, Edith Elkind, Elias Koutsoupias.
by Chen, Ning [editor.] | Elkind, Edith [editor.] | Koutsoupias, Elias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers / edited by Jean-Michel Bruel.
by Bruel, Jean-Michel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio.
by Domingo-Pascual, Jordi [editor.] | Manzoni, Pietro [editor.] | Palazzo, Sergio [editor.] | Pont, Ana [editor.] | Scoglio, Caterina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Computing Technologies [electronic resource] : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings / edited by Victor Malyshkin.
by Malyshkin, Victor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Generic and Indexed Programming [electronic resource] / edited by Jeremy Gibbons.
by Gibbons, Jeremy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings / edited by Giorgio Delzanno, Igor Potapov.
by Delzanno, Giorgio [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann.
by ter Beek, Maurice H [editor.] | Lohmann, Niels [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009 Cork, Ireland, February 11-13, 2009, Proceedings / edited by Utz Rödig, Cormac J. Sreenan.
by Rödig, Utz [editor.] | Sreenan, Cormac J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings / edited by Francesco Logozzo, Manuel Fähndrich.
by Logozzo, Francesco [editor.] | Fähndrich, Manuel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Computing, Networking and Security [electronic resource] : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers / edited by P. Santhi Thilagam, Alwyn Roshan Pais, K. Chandrasekaran, N. Balakrishnan.
by Thilagam, P. Santhi [editor.] | Roshan Pais, Alwyn [editor.] | Chandrasekaran, K [editor.] | Balakrishnan, N [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / edited by Cormac Flanagan, Barbara König.
by Flanagan, Cormac [editor.] | König, Barbara [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / edited by Matthew B. Dwyer, Antonia Lopes.
by Dwyer, Matthew B [editor.] | Lopes, Antonia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Web Services and Formal Methods [electronic resource] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan.
by Bravetti, Mario [editor.] | Bultan, Tevfik [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
