Refine your search

Your search returned 1766 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1561.
Algorithmic Learning Theory [electronic resource] : 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2533
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
Online access:
Availability: No items available.

Add to cart
1562.
Logic-Based Program Synthesis and Transformation [electronic resource] : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1559
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
Online access:
Availability: No items available.

Add to cart
1563.
1564.
Reliable Software Technologies -- Ada-Europe 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2655
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
Online access:
Availability: No items available.

Add to cart
1565.
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers / by Series: Lecture Notes in Computer Science ; 1915
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
Online access:
Availability: No items available.

Add to cart
1566.
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2278
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
Online access:
Availability: No items available.

Add to cart
1567.
Automatic Verification of Sequential Infinite-State Processes [electronic resource] / by Series: Lecture Notes in Computer Science ; 1354
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
Online access:
Availability: No items available.

Add to cart
1568.
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1256
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
Online access:
Availability: No items available.

Add to cart
1569.
Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3116
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
1570.
Principles and Practice of Constraint Programming - CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2833
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
Online access:
Availability: No items available.

Add to cart
1571.
Algorithms and Data Structures [electronic resource] : 6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1663
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
Online access:
Availability: No items available.

Add to cart
1572.
Vector and Parallel Processing - VECPAR'96 [electronic resource] : Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1215
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
Online access:
Availability: No items available.

Add to cart
1573.
Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2890
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
Online access:
Availability: No items available.

Add to cart
1574.
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2244
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
Online access:
Availability: No items available.

Add to cart
1575.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2204
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
Online access:
Availability: No items available.

Add to cart
1576.
The Unified Modeling Language. <<UML>>'98: Beyond the Notation [electronic resource] : First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1618
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
Online access:
Availability: No items available.

Add to cart
1577.
Coordination Languages and Models [electronic resource] : Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1282
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
Online access:
Availability: No items available.

Add to cart
1578.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2131
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
Online access:
Availability: No items available.

Add to cart
1579.
Hypermedia: Openness, Structural Awareness, and Adaptivity [electronic resource] : International Workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001. Revised Papers / by Series: Lecture Notes in Computer Science ; 2266
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
Online access:
Availability: No items available.

Add to cart
1580.
Agent-Oriented Software Engineering [electronic resource] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 1957
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
Online access:
Availability: No items available.

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