Refine your search

Your search returned 8148 results.

Sort
Results
4501.
DNA Computing and Molecular Programming [electronic resource] : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10467
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

4502.
Chinese Lexical Semantics [electronic resource] : 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7717
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.

4503.
Intelligent Data Engineering and Automated Learning -- IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7435
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.

4504.
4505.
Practical Aspects of Knowledge Management [electronic resource] : 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5345
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.

4506.
Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 6463
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

4507.
Text, Speech and Dialogue [electronic resource] : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5246
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.

4508.
4509.
4510.
4511.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4280
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.

4512.
Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by Series: Theoretical Computer Science and General Issues ; 4800
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.

4513.
Computable Models of the Law [electronic resource] : Languages, Dialogues, Games, Ontologies / by Series: Lecture Notes in Artificial Intelligence ; 4884
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.

4514.
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4590
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.

4515.
Learning and Intelligent Optimization [electronic resource] : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6683
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.

4516.
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 3681
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.

4517.
Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6078
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

4518.
4519.
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6619
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.

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