Your search returned 16792 results.

Sort
Results
8521.
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7406
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.

8522.
8523.
8524.
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 7524
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.

8525.
8526.
8527.
Social Robotics [electronic resource] : 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9979
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.

8528.
Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Series: Lecture Notes in Artificial Intelligence ; 6810
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.

8529.
Data Integration in the Life Sciences [electronic resource] : 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012, Proceedings / by Series: Lecture Notes in Bioinformatics ; 7348
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.

8530.
Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6690
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.

8531.
Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9797
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.

8532.
Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 5804
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.

8533.
From Programs to Systems - The Systems Perspective in Computing [electronic resource] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8415
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.

8534.
8535.
Pattern Recognition in Bioinformatics [electronic resource] : 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012, Proceedings / by Series: Lecture Notes in Bioinformatics ; 7632
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.

8536.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers / by Series: Security and Cryptology ; 6186
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.

8537.
Information Systems Security [electronic resource] : 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings / by Series: Security and Cryptology ; 8303
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.

8538.
Cooperative Information Agents XII [electronic resource] : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5180
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.

8539.
8540.
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8477
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.

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