Your search returned 773 results.

Sort
Results
741.
New Trends in Constraints [electronic resource] : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1865
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.

742.
Static Analysis [electronic resource] : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2126
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.

743.
Objects and Databases [electronic resource] : International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers / by Series: Lecture Notes in Computer Science ; 1944
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.

744.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1897
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.

745.
746.
Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1795
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.

747.
Recent Trends in Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers / by Series: Lecture Notes in Computer Science ; 1589
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.

748.
Software and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2826
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.

749.
Euro-Par’98 Parallel Processing [electronic resource] : 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1470
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.

750.
Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2701
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.

751.
Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / by Series: Lecture Notes in Computer Science ; 1870
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.

752.
Generative Programming and Component Engineering [electronic resource] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2487
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.

753.
Logic Programming [electronic resource] : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2401
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.

754.
Practical Aspects of Declarative Languages [electronic resource] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 1990
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.

755.
Consolidated Ada Reference Manual [electronic resource] : Language and Standard Libraries / by Series: Lecture Notes in Computer Science ; 2219
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.

756.
Component Deployment [electronic resource] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3083
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.

757.
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 2627
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.

758.
FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2805
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.

759.
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2675
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.

760.
Engineering Distributed Objects [electronic resource] : Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 1999
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