Refine your search

Your search returned 7031 results.

Sort
Results
4181.
Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings / by Series: Programming and Software Engineering ; 5668
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.

4182.
Trustworthy Global Computing [electronic resource] : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8902
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.

4183.
Adaptive Learning Agents [electronic resource] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5924
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.

4184.
Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings / by Series: Programming and Software Engineering ; 3676
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.

4185.
4186.
Pedagogically Founded Courseware Generation for Web-Based Learning [electronic resource] : An HTN-Planning-Based Approach Implemented in Paigos / by Series: Lecture Notes in Artificial Intelligence ; 5260
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.

4187.
Coordination Models and Languages [electronic resource] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / by Series: Programming and Software Engineering ; 5521
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.

4188.
4189.
Multi-Agent Based Simulation XVI [electronic resource] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9568
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.

4190.
Modelling Autonomic Communication Environments [electronic resource] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6473
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.

4191.
4192.
Applied Parallel Computing [electronic resource] : State of the Art in Scientific Computing / by Series: Theoretical Computer Science and General Issues ; 3732
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.

4193.
Distributed Computing and Internet Technology [electronic resource] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6536
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.

4194.
User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / by Series: Programming and Software Engineering ; 8311
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.

4195.
Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3938
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.

4196.
Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by Series: Programming and Software Engineering ; 3527
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.

4197.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / by Series: Programming and Software Engineering ; 5051
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.

4198.
4199.
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 5348
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.

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