Refine your search

Your search returned 857 results.

Sort
Results
461.
462.
Web Reasoning and Rule Systems [electronic resource] : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9209
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.

463.
Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings / by Series: Programming and Software Engineering ; 6981
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.

464.
Multiagent System Technologies [electronic resource] : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5244
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.

465.
COTS-Based Software Systems [electronic resource] : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by Series: Programming and Software Engineering ; 3412
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.

466.
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / by Series: Programming and Software Engineering ; 6528
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.

467.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10083
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.

468.
Foundations of Health Information Engineering and Systems [electronic resource] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / by Series: Programming and Software Engineering ; 8315
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.

469.
Advanced Information Systems Engineering [electronic resource] : 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3520
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.

470.
471.
Computational Logistics [electronic resource] : Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7555
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.

472.
Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings / by Series: Programming and Software Engineering ; 5563
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.

473.
474.
Transactions on Aspect-Oriented Software Development II [electronic resource] : Focus: AOP Systems, Software and Middleware / by Series: Transactions on Aspect-Oriented Software Development ; 4242
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.

475.
NETWORKING 2010 [electronic resource] : 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6091
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.

476.
Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 3963
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.

477.
Computer Security – ESORICS 2017 [electronic resource] : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II / by Series: Security and Cryptology ; 10493
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.

478.
FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by Series: Programming and Software Engineering ; 3582
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.

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