Refine your search

Your search returned 8301 results.

Sort
Results
4041.
Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Series: Lecture Notes in Computer Science ; 3049
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.

4042.
Computer and Information Sciences - ISCIS 2004 [electronic resource] : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3280
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.

4043.
4044.
4045.
Algorithms and Data Structures [electronic resource] : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9214
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.

4046.
4047.
Intelligent Robotics and Applications [electronic resource] : Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5928
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.

4048.
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4048
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.

4049.
4050.
4051.
4052.
Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9827
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.

4053.
50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / by Series: Lecture Notes in Artificial Intelligence ; 4850
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.

4054.
4055.
Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5378
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.

4056.
Structural Information and Communication Complexity [electronic resource] : 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4474
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.

4057.
Intelligent Robotics and Applications [electronic resource] : 10th International Conference, ICIRA 2017, Wuhan, China, August 16–18, 2017, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 10462
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.

4058.
4059.
4060.
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.

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