Results
|
|
3021.
|
|
|
|
3022.
|
|
|
|
3023.
|
|
|
|
3024.
|
|
|
|
3025.
|
|
|
|
3026.
|
|
|
|
3027.
|
|
|
|
3028.
|
|
|
|
3029.
|
|
|
|
3030.
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
- Qadeer, Shaz [editor.]
- Tasiran, Serdar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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.
|
|
|
3031.
|
|
|
|
3032.
|
System Modeling and Optimization [electronic resource] : 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers / edited by Dietmar Hömberg, Fredi Tröltzsch. by
- Hömberg, Dietmar [editor.]
- Tröltzsch, Fredi [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 391
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.
|
|
|
3033.
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
- Czarnecki, Krzysztof [editor.]
- Hedin, Görel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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.
|
|
|
3034.
|
|
|
|
3035.
|
|
|
|
3036.
|
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by
- Glück, Robert [editor.]
- Yokoyama, Tetsuo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7581
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.
|
|
|
3037.
|
|
|
|
3038.
|
Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 / edited by Ioannis Hatzilygeroudis, Vasile Palade. by
- Hatzilygeroudis, Ioannis [editor.]
- Palade, Vasile [editor.]
- SpringerLink (Online service)
Series: Smart Innovation, Systems and Technologies ; 23
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.
|
|
|
3039.
|
Agents and Artificial Intelligence [electronic resource] : 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred. by
- Filipe, Joaquim [editor.]
- Fred, Ana [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 358
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.
|
|
|
3040.
|
|