Results
|
|
161.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by
- Jürjens, Jan [editor.]
- Livshits, Benjamin [editor.]
- Scandariato, Riccardo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7781
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.
|
|
|
162.
|
|
|
|
163.
|
|
|
|
164.
|
|
|
|
165.
|
Tools for High Performance Computing 2012 [electronic resource] / edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel. by
- Cheptsov, Alexey [editor.]
- Brinkmann, Steffen [editor.]
- Gracia, José [editor.]
- Resch, Michael M [editor.]
- Nagel, Wolfgang E [editor.]
- SpringerLink (Online service)
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.
|
|
|
166.
|
|
|
|
167.
|
|
|
|
168.
|
|
|
|
169.
|
|
|
|
170.
|
|
|
|
171.
|
Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León. by
- Fernández-Izquierdo, María Ángeles [editor.]
- Muñoz-Torres, María Jesús [editor.]
- León, Raúl [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 145
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.
|
|
|
172.
|
|
|
|
173.
|
|
|
|
174.
|
Progress and Challenges in Dynamical Systems [electronic resource] : Proceedings of the International Conference Dynamical Systems: 100 Years after Poincaré, September 2012, Gijón, Spain / edited by Santiago Ibáñez, Jesús S. Pérez del Río, Antonio Pumariño, J. Ángel Rodríguez. by
- Ibáñez, Santiago [editor.]
- Pérez del Río, Jesús S [editor.]
- Pumariño, Antonio [editor.]
- Rodríguez, J. Ángel [editor.]
- SpringerLink (Online service)
Series: Springer Proceedings in Mathematics & Statistics ; 54
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.
|
|
|
175.
|
|
|
|
176.
|
|
|
|
177.
|
|
|
|
178.
|
Traffic and Granular Flow '11 [electronic resource] / edited by Valery V. Kozlov, Alexander P. Buslaev, Alexander S. Bugaev, Marina V. Yashina, Andreas Schadschneider, Michael Schreckenberg. by
- Kozlov, Valery V [editor.]
- Buslaev, Alexander P [editor.]
- Bugaev, Alexander S [editor.]
- Yashina, Marina V [editor.]
- Schadschneider, Andreas [editor.]
- Schreckenberg, Michael [editor.]
- SpringerLink (Online service)
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.
|
|
|
179.
|
Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by
- Heckel, Reiko [editor.]
- Milius, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8089
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.
|
|
|
180.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by
- Galmiche, Didier [editor.]
- Larchey-Wendling, Dominique [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8123
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.
|
