|
|
|
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.
by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [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
|
|
|
|
Measurement Methodology and Tools [electronic resource] : First European Workshop, FP7 FIRE/EULER Project, May 9, 2012, Aalborg, Denmark, Invited Papers / edited by Lluís Fàbrega, Pere Vilà, Davide Careglio, Dimitri Papadimitriou.
by Fàbrega, Lluís [editor.] | Vilà, Pere [editor.] | Careglio, Davide [editor.] | Papadimitriou, Dimitri [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
|
|
|
|
End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings / edited by Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno.
by Costabile, Maria Francesca [editor.] | Dittrich, Yvonne [editor.] | Fischer, Gerhard [editor.] | Piccinno, Antonio [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
|
|
|
|
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings / edited by Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wong Wai Choong.
by Das, Amitabha [editor.] | Pung, Hung Keng [editor.] | Bu Sung Lee, Francis [editor.] | Wong Wai Choong, Lawrence [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.
by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [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
|
|
|
|
Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / edited by Robert Winter, J. Leon Zhao, Stephan Aier.
by Winter, Robert [editor.] | Zhao, J. Leon [editor.] | Aier, Stephan [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Collective Intelligence V [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh [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
|
|
|
|
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis.
by Muntean, Traian [editor.] | Rolland, Robert [editor.] | Poulakis, Dimitrios [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
|
|
|
|
Inconsistency Tolerance [electronic resource] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.
by Bertossi, Leopoldo [editor.] | Hunter, Anthony [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / edited by Andreas Harth, Nora Koch.
by Harth, Andreas [editor.] | Koch, Nora [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
|
|
|
|
Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro.
by Bravetti, Mario [editor.] | Kloul, Leila [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.
by Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Wireless Sensor Networks [electronic resource] : 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings / edited by Roberto Verdone.
by Verdone, Roberto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings / edited by Kamal Lodaya, Meena Mahajan.
by Lodaya, Kamal [editor.] | Mahajan, Meena [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Science -- ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I / edited by V.S. Sunderam, G. Dick van Albada, Peter M.A. Sloot, J. J. Dongarra.
by Sunderam, V.S [editor.] | van Albada, G. Dick [editor.] | Sloot, Peter M.A [editor.] | Dongarra, J. J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings / edited by V. Arvind, Sanjiva Prasad.
by Arvind, V [editor.] | Prasad, Sanjiva [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
|
|
|
|
Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.
by Riis Nielson, Hanne [editor.] | Filé, Gilberto [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, Proceedings, Part I / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan.
by Taniar, David [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Pardede, Eric [editor.] | Apduhan, Bernady O [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
|
|
|
|
Serviceology for Services [electronic resource] : 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings / edited by Yoshinori Hara, Dimitris Karagiannis.
by Hara, Yoshinori [editor.] | Karagiannis, Dimitris [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
|
