Results
|
|
301.
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. by Series: Lecture Notes in Computer Science ; 6877
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
302.
|
|
|
|
303.
|
|
|
|
304.
|
|
|
|
305.
|
|
|
|
306.
|
|
|
|
307.
|
|
|
|
308.
|
|
|
|
309.
|
|
|
|
310.
|
|
|
|
311.
|
|
|
|
312.
|
|
|
|
313.
|
|
|
|
314.
|
Datalog Reloaded [electronic resource] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / edited by Oege Moor, Georg Gottlob, Tim Furche, Andrew Sellers. by Series: Lecture Notes in Computer Science ; 6702
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Availability: Items available for loan: National Library of India (1).
|
|
|
315.
|
|
|
|
316.
|
|
|
|
317.
|
|
|
|
318.
|
Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Series: Lecture Notes in Computer Science ; 7321
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Availability: Items available for loan: National Library of India (1).
|
|
|
319.
|
|
|
|
320.
|
|