Refine your search

Your search returned 2786 results.

Sort
Results
2181.
2182.
2183.
2184.
2185.
2186.
Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9198
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

2187.
Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / by Series: Programming and Software Engineering ; 5063
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.

2188.
Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7620
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

2189.
2190.
Theory and Practice of Natural Computing [electronic resource] : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8890
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

2191.
2192.
From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Series: Theoretical Computer Science and General Issues ; 12065
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.

2193.
2194.
2195.
2196.
Hypothesis Generation and Interpretation [electronic resource] : Design Principles and Patterns for Big Data Applications / by Series: Studies in Big Data ; 139
Edition: 1st 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.

2197.
2198.
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.

2199.
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.

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