Your search returned 1614 results.

Sort
Results
641.
Bioinspired Optimization Methods and Their Applications [electronic resource] : 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10835
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

642.
Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10798
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

643.
644.
645.
Software Foundations for Data Interoperability [electronic resource] : 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1457
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

646.
647.
648.
Fundamentals of Reinforcement Learning [electronic resource] / by
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.

649.
Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13215
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

650.
Computer Aided Verification [electronic resource] : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13964
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.

651.
652.
Transactions on Computational Collective Intelligence III [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 6560
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.

653.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4548
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.

654.
Approximation and Online Algorithms [electronic resource] : 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 4368
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.

655.
Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5038
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.

656.
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7225
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.

657.
Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3874
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.

658.
Web Engineering [electronic resource] : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10360
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.

659.
It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / by Series: Programming and Software Engineering ; 10865
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

660.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10877
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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