Your search returned 892 results.

Sort
Results
461.
Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1201
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.

462.
Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2376
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.

463.
SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2234
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.

464.
High Performance Computing - HiPC'99 [electronic resource] : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1745
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.

465.
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1690
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.

466.
Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2753
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.

467.
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1869
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.

468.
ECOOP 2001 - Object-Oriented Programming [electronic resource] : 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2072
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.

469.
Computer Vision Systems [electronic resource] : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2095
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.

470.
471.
Types in Compilation [electronic resource] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1473
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.

472.
ECOOP '99 - Object-Oriented Programming [electronic resource] : 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1628
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.

473.
Advances in Object-Oriented Information Systems [electronic resource] : OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2426
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.

474.
Interactive Systems: Design, Specification, and Verification [electronic resource] : 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 / by Series: Lecture Notes in Computer Science ; 2545
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.

475.
Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1479
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.

476.
Conceptual Modeling -- ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2813
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.

477.
Mobile Agents [electronic resource] : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1219
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.

478.
479.
Practical Aspects of Declarative Languages [electronic resource] : First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1551
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.

480.
Web Engineering [electronic resource] : Managing Diversity and Complexity of Web Application Development / by Series: Lecture Notes in Computer Science ; 2016
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.

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