Refine your search

Your search returned 17571 results.

Sort
Results
8901.
Pairing-Based Cryptography - Pairing 2007 [electronic resource] : First International Conference, Pairing 2007, Tokyo, Japan, July 2-4, 2007, Proceedings / by Series: Security and Cryptology ; 4575
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.

8902.
8903.
Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8089
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.

8904.
Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / by Series: Programming and Software Engineering ; 5382
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.

8905.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 34th International Workshop, WG 2008, Durham, UK, June 30 -- July 2, 2008, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 5344
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.

8906.
Advances in Information and Computer Security [electronic resource] : 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings / by Series: Security and Cryptology ; 6434
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.

8907.
Compiler Construction [electronic resource] : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8409
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

8908.
8909.
Computer Vision -- ACCV 2010 Workshops [electronic resource] : ACCV 2010 International Workshops. Queenstown, New Zealand, November 8-9, 2010. Revised Selected Papers, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6469
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.

8910.
Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / by Series: Programming and Software Engineering ; 6300
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.

8911.
Advances in Bioinformatics and Computational Biology [electronic resource] : 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasília, Brazil, August 10-12, 2011, Proceedings / by Series: Lecture Notes in Bioinformatics ; 6832
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.

8912.
Logic and the Foundations of Game and Decision Theory - LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6006
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.

8913.
Dynamic Brain - from Neural Spikes to Behaviors [electronic resource] : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures / by Series: Theoretical Computer Science and General Issues ; 5286
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.

8914.
8915.
8916.
8917.
Data and Knowledge Engineering [electronic resource] : Third International Conference, ICDKE 2012, Wuyishan, China, November 21-23, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7696
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.

8918.
Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3849
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.

8919.
Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7505
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.

8920.
Transactions on Computational Science XX [electronic resource] : Special Issue on Voronoi Diagrams and Their Applications / by Series: Transactions on Computational Science ; 8110
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.

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