Your search returned 930 results.

Sort
Results
261.
262.
263.
Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / by Series: Lecture Notes in Artificial Intelligence ; 4334
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.

264.
265.
Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4390
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.

266.
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9706
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.

267.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5590
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.

268.
269.
270.
Empirical Methods in Natural Language Generation [electronic resource] : Data-oriented Methods and Empirical Evaluation / by Series: Lecture Notes in Artificial Intelligence ; 5790
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.

271.
272.
Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8955
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.

273.
Computational Issues in Fluid Construction Grammar [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 7249
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.

274.
Statistical Language and Speech Processing [electronic resource] : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10583
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.

275.
276.
Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10021
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.

277.
Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7207
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.

278.
Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7486
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.

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