Refine your search

Your search returned 2786 results.

Sort
Results
41.
42.
Formal Methods for Industrial Critical Systems [electronic resource] : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by Series: Programming and Software Engineering ; 12863
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.

43.
Data, Information, and Time [electronic resource] : The DIT Model / by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

44.
Advances in Conceptual Modeling [electronic resource] : ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17–20, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13650
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

45.
46.
Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3003
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.

47.
48.
Advances in Cryptology – ASIACRYPT 2017 [electronic resource] : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III / by Series: Security and Cryptology ; 10626
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.

49.
50.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13465
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

51.
Theory and Applications of Models of Computation [electronic resource] : 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13571
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

52.
53.
54.
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 6319
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

55.
Theory of Quantum Computation, Communication and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6519
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.

56.
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / by Series: Security and Cryptology ; 7781
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

57.
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource]. by Series: Transactions on Petri Nets and Other Models of Concurrency ; 6550
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

58.
59.
Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Series: Programming and Software Engineering ; 3456
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.

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