|
1.
|
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). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
2.
|
Fundamental Approaches to Software Engineering electronic resource 18th International Conference, FASE 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 Alexander Egyed, Ina Schaefer. by Egyed, Alexander [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
3.
|
Foundations of Software Science and Computation Structures electronic resource 18th International Conference, FOSSACS 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 Andrew Pitts. by Pitts, Andrew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
4.
|
Formal Methods: Foundations and Applications electronic resource 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
5.
|
|
|
6.
|
Application and Theory of Petri Nets and Concurrency electronic resource 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari. by Devillers, Raymond [editor.] | Valmari, Antti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
7.
|
Model Checking Software electronic resource 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / edited by Bernd Fischer, Jaco Geldenhuys. by Fischer, Bernd [editor.] | Geldenhuys, Jaco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
8.
|
SDL 2015: Model-Driven Engineering for Smart Cities electronic resource 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
9.
|
Theory and Practice of Model Transformations electronic resource 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer. by Kolovos, Dimitris [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
10.
|
Tests and Proofs electronic resource 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
11.
|
Cyber Physical Systems. Design, Modeling, and Evaluation electronic resource 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger. by Mousavi, Mohammad Reza [editor.] | Berger, Christian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
12.
|
|
|
13.
|
Logic Programming and Nonmonotonic Reasoning electronic resource 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] | Ianni, Giovambattista [editor.] | Truszczynski, Miroslaw [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
Tools and Algorithms for the Construction and Analysis of Systems electronic resource 21st International Conference, TACAS 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 Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
19.
|
|
|
20.
|
Structured Object-Oriented Formal Language and Method electronic resource 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
21.
|
Formal Methods for Multicore Programming electronic resource 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen. by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
22.
|
|
|
23.
|
Stabilization, Safety, and Security of Distributed Systems electronic resource 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / edited by Andrzej Pelc, Alexander A. Schwarzmann. by Pelc, Andrzej [editor.] | Schwarzmann, Alexander A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
24.
|
Computer Safety, Reliability, and Security electronic resource SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
25.
|
|
|
26.
|
Computer Aided Verification electronic resource 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
27.
|
|
|
28.
|
Formal Techniques for Distributed Objects, Components, and Systems electronic resource 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan. by Graf, Susanne [editor.] | Viswanathan, Mahesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
29.
|
|
|
30.
|
Perspectives of System Informatics electronic resource 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / edited by Andrei Voronkov, Irina Virbitskaite. by Voronkov, Andrei [editor.] | Virbitskaite, Irina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
31.
|
Logic for Programming, Artificial Intelligence, and Reasoning electronic resource 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
32.
|
|
|
33.
|
NASA Formal Methods electronic resource 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Havelund, Klaus [editor.] | Holzmann, Gerard [editor.] | Joshi, Rajeev [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
34.
|
Relational and Algebraic Methods in Computer Science electronic resource 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, José Oliveira. by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, José [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
35.
|
Computer Aided Verification electronic resource 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
36.
|
Dependable Software Engineering: Theories, Tools, and Applications electronic resource First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
37.
|
|
|
38.
|
|
|
39.
|
Formal Aspects of Component Software electronic resource 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
40.
|
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). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
41.
|
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). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
42.
|
|
|
43.
|
Formal Modeling and Analysis of Timed Systems electronic resource 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario. by Sankaranarayanan, Sriram [editor.] | Vicario, Enrico [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
44.
|
Reversible Computation electronic resource 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / edited by Jean Krivine, Jean-Bernard Stefani. by Krivine, Jean [editor.] | Stefani, Jean-Bernard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
45.
|
|
|
46.
|
Programming Languages and Systems electronic resource 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / edited by Xinyu Feng, Sungwoo Park. by Feng, Xinyu [editor.] | Park, Sungwoo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
47.
|
Globalizing Domain-Specific Languages electronic resource International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe. by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
48.
|
|
|
49.
|
Verification, Model Checking, and Abstract Interpretation electronic resource 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen. by D’Souza, Deepak [editor.] | Lal, Akash [editor.] | Larsen, Kim Guldstrand [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
50.
|
Central European Functional Programming School electronic resource 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Csató, Lehel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|