Your search returned 16792 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
8161.
Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8812
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
Online access:
Availability: No items available.

Add to cart
8162.
Distributed Applications and Interoperable Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5523
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
Online access:
Availability: No items available.

Add to cart
8163.
Information Security and Cryptology - ICISC 2007 [electronic resource] : 10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings / by Series: Security and Cryptology ; 4817
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
Online access:
Availability: No items available.

Add to cart
8164.
Advances in Conceptual Modeling [electronic resource] : ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8823
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
Online access:
Availability: No items available.

Add to cart
8165.
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5489
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
Online access:
Availability: No items available.

Add to cart
8166.
Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization / by Series: Theoretical Computer Science and General Issues ; 5445
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
Online access:
Availability: No items available.

Add to cart
8167.
Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I / by Series: Security and Cryptology ; 9985
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
8168.
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / by Series: Programming and Software Engineering ; 7152
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
Online access:
Availability: No items available.

Add to cart
8169.
Human-Computer Interaction. Novel Interaction Methods and Techniques [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5611
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
Online access:
Availability: No items available.

Add to cart
8170.
8171.
Digital Human Modeling [electronic resource] : Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6777
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
Online access:
Availability: No items available.

Add to cart
8172.
Research in Computational Molecular Biology [electronic resource] : 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings / by Series: Lecture Notes in Bioinformatics ; 7821
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
Online access:
Availability: No items available.

Add to cart
8173.
8174.
Advances in Data Mining - Theoretical Aspects and Applications [electronic resource] : 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4597
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
Online access:
Availability: No items available.

Add to cart
8175.
Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / by Series: Programming and Software Engineering ; 6217
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
Online access:
Availability: No items available.

Add to cart
8176.
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Series: Programming and Software Engineering ; 8718
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
Online access:
Availability: No items available.

Add to cart
8177.
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20 - 22, 2009. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5633
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
Online access:
Availability: No items available.

Add to cart
8178.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9042
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
Online access:
Availability: No items available.

Add to cart
8179.
Progress in Image Analysis and Processing, ICIAP 2013 [electronic resource] : Naples, Italy, September 9-13, 2013, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8156
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
Online access:
Availability: No items available.

Add to cart
8180.
Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6516
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
Online access:
Availability: No items available.

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