Results
|
|
541.
|
|
|
|
542.
|
|
|
|
543.
|
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.
|
|
|
544.
|
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron. by
- Selamat, Ali [editor.]
- Nguyen, Ngoc Thanh [editor.]
- Haron, Habibollah [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7802
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.
|
|
|
545.
|
|
|
|
546.
|
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.
|
|
|
547.
|
|
|
|
548.
|
|
|
|
549.
|
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by
- Cellier, Peggy [editor.]
- Distel, Felix [editor.]
- Ganter, Bernhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7880
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.
|
|
|
550.
|
|
|
|
551.
|
|
|
|
552.
|
|
|
|
553.
|
|
|
|
554.
|
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by
- Taft, S. Tucker [editor.]
- Duff, Robert A [editor.]
- Brukardt, Randall L [editor.]
- Ploedereder, Erhard [editor.]
- Leroy, Pascal [editor.]
- Schonberg, Edmond [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8339
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.
|
|
|
555.
|
|
|
|
556.
|
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by
- Beckert, Bernhard [editor.]
- Damiani, Ferruccio [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7542
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.
|
|
|
557.
|
GPU Solutions to Multi-scale Problems in Science and Engineering [electronic resource] / edited by David A. Yuen, Long Wang, Xuebin Chi, Lennart Johnsson, Wei Ge, Yaolin Shi. by
- Yuen, David A [editor.]
- Wang, Long [editor.]
- Chi, Xuebin [editor.]
- Johnsson, Lennart [editor.]
- Ge, Wei [editor.]
- Shi, Yaolin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Earth System Sciences
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.
|
|
|
558.
|
|
|
|
559.
|
|
|
|
560.
|
Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by
- Daniel, Florian [editor.]
- Papadopoulos, George A [editor.]
- Thiran, Philippe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8093
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.
|