Refine your search

Your search returned 7031 results.

Sort
Results
3661.
Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / by Series: Programming and Software Engineering ; 7149
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

3662.
Numerical Methods and Applications [electronic resource] : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8962
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

3663.
3664.
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 5001
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

3665.
3666.
Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7047
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

3667.
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 9660
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

3668.
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4596
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

3669.
3670.
3671.
3672.
3673.
3674.
Mobile and Ubiquitous Information Access [electronic resource] : Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers / by Series: Lecture Notes in Computer Science ; 2954
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3675.
Integrated Formal Methods [electronic resource] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2999
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3676.
Grid and Cooperative Computing - GCC 2004 [electronic resource] : Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3251
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3677.
Object-Oriented Technology. ECOOP 2003 Workshop Reader [electronic resource] : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports / by Series: Lecture Notes in Computer Science ; 3013
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3678.
From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / by Series: Lecture Notes in Computer Science ; 2635
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3679.
Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3314
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

3680.
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3256
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in