Results
|
61.
|
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.
|
|
62.
|
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.
|
|
63.
|
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
- Abdulla, Parosh Aziz [editor.]
- Potapov, Igor [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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.
|
|
64.
|
Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by
- Moreira, Ana [editor.]
- Schätz, Bernhard [editor.]
- Gray, Jeff [editor.]
- Vallecillo, Antonio [editor.]
- Clarke, Peter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8107
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.
|
|
65.
|
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
- Duchier, Denys [editor.]
- Parmentier, Yannick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
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.
|
|
66.
|
|
|
67.
|
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üsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
- Yenigün, Hüsnü [editor.]
- Yilmaz, Cemal [editor.]
- Ulrich, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.
|
|
68.
|
Conceptual Modeling [electronic resource] : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings / edited by Wilfred Ng, Veda C. Storey, Juan C. Trujillo. by
- Ng, Wilfred [editor.]
- Storey, Veda C [editor.]
- Trujillo, Juan C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8217
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.
|
|
69.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.
|
|
70.
|
|
|
71.
|
|