Your search returned 1611 results.

Sort
Results
381.
Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / by Series: Programming and Software Engineering ; 4322
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.

382.
Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5757
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.

383.
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.

384.
385.
386.
End-User Development [electronic resource] : Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings / by Series: Programming and Software Engineering ; 6654
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.

387.
Future Internet - FIS 2008 [electronic resource] : First Future Internet Symposium Vienna, Austria, September 28-30, 2008 Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 5468
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.

388.
389.
Mathematical Foundations of Computer Science 2008 [electronic resource] : 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5162
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.

390.
Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / by Series: Programming and Software Engineering ; 4634
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.

391.
Logics in Artificial Intelligence [electronic resource] : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4160
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.

392.
Conceptual Modeling [electronic resource] : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10650
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.

393.
Perspectives of System Informatics [electronic resource] : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10742
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.

394.
395.
Software Technologies: Applications and Foundations [electronic resource] : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10748
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.

396.
Inductive Logic Programming [electronic resource] : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10759
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.

397.
Theory and Practice of Model Transformation [electronic resource] : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by Series: Programming and Software Engineering ; 10888
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.

398.
399.
Inductive Logic Programming [electronic resource] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9575
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.

400.
Search Computing [electronic resource] : Challenges and Directions / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5950
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.

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