Refine your search

Your search returned 3358 results.

Sort
Results
1741.
1742.
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / by Series: Programming and Software Engineering ; 7684
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

1743.
1744.
Reliable Software Technologies -- Ada-Europe 2013 [electronic resource] : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings / by Series: Programming and Software Engineering ; 7896
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

1745.
Hybrid Artificial Intelligence Systems [electronic resource] : Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5271
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.

1746.
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4313
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

1747.
String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5280
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1748.
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5337
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1749.
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / by Series: Programming and Software Engineering ; 5140
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.

1750.
1751.
1752.
Multiagent System Technologies [electronic resource] : 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5774
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1753.
Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings / by Series: Programming and Software Engineering ; 6996
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.

1754.
Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings / by Series: Programming and Software Engineering ; 6956
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.

1755.
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6953
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.

1756.
Mathematical Foundations of Computer Science 2005 [electronic resource] : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3618
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.

1757.
The Logic of Categorial Grammars [electronic resource] : A deductive account of natural language syntax and semantics / by Series: Theoretical Computer Science and General Issues ; 6850
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.

1758.
Advances in Artificial Intelligence - IBERAMIA 2008 [electronic resource] : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5290
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.

1759.
Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Series: Programming and Software Engineering ; 5668
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1760.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 6565
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.

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