Your search returned 16792 results.

Sort
Results
15241.
FME 2002: Formal Methods - Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2391
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.

15242.
IT-Security and Privacy [electronic resource] : Design and Use of Privacy-Enhancing Security Mechanisms / by Series: Lecture Notes in Computer Science ; 1958
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.

15243.
Principles and Practice of Constraint Programming - CP98 [electronic resource] : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1520
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

15244.
Computation for Metaphors, Analogy, and Agents [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 1562
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.

15245.
Information Extraction [electronic resource] : Towards Scalable, Adaptable Systems / by Series: Lecture Notes in Artificial Intelligence ; 1714
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.

15246.
15247.
Ambient Intelligence [electronic resource] : First European Symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3.-4, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2875
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.

15248.
Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] : 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1555
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.

15249.
15250.
Information Security and Privacy [electronic resource] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1841
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.

15251.
Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Series: Lecture Notes in Computer Science ; 1426
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

15252.
Graph Drawing [electronic resource] : 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1353
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.

15253.
Computing and Combinatorics [electronic resource] : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2387
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.

15254.
STACS 2003 [electronic resource] : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2607
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.

15255.
Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2183
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.

15256.
15257.
Combinatorial Pattern Matching [electronic resource] : 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1645
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.

15258.
Multiagent Platforms [electronic resource] : First Pacific Rim International Workshop on Multi-Agents, PRIMA'98, Singapore, November 23, 1998, Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1599
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.

15259.
Logical Aspects of Computational Linguistics [electronic resource] : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1328
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.

15260.
Autonomous Dynamic Reconfiguration in Multi-Agent Systems [electronic resource] : Improving the Quality and Efficiency of Collaborative Problem Solving / by Series: Lecture Notes in Artificial Intelligence ; 2427
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.

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