Refine your search

Your search returned 17425 results.

Sort
Results
15181.
ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Series: Programming and Software Engineering ; 3455
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

15182.
Cooperative Information Agents VIII [electronic resource] : 8th International Workshop, CIA 2004, Erfurt, Germany, September 27-29, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3191
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.

15183.
15184.
15185.
High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009 / by Series: Theoretical Computer Science and General Issues ; 5409
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.

15186.
Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / by Series: Security and Cryptology ; 9696
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.

15187.
15188.
15189.
15190.
15191.
15192.
Network-Based Analysis of Dynamical Systems [electronic resource] : Methods for Controllability and Observability Analysis, and Optimal Sensor Placement / by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

15193.
15194.
15195.
The Science of Quantitative Information Flow [electronic resource] / by Series: Information Security and Cryptography
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

15196.
15197.
15198.
15199.
15200.
Machine Learning and Principles and Practice of Knowledge Discovery in Databases [electronic resource] : International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II / by Series: Communications in Computer and Information Science ; 1525
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