Results
|
1.
|
|
|
2.
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
- Brat, Guillaume [editor.]
- Rungta, Neha [editor.]
- Venet, Arnaud [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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.
|
|
3.
|
|
|
4.
|
|
|
5.
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by
- Dediu, Adrian-Horia [editor.]
- Martín-Vide, Carlos [editor.]
- Truthe, Bianca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7810
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.
|
|
6.
|
|
|
7.
|
Social Robotics [electronic resource] : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / edited by Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards. by
- Herrmann, Guido [editor.]
- Pearson, Martin J [editor.]
- Lenz, Alexander [editor.]
- Bremner, Paul [editor.]
- Spiers, Adam [editor.]
- Leonards, Ute [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8239
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.
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
Applied Parallel and Scientific Computing [electronic resource] : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers / edited by Pekka Manninen, Per Öster. by
- Manninen, Pekka [editor.]
- Öster, Per [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7782
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.
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Masaaki Kurosu. by
- Kurosu, Masaaki [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8004
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.
|
|
16.
|
Modern measurements : fundamentals and applications / edited by Alessandro Ferrero, Dario Petri, Paolo Carbone, Marcantonio Catelani. by
- Ferrero, Alessandro [editor.]
- Petri, Dario [editor.]
- Carbone, Paolo (Electrical engineer) [editor.]
- Catelani, Marcantonio [editor.]
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Piscataway, NJ : Hoboken, NJ : IEEE Press ; John Wiley and Sons, Inc., [2015]
Availability: No items available.
|