Results
|
241.
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
- Blazy, Sandrine [editor.]
- Paulin-Mohring, Christine [editor.]
- Pichardie, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.
|
|
242.
|
|
|
243.
|
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings / edited by Sheela Ramanna, Pawan Lingras, Chattrakul Sombattheera, Aneesh Krishna. by
- Ramanna, Sheela [editor.]
- Lingras, Pawan [editor.]
- Sombattheera, Chattrakul [editor.]
- Krishna, Aneesh [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8271
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.
|
|
244.
|
Web and Internet Economics [electronic resource] : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings / edited by Yiling Chen, Nicole Immorlica. by
- Chen, Yiling [editor.]
- Immorlica, Nicole [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8289
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.
|
|
245.
|
|
|
246.
|
|
|
247.
|
|
|
248.
|
|
|
249.
|
|
|
250.
|
|
|
251.
|
|
|
252.
|
|
|
253.
|
|
|
254.
|
|
|
255.
|
|
|
256.
|
|
|
257.
|
|
|
258.
|
|
|
259.
|
|
|
260.
|
|