Refine your search

Your search returned 17575 results.

Sort
Results
9161.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings / by Series: Programming and Software Engineering ; 4468
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.

9162.
Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / by Series: Programming and Software Engineering ; 6727
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.

9163.
9164.
Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006, Enschede, Netherlands, October 25-27, 2006, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 4272
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.

9165.
Cryptographic Hardware and Embedded Systems -- CHES 2012 [electronic resource] : 14th International Workshop, Leuven, Belgium, September 9-12, 2012, Proceedings / by Series: Security and Cryptology ; 7428
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.

9166.
Reversible Computation [electronic resource] : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers / by Series: Programming and Software Engineering ; 7165
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.

9167.
Advances in Cryptology – CRYPTO 2013 [electronic resource] : 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I / by Series: Security and Cryptology ; 8042
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.

9168.
Times of Convergence. Technologies Across Learning Contexts [electronic resource] : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings / by Series: Programming and Software Engineering ; 5192
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.

9169.
Cooperative Design, Visualization, and Engineering [electronic resource] : 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10451
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.

9170.
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / by Series: Lecture Notes in Artificial Intelligence ; 4460
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.

9171.
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3805
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.

9172.
9173.
9174.
9175.
9176.
Digital Libraries: Research and Development [electronic resource] : First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4877
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.

9177.
Advances in Knowledge Discovery and Data Mining [electronic resource] : 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3918
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.

9178.
Implementation and Application of Automata [electronic resource] : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10329
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.

9179.
Advances in Grid and Pervasive Computing [electronic resource] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5529
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.

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