Refine your search

Your search returned 7031 results.

Sort
Results
5761.
Artificial Intelligence Logic and Applications [electronic resource] : The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings / by Series: Communications in Computer and Information Science ; 1917
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

5762.
Wireless On-Demand Network Systems [electronic resource] : First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2928
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.

5763.
Grid and Cooperative Computing [electronic resource] : Second International Workshop, GCC 2003 Shanhai, China, December 7–10, 2003 Revised Papers, Part I / by Series: Lecture Notes in Computer Science ; 3032
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.

5764.
Mobile Human-Computer Interaction - Mobile HCI 2004 [electronic resource] : 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3160
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.

5765.
5766.
5767.
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 9200
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.

5768.
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8304
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

5769.
5770.
5771.
5772.
Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8901
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.

5773.
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4686
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.

5774.
RoboCup 2003: Robot Soccer World Cup VII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 3020
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.

5775.
5776.
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Series: Programming and Software Engineering ; 4839
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.

5777.
5778.
Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10240
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.

5779.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10773
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.

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