Your search returned 1611 results.

Sort
Results
1121.
Logics in Artificial Intelligence [electronic resource] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3229
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.

1122.
Algorithms - ESA 2008 [electronic resource] : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5193
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.

1123.
Stateless Core: A Scalable Approach for Quality of Service in the Internet [electronic resource] : Winning Thesis of the 2001 ACM Doctoral Dissertation Competition / by Series: Lecture Notes in Computer Science ; 2979
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.

1124.
Emotion Modeling [electronic resource] : Towards Pragmatic Computational Models of Affective Processes / by Series: Lecture Notes in Artificial Intelligence ; 8750
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1125.
1126.
Transactions on Foundations for Mastering Change I [electronic resource] / by Series: Transactions on Foundations for Mastering Change ; 9960
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.

1127.
Engineering Multi-Agent Systems [electronic resource] : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 9318
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.

1128.
1129.
Domain-Specific Program Generation [electronic resource] : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 3016
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.

1130.
Learning Java Programming in Clara‘s World [electronic resource] / by
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

1131.
Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 14156
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1132.
Multiobjective Optimization [electronic resource] : Interactive and Evolutionary Approaches / by Series: Theoretical Computer Science and General Issues ; 5252
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.

1133.
Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / by Series: Security and Cryptology ; 5458
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.

1134.
1135.
Algorithmics of Large and Complex Networks [electronic resource] : Design, Analysis, and Simulation / by Series: Theoretical Computer Science and General Issues ; 5515
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.

1136.
Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Series: Theoretical Computer Science and General Issues ; 5161
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.

1137.
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / by Series: Theoretical Computer Science and General Issues ; 7265
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.

1138.
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / by Series: Programming and Software Engineering ; 4143
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.

1139.
Transactions on Aspect-Oriented Software Development XI [electronic resource] / by Series: Transactions on Aspect-Oriented Software Development ; 8400
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1140.
The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / by Series: Programming and Software Engineering ; 5153
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.

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