Refine your search

Your search returned 3356 results.

Sort
Results
3101.
Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2257
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.

3102.
Distributed Computing [electronic resource] : 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1499
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.

3103.
ECOOP 2000 - Object-Oriented Programming [electronic resource] : 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1850
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.

3104.
Developments in Language Theory [electronic resource] : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2710
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.

3105.
Theorem Proving in Higher Order Logics [electronic resource] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1275
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.

3106.
Embedded Software [electronic resource] : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2491
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.

3107.
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1926
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.

3108.
Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / by Series: Lecture Notes in Computer Science ; 1287
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.

3109.
CONCUR 2003 - Concurrency Theory [electronic resource] : 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2761
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.

3110.
Grid Computing - GRID 2000 [electronic resource] : First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1971
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.

3111.
Network-Based Parallel Computing Communication, Architecture, and Applications [electronic resource] : Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1602
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.

3112.
Distributed Communities on the Web [electronic resource] : 4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2468
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.

3113.
Evolutionary Programming VII [electronic resource] : 7th International Conference, EP98, San Diego, California, USA, March 25–27, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1447
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.

3114.
Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2399
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.

3115.
3116.
FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2021
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.

3117.
Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2844
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.

3118.
Object-Oriented Information Systems [electronic resource] : 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2425
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.

3119.
Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3299
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
Availability: No items available.

3120.
Public Key Cryptography [electronic resource] : Third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1751
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.

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