Refine your search

Your search returned 7031 results.

Sort
Results
2281.
Automated Deduction – CADE 29 [electronic resource] : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 14132
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.

2282.
2283.
2284.
Reliable Software Technologies – Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / by Series: Programming and Software Engineering ; 6652
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.

2285.
Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / by Series: Programming and Software Engineering ; 5356
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.

2286.
2287.
2288.
2289.
2290.
Urban Intelligence and Applications [electronic resource] : Second International Conference, ICUIA 2020, Taiyuan, China, August 14–16, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1319
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

2291.
2292.
2293.
Networked Systems [electronic resource] : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 12129
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.

2294.
2295.
Building Better Interfaces for Remote Autonomous Systems [electronic resource] : An Introduction for Systems Engineers / by Series: SpringerBriefs in Human-Computer Interaction
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.

2296.
Dark Web Investigation [electronic resource] / by Series: Security Informatics and Law Enforcement
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.

2297.
2298.
Software Business [electronic resource] : 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16–18, 2020, Proceedings / by Series: Lecture Notes in Business Information Processing ; 407
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.

2299.
2300.
Discrete Mathematics and Graph Theory [electronic resource] : A Concise Study Companion and Guide / by Series: Undergraduate Topics in Computer Science
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.

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