Refine your search

Your search returned 4479 results.

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

3122.
Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6309
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.

3123.
Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by Series: Lecture Notes in Bioinformatics ; 9308
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
Availability: No items available.

3124.
Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4545
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.

3125.
3126.
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6289
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.

3127.
Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings / by Series: Programming and Software Engineering ; 5543
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.

3128.
3129.
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8114
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.

3130.
Games, Actions, and Social Software [electronic resource] : Multidisciplinary Aspects / by Series: Programming and Software Engineering ; 7010
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.

3131.
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings / by Series: Lecture Notes in Bioinformatics ; 4695
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.

3132.
Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10472
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.

3133.
Human-Computer Interaction. Interaction Contexts [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10272
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

3134.
Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] : ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports / by Series: Programming and Software Engineering ; 3344
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

3135.
3136.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / by Series: Programming and Software Engineering ; 7940
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.

3137.
3138.
3139.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII [electronic resource] / by Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10940
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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