Your search returned 1503 results.

Sort
Results
1261.
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2914
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.

1262.
ZB 2002: Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2272
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.

1263.
Object-Oriented Technology: ECOOP ’97 Workshop Reader [electronic resource] : ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1357
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.

1264.
Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2495
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.

1265.
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2874
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.

1266.
Advances in Computing Science - ASIAN'98 [electronic resource] : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1538
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.

1267.
Implementation of Functional Languages [electronic resource] : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / by Series: Lecture Notes in Computer Science ; 1868
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.

1268.
Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1753
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.

1269.
Object-Oriented Technology. ECOOP'99 Workshop Reader [electronic resource] : ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1743
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.

1270.
CONCUR '98 Concurrency Theory [electronic resource] : 9th International Conference, Nice, France, September 8-11, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1466
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.

1271.
Database Programming Languages [electronic resource] : 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers / by Series: Lecture Notes in Computer Science ; 2397
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.

1272.
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.

1273.
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.

1274.
Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1192
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.

1275.
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.

1276.
1277.
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.

1278.
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.

1279.
Implementation of Functional Languages [electronic resource] : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1268
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.

1280.
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.

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