Refine your search

Your search returned 17575 results.

Sort
Results
9481.
9482.
9483.
Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3354
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.

9484.
9485.
Advanced Parallel Processing Technologies [electronic resource] : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5737
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.

9486.
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9477
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.

9487.
9488.
The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / by Series: Programming and Software Engineering ; 8106
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.

9489.
Social Informatics [electronic resource] : 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8851
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.

9490.
9491.
9492.
Dependable Computing - EDCC 2005 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by Series: Programming and Software Engineering ; 3463
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.

9493.
Document Analysis Systems VII [electronic resource] : 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3872
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

9494.
Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5584
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.

9495.
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by Series: Programming and Software Engineering ; 9109
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.

9496.
Advances in Knowledge Discovery and Data Mining [electronic resource] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5476
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.

9497.
Security Protocols [electronic resource] : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers / by Series: Security and Cryptology ; 8263
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.

9498.
Autonomous and Intelligent Systems [electronic resource] : Third International Conference, AIS 2012, Aviero, Portugal, June 25-27, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7326
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.

9499.
Financial Cryptography and Data Security [electronic resource] : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / by Series: Security and Cryptology ; 7035
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.

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