Refine your search

Your search returned 3843 results.

Sort
Results
3301.
3302.
3303.
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1313
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

3304.
Computer Performance Evaluation. Modelling Techniques and Tools [electronic resource] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1786
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

3305.
Computing in Object-Oriented Parallel Environments [electronic resource] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1732
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

3306.
3307.
Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / by Series: Lecture Notes in Computer Science ; 1764
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

3308.
3309.
Computational Science - ICCS 2002 [electronic resource] : International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2329
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

3310.
Privacy Enhancing Technologies [electronic resource] : Second International Workshop, PET 2002, San Francisco, CA, USA, April 14-15, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2482
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3311.
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2716
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3312.
Meta-Level Architectures and Reflection [electronic resource] : Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1616
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

3313.
Cooperative Information Systems [electronic resource] : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-8, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1901
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

3314.
Conceptual Modeling ER'99 [electronic resource] : 18th International Conference on Conceptual Modeling Paris, France, November 15-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1728
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

3315.
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1912
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

3316.
Computational Science - ICCS 2001 [electronic resource] : International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 2074
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

3317.
Rough Sets and Current Trends in Computing [electronic resource] : Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2475
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

3318.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2514
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

3319.
Financial Cryptography [electronic resource] : First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1318
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

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