Results
|
61.
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by
- Perny, Patrice [editor.]
- Pirlot, Marc [editor.]
- Tsoukiàs, Alexis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8176
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.
|
|
62.
|
|
|
63.
|
|
|
64.
|
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.
|
|
65.
|
|
|
66.
|
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.
|
|
67.
|
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.
|