Your search returned 6990 results.

Sort
Results
1381.
1382.
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / by Series: Programming and Software Engineering ; 10610
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.

1383.
Large-Scale Scientific Computing [electronic resource] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10665
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.

1384.
New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / by Series: Programming and Software Engineering ; 10826
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.

1385.
Reliable Software Technologies – Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Series: Programming and Software Engineering ; 10873
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.

1386.
Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10839
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.

1387.
1388.
Mathematical Software – ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10931
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.

1389.
Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 10760
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.

1390.
Advances in Cryptology – CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II / by Series: Security and Cryptology ; 10992
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.

1391.
Rough Sets [electronic resource] : International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11103
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.

1392.
Big Data Analytics and Knowledge Discovery [electronic resource] : 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11031
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.

1393.
1394.
Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings / by Series: Security and Cryptology ; 11060
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.

1395.
RoboCup 2017: Robot World Cup XXI [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 11175
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.

1396.
1397.
1398.
1399.
Service-Oriented Computing [electronic resource] : 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / by Series: Programming and Software Engineering ; 11236
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.

1400.
Malicious Attack Propagation and Source Identification [electronic resource] / by Series: Advances in Information Security ; 73
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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