Refine your search

Your search returned 3358 results.

Sort
Results
2721.
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.

2722.
Active Object Languages: Current Research Trends [electronic resource] / by Series: Lecture Notes in Computer Science ; 14360
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

2723.
2724.
2725.
Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2008/2009 Tutorial Lectures / by Series: Security and Cryptology ; 5705
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.

2726.
2727.
Software Engineering for Self-Adaptive Systems [electronic resource] / by Series: Programming and Software Engineering ; 5525
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.

2728.
Wireless Algorithms, Systems, and Applications [electronic resource] : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5258
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.

2729.
2730.
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13780
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

2731.
2732.
Cloud-Native Application Architecture [electronic resource] : Microservice Development Best Practice / by
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

2733.
R-Calculus, V: Description Logics [electronic resource] / by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

2734.
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings / by Series: Lecture Notes in Computer Science ; 14512
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.

2735.
2736.
2737.
Data Structures and Algorithms with Python [electronic resource] : With an Introduction to Multiprocessing / by Series: Undergraduate Topics in Computer Science
Edition: 2nd ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

2738.
Structural Decision Diagrams in Digital Test [electronic resource] : Theory and Applications / by Series: Computer Science Foundations and Applied Logic
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2024 In: Springer Nature eBook
Availability: No items available.

2739.
Exception Handling [electronic resource] : Fundamentals and Programming / by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

2740.
Software Reuse: Bridging with Social-Awareness [electronic resource] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / by Series: Programming and Software Engineering ; 9679
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.

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