Refine your search

Your search returned 4435 results.

Sort
Results
1441.
1442.
Computer Safety, Reliability, and Security [electronic resource] : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings / by Series: Programming and Software Engineering ; 6351
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.

1443.
Fundamentals of Computation Theory [electronic resource] : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9210
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.

1444.
Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4239
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.

1445.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7837
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.

1446.
Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings / by Series: Programming and Software Engineering ; 4591
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.

1447.
1448.
Ad-Hoc, Mobile and Wireless Networks [electronic resource] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6288
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.

1449.
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3927
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.

1450.
Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4025
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.

1451.
Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / by Series: Theoretical Computer Science and General Issues ; 3905
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.

1452.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / by Series: Programming and Software Engineering ; 4364
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.

1453.
Theoretical Aspects of Computing - ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4711
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.

1454.
Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7173
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.

1455.
Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3432
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.

1456.
Reachability Problems [electronic resource] : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6227
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.

1457.
Software Product Lines [electronic resource] : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings / by Series: Programming and Software Engineering ; 3714
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.

1458.
Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7541
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.

1459.
1460.
Active Networks [electronic resource] : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004, Revised Papers / by Series: Computer Communication Networks and Telecommunications ; 3912
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.

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