Results
|
|
2661.
|
|
|
|
2662.
|
|
|
|
2663.
|
|
|
|
2664.
|
|
|
|
2665.
|
|
|
|
2666.
|
|
|
|
2667.
|
|
|
|
2668.
|
|
|
|
2669.
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
- Gonthier, Georges [editor.]
- Norrish, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2670.
|
Graph Drawing [electronic resource] : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / edited by Stephen Wismath, Alexander Wolff. by
- Wismath, Stephen [editor.]
- Wolff, Alexander [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8242
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2671.
|
|
|
|
2672.
|
Cloud Computing [electronic resource] : Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers / edited by Mazin Yousif, Lutz Schubert. by
- Yousif, Mazin [editor.]
- Schubert, Lutz [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 112
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2673.
|
|
|
|
2674.
|
Sensor Systems and Software [electronic resource] : 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers / edited by Marco Zuniga, Gianluca Dini. by
- Zuniga, Marco [editor.]
- Dini, Gianluca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 122
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
2675.
|
|
|
|
2676.
|
|
|
|
2677.
|
|
|
|
2678.
|
|
|
|
2679.
|
Agents and Artificial Intelligence [electronic resource] : Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. 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 ; 271
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.
|
|
|
2680.
|
|