Refine your search

Your search returned 17575 results.

Sort
Results
10161.
Unifying Theories of Programming [electronic resource] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8963
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.

10162.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4644
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.

10163.
Distributed Applications and Interoperable Systems [electronic resource] : 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6723
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.

10164.
10165.
Object-Oriented Technology.ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / by Series: Programming and Software Engineering ; 4379
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.

10166.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings / by Series: Programming and Software Engineering ; 7830
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.

10167.
Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7351
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.

10168.
Intelligent Tutoring Systems [electronic resource] : 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings / by Series: Programming and Software Engineering ; 4053
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.

10169.
10170.
Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4068
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.

10171.
10172.
10173.
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8076
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.

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

10175.
10176.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings / by Series: Programming and Software Engineering ; 6182
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.

10177.
10178.
Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper / by Series: Theoretical Computer Science and General Issues ; 3974
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.

10179.
Swarm Intelligence Based Optimization [electronic resource] : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10103
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.

10180.
KI 2012: Advances in Artificial Intelligence [electronic resource] : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7526
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.

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