Your search returned 7426 results.

Sort
Results
4661.
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8036
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.

4662.
4663.
Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3925
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.

4664.
High Performance Computing - HiPC 2007 [electronic resource] : 14th International Conference, Goa, India, December 18-21, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4873
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.

4665.
MICAI 2006: Advances in Artificial Intelligence [electronic resource] : 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4293
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.

4666.
Public Key Infrastructure [electronic resource] : 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings / by Series: Security and Cryptology ; 4582
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.

4667.
Computer Vision - ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part IV / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5305
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.

4668.
Advances in Web-Based Learning -- ICWL 2013 [electronic resource] : 12th International Conference, Kenting, Taiwan, October 6-9, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8167
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.

4669.
Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7410
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.

4670.
4671.
Image Analysis and Recognition [electronic resource] : International Conference ICIAR 2004, Porto, Portugal, September 29 - October 1, 2004, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 3212
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

4672.
Service-Oriented Computing - ICSOC 2008 Workshops [electronic resource] : ICSOC 2008, International Workshops, Sydney, Australia, December 1st, 2008. Revised Selected Papers. / by Series: Programming and Software Engineering ; 5472
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.

4673.
Scientific and Statistical Database Management [electronic resource] : 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7338
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.

4674.
4675.
Spatial Information Theory [electronic resource] : 10th International Conference, COSIT 2011, Belfast, ME, USA / by Series: Theoretical Computer Science and General Issues ; 6899
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.

4676.
4677.
4678.
Logic, Language, Information, and Computation [electronic resource] : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10388
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

4679.
Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / by Series: Programming and Software Engineering ; 6394
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.

4680.
Advances in Cryptology - ASIACRYPT 2008 [electronic resource] : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008 / by Series: Security and Cryptology ; 5350
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.

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