Results
|
|
2481.
|
|
|
|
2482.
|
|
|
|
2483.
|
|
|
|
2484.
|
|
|
|
2485.
|
|
|
|
2486.
|
|
|
|
2487.
|
|
|
|
2488.
|
|
|
|
2489.
|
|
|
|
2490.
|
|
|
|
2491.
|
|
|
|
2492.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. by Series: Lecture Notes in Computer Science ; 6538
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).
|
|
|
2493.
|
|
|
|
2494.
|
|
|
|
2495.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings / edited by Leslie Ann Goldberg...[et al.] by Series: Lecture Notes in Computer Science ; 6845
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).
|
|
|
2496.
|
|
|
|
2497.
|
|
|
|
2498.
|
|
|
|
2499.
|
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).
|
|
|
2500.
|
Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker. by Series: Lecture Notes in Computer Science ; 6532
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).
|