Your search returned 182 results.

Sort
Results
141.
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.

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

143.
144.
Advanced Symbolic Analysis for Compilers [electronic resource] : New Techniques and Algorithms for Symbolic Program Analysis and Optimization / by Series: Lecture Notes in Computer Science ; 2628
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.

145.
Model Checking Software [electronic resource] : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2648
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.

146.
Applied Formal Methods - FM-Trends 98 [electronic resource] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1641
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.

147.
Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2192
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.

148.
149.
150.
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2152
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.

151.
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2245
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.

152.
Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1833
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.

153.
Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2885
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.

154.
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2621
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.

155.
Programming Languages and Systems [electronic resource] : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2028
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.

156.
Types for Proofs and Programs [electronic resource] : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers / by Series: Lecture Notes in Computer Science ; 2646
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.

157.
Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1295
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.

158.
Mathematics of Program Construction [electronic resource] : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1837
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.

159.
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2470
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.

160.
Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1945
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