|
|
|
Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / edited by Jesse Davis, Jan Ramon.
by Davis, Jesse [editor.] | Ramon, Jan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau.
by Taentzer, Gabriele [editor.] | Bordeleau, Francis [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Runtime Verification [electronic resource] : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / edited by Yli�es Falcone, C�esar S�anchez.
by Falcone, Yli�es [editor.] | S�anchez, C�esar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani.
by Canal, Carlos [editor.] | Idani, Akram [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Transformation [electronic resource] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / edited by Francesco Parisi-Presicce, Bernhard Westfechtel.
by Parisi-Presicce, Francesco [editor.] | Westfechtel, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel.
by Duddy, Keith [editor.] | Kappel, Gerti [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor.
by Daneva, Maya [editor.] | Pastor, Oscar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial 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
|
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.
by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky.
by Bernardo, Marco [editor.] | Vink, Erik de [editor.] | Pierro, Alessandra Di [editor.] | Wiklicky, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Static Analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen.
by Blazy, Sandrine [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan.
by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by H�usn�u Yenig�un, Cemal Yilmaz, Andreas Ulrich.
by Yenig�un, H�usn�u [editor.] | Yilmaz, Cemal [editor.] | Ulrich, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes.
by Pecheur, Charles [editor.] | Dierkes, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Compiler Construction [electronic resource] : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Bj�orn Franke.
by Franke, Bj�orn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, R�emi Munos, Frank Stephan, Thomas Zeugmann.
by Jain, Sanjay [editor.] | Munos, R�emi [editor.] | Stephan, Frank [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Mart�i-Oliet, Miguel Palomino.
by Mart�i-Oliet, Narciso [editor.] | Palomino, Miguel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Deductive Software Verification - The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H�ahnle, Peter H. Schmitt, Mattias Ulbrich.
by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | H�ahnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe.
by Ait Ameur, Yamine [editor.] | Schewe, Klaus-Dieter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son.
by Cabalar, Pedro [editor.] | Son, Tran Cao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
