Results
|
21.
|
|
|
22.
|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
- Ida, Tetsuo [editor.]
- Fleuriot, Jacques [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
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.
|
|
23.
|
Algorithms and Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam. by
- Cai, Leizhen [editor.]
- Cheng, Siu-Wing [editor.]
- Lam, Tak-Wah [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8283
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.
|
|
24.
|
Computational Geometry and Graphs [electronic resource] : Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers / edited by Jin Akiyama, Mikio Kano, Toshinori Sakai. by
- Akiyama, Jin [editor.]
- Kano, Mikio [editor.]
- Sakai, Toshinori [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8296
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.
|