Refine your search

Your search returned 17575 results.

Sort
Results
9301.
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.

9302.
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.

9303.
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.

9304.
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.

9305.
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.

9306.
9307.
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.

9308.
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.

9309.
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.

9310.
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.

9311.
9312.
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.

9313.
Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4531
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.

9314.
Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7389
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.

9315.
Algorithms -- ESA 2010, Part II [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6347
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.

9316.
Advances in Nonlinear Speech Processing [electronic resource] : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7911
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.

9317.
Internet and Network Economics [electronic resource] : 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5385
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.

9318.
B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / by Series: Programming and Software Engineering ; 4355
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.

9319.
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8256
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

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