Your search returned 16792 results.

Sort
Results
11941.
Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / by Series: Programming and Software Engineering ; 3875
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.

11942.
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by Series: Programming and Software Engineering ; 9984
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.

11943.
11944.
E-Commerce and Web Technologies [electronic resource] : 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3590
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.

11945.
Theory and Applications of Formal Argumentation [electronic resource] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8306
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.

11946.
Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / by Series: Programming and Software Engineering ; 4951
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.

11947.
Global Computing [electronic resource] : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3267
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.

11948.
Transactions on Computational Science XIII [electronic resource]. by Series: Transactions on Computational Science ; 6750
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.

11949.
Knowledge Science, Engineering and Management [electronic resource] : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9403
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.

11950.
11951.
Partially Supervised Learning [electronic resource] : Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8183
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.

11952.
New Frontiers in Artificial Intelligence [electronic resource] : Joint JSAI 2005 Workshop Post-Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4012
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.

11953.
11954.
RoboCup 2013: Robot World Cup XVII [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 8371
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.

11955.
11956.
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3476
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.

11957.
Principles of Security and Trust [electronic resource] : 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / by Series: Security and Cryptology ; 10204
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

11958.
11959.
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5187
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.

11960.
Integer Programming and Combinatorial Optimization [electronic resource] : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4513
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