Results
|
21.
|
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Rocco De Nicola, Christine Julien. by
- Nicola, Rocco De [editor.]
- Julien, Christine [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7890
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
22.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
- Beyer, Dirk [editor.]
- Boreale, Michele [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
23.
|
Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by
- Keller, Hubert B [editor.]
- Plödereder, Erhard [editor.]
- Dencker, Peter [editor.]
- Klenk, Herbert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7896
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
24.
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
- Johnsen, Einar Broch [editor.]
- Petre, Luigia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
25.
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by
- Colom, José-Manuel [editor.]
- Desel, Jörg [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7927
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
26.
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
- Logozzo, Francesco [editor.]
- Fähndrich, Manuel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
27.
|
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)
Series: Lecture Notes in Computer Science ; 7938
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
28.
|
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)
Series: Lecture Notes in Computer Science ; 7909
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
29.
|
SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by
- Khendek, Ferhat [editor.]
- Toeroe, Maria [editor.]
- Gherbi, Abdelouahed [editor.]
- Reed, Rick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7916
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
30.
|
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
- Veanes, Margus [editor.]
- Viganò, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
31.
|
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
- Dueck, Gerhard W [editor.]
- Miller, D. Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
32.
|
Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M. Rose. by
- Gorp, Pieter Van [editor.]
- Ritter, Tom [editor.]
- Rose, Louis M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7949
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
33.
|
|
|
34.
|
|
|
35.
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
- Bartocci, Ezio [editor.]
- Ramakrishnan, C. R [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
36.
|
|
|
37.
|
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
- Biere, Armin [editor.]
- Nahir, Amir [editor.]
- Vos, Tanja [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
38.
|
Web Reasoning and Rule Systems [electronic resource] : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings / edited by Wolfgang Faber, Domenico Lembo. by
- Faber, Wolfgang [editor.]
- Lembo, Domenico [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7994
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
39.
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
- Sharygina, Natasha [editor.]
- Veith, Helmut [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
40.
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
- Hierons, Robert M [editor.]
- Merayo, Mercedes G [editor.]
- Bravetti, Mario [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|