Refine your search

Your search returned 7935 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3181.
Model Checking Software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2989
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3182.
Information Security and Cryptology - ICISC 2005 [electronic resource] : 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3935
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
Online access:
Availability: No items available.

Add to cart
3183.
Semirings for Soft Constraint Solving and Programming [electronic resource] / by Series: Lecture Notes in Computer Science ; 2962
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3184.
Intelligent Data Engineering and Automated Learning - IDEAL 2004 [electronic resource] : 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3177
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3185.
Theory of Cryptography [electronic resource] : First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2951
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3186.
Database and Expert Systems Applications [electronic resource] : 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3180
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3187.
The Semantic Web: Research and Applications [electronic resource] : First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3053
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3188.
Integer Programming and Combinatorial Optimization [electronic resource] : 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3064
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3189.
Topics in Cryptology -- CT-RSA 2004 [electronic resource] : The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2964
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3190.
Practical Aspects of Declarative Languages [electronic resource] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3057
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3191.
Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Series: Lecture Notes in Computer Science ; 3049
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3192.
Public Key Cryptography -- PKC 2004 [electronic resource] : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004 / by Series: Lecture Notes in Computer Science ; 2947
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3193.
Computer and Information Sciences - ISCIS 2004 [electronic resource] : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3280
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3194.
Grid and Cooperative Computing - GCC 2004 Workshops [electronic resource] : GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004 / by Series: Lecture Notes in Computer Science ; 3252
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
3195.
3196.
Network and System Security [electronic resource] : 11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings / by Series: Security and Cryptology ; 10394
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
Online access:
Availability: No items available.

Add to cart
3197.
Algorithms and Data Structures [electronic resource] : 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9214
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
Online access:
Availability: No items available.

Add to cart
3198.
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by Series: Programming and Software Engineering ; 9128
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
Online access:
Availability: No items available.

Add to cart
3199.
Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4048
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
Online access:
Availability: No items available.

Add to cart
3200.
Advances in Communication Networking [electronic resource] : 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8846
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Online access:
Availability: No items available.

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