Refine your search

Your search returned 2406 results.

Sort
Results
661.
Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 5115
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.

662.
Algorithmic Aspects of Cloud Computing [electronic resource] : Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10739
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.

663.
664.
665.
666.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5482
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.

667.
Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7355
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.

668.
Digital Forensics and Watermarking [electronic resource] : 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016, Revised Selected Papers / by Series: Security and Cryptology ; 10082
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.

669.
670.
Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / by Series: Programming and Software Engineering ; 5799
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.

671.
Artificial Immune Systems [electronic resource] : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5132
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.

672.
Computer Algebra in Scientific Computing [electronic resource] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4770
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

673.
Digital Watermarking [electronic resource] : Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2939
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.

674.
Cellular Automata [electronic resource] : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7495
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.

675.
676.
Grammatical Inference: Theoretical Results and Applications [electronic resource] : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6339
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.

677.
Cryptography and Security: From Theory to Applications [electronic resource] : Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / by Series: Security and Cryptology ; 6805
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.

678.
Cellular Automata and Discrete Complex Systems [electronic resource] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9664
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.

679.
680.
Advances in Cryptology – EUROCRYPT 2008 [electronic resource] : 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008, Proceedings / by Series: Security and Cryptology ; 4965
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.

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