Results
|
41.
|
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.
|
|
42.
|
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.
|
|
43.
|
|
|
44.
|
|
|
45.
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by
- Bonizzoni, Paola [editor.]
- Brattka, Vasco [editor.]
- Löwe, Benedikt [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7921
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.
|
|
46.
|
|
|
47.
|
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.
|
|
48.
|
|
|
49.
|
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by
- Jurgensen, Helmut [editor.]
- Reis, Rogério [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8031
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.
|
|
50.
|
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.
|
|
51.
|
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.
|
|
52.
|
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.
|
|
53.
|
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.
|
|
54.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
- Leite, João [editor.]
- Son, Tran Cao [editor.]
- Torroni, Paolo [editor.]
- Torre, Leon van der [editor.]
- Woltran, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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.
|
|
55.
|
|
|
56.
|
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
- Legay, Axel [editor.]
- Bensalem, Saddek [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
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.
|
|
57.
|
Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. by
- Gorbenko, Anatoliy [editor.]
- Romanovsky, Alexander [editor.]
- Kharchenko, Vyacheslav [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8166
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.
|
|
58.
|
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by
- Jain, Sanjay [editor.]
- Munos, Rémi [editor.]
- Stephan, Frank [editor.]
- Zeugmann, Thomas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8139
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.
|
|
59.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
- Grossi, Davide [editor.]
- Roy, Olivier [editor.]
- Huang, Huaxin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
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.
|
|
60.
|
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)
Series: Lecture Notes in Computer Science ; 8187
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.
|