Results
|
|
1961.
|
|
|
|
1962.
|
|
|
|
1963.
|
|
|
|
1964.
|
|
|
|
1965.
|
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.
|
|
|
1966.
|
|
|
|
1967.
|
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.
|
|
|
1968.
|
|
|
|
1969.
|
|
|
|
1970.
|
Web Information Systems Engineering – WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. by
- Lin, Xuemin [editor.]
- Manolopoulos, Yannis [editor.]
- Srivastava, Divesh [editor.]
- Huang, Guangyan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8180
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.
|
|
|
1971.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
- Lämmel, Ralf [editor.]
- Saraiva, João [editor.]
- Visser, Joost [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
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.
|
|
|
1972.
|
|
|
|
1973.
|
|
|
|
1974.
|
Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by
- Weber, Jens [editor.]
- Perseil, Isabelle [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7789
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.
|
|
|
1975.
|
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.
|
|
|
1976.
|
|
|
|
1977.
|
|
|
|
1978.
|
|
|
|
1979.
|
|
|
|
1980.
|
Semantic Models for Adaptive Interactive Systems [electronic resource] / edited by Tim Hussein, Heiko Paulheim, Stephan Lukosch, Jürgen Ziegler, Gaëlle Calvary. by
- Hussein, Tim [editor.]
- Paulheim, Heiko [editor.]
- Lukosch, Stephan [editor.]
- Ziegler, Jürgen [editor.]
- Calvary, Gaëlle [editor.]
- SpringerLink (Online service)
Series: Human–Computer Interaction Series
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.
|