Results
|
161.
|
|
|
162.
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
- Yenigün, Hüsnü [editor.]
- Yilmaz, Cemal [editor.]
- Ulrich, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.
|
|
163.
|
Conceptual Modeling [electronic resource] : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings / edited by Wilfred Ng, Veda C. Storey, Juan C. Trujillo. by
- Ng, Wilfred [editor.]
- Storey, Veda C [editor.]
- Trujillo, Juan C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8217
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.
|
|
164.
|
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / edited by Kazue Sako, Palash Sarkar. by
- Sako, Kazue [editor.]
- Sarkar, Palash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8269
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.
|
|
165.
|
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / edited by Kazue Sako, Palash Sarkar. by
- Sako, Kazue [editor.]
- Sarkar, Palash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8270
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.
|
PRIMA 2013: Principles and Practice of Multi-Agent Systems [electronic resource] : 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis. by
- Boella, Guido [editor.]
- Elkind, Edith [editor.]
- Savarimuthu, Bastin Tony Roy [editor.]
- Dignum, Frank [editor.]
- Purvis, Martin K [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8291
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.
|
|
167.
|
Service-Oriented Computing [electronic resource] : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings / edited by Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu. by
- Basu, Samik [editor.]
- Pautasso, Cesare [editor.]
- Zhang, Liang [editor.]
- Fu, Xiang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8274
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.
|
|
168.
|
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by
- Dediu, Adrian-Horia [editor.]
- Martín-Vide, Carlos [editor.]
- Truthe, Bianca [editor.]
- Vega-Rodríguez, Miguel A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8273
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.
|
|
169.
|
Middleware 2013 [electronic resource] : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings / edited by David Eyers, Karsten Schwan. by
- Eyers, David [editor.]
- Schwan, Karsten [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8275
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.
|
|
170.
|
|
|
171.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8312
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.
|
Resource Discovery [electronic resource] : 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers / edited by Zoé Lacroix, Edna Ruckhaus, Maria-Esther Vidal. by
- Lacroix, Zoé [editor.]
- Ruckhaus, Edna [editor.]
- Vidal, Maria-Esther [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8194
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.
|
|
173.
|
|
|
174.
|
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by
- Wu, Chenggang [editor.]
- Cohen, Albert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8299
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.
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff. by
- Cossentino, Massimo [editor.]
- Fallah Seghrouchni, Amal El [editor.]
- Winikoff, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8245
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.
|
|
176.
|
|
|
177.
|
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.
|
|
178.
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by
- Moreno-Díaz, Roberto [editor.]
- Pichler, Franz [editor.]
- Quesada-Arencibia, Alexis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8111
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.
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by
- Moreno-Díaz, Roberto [editor.]
- Pichler, Franz [editor.]
- Quesada-Arencibia, Alexis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8112
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.
|