Refine your search

Your search returned 2182 results.

Sort
Results
1361.
SDL 2013: Model Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 7916
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.

1362.
Advances in Artificial Intelligence - IBERAMIA 2010 [electronic resource] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6433
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.

1363.
Information Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6377
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.

1364.
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4128
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.

1365.
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 9206
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.

1366.
Web Engineering [electronic resource] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26 2009 Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5648
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.

1367.
Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10776
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

1368.
1369.
Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4994
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.

1370.
1371.
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by Series: Programming and Software Engineering ; 9337
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.

1372.
Transactions on Edutainment II [electronic resource] / by Series: Transactions on Edutainment ; 5660
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.

1373.
Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5022
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.

1374.
1375.
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 5178
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.

1376.
SDL 2009: Design for Motes and Mobiles [electronic resource] : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5719
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.

1377.
Motion in Games [electronic resource] : First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008, Revised Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5277
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.

1378.
Computer Safety, Reliability, and Security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / by Series: Programming and Software Engineering ; 10488
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.

1379.
SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings / by Series: Programming and Software Engineering ; 10567
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.

1380.
Advances in Computer Entertainment Technology [electronic resource] : 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10714
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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