Your search returned 1515 results.

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

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

1483.
Optimal Interprocedural Program Optimization [electronic resource] : A New Framework and Its Application / by Series: Lecture Notes in Computer Science ; 1428
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.

1484.
Universal Access. Theoretical Perspectives, Practice, and Experience [electronic resource] : 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2615
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.

1485.
1486.
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.

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

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

1489.
Grading Knowledge [electronic resource] : Extracting Degree Information from Texts / by Series: Lecture Notes in Artificial Intelligence ; 1744
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.

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

1491.
Advances in Exception Handling Techniques [electronic resource] / by Series: Lecture Notes in Computer Science ; 2022
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.

1492.
Compiling Natural Semantics [electronic resource] / by Series: Lecture Notes in Computer Science ; 1549
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.

1493.
Formal Syntax and Semantics of Java [electronic resource] / by Series: Lecture Notes in Computer Science ; 1523
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.

1494.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1657
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.

1495.
Component-Based Software Engineering [electronic resource] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3054
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.

1496.
Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 2171
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.

1497.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1908
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.

1498.
UML 2000 - The Unified Modeling Language: Advancing the Standard [electronic resource] : Third International Conference York, UK, October 2-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1939
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.

1499.
Mathematical Foundations of Computer Science 2002 [electronic resource] : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2420
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.

1500.
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications [electronic resource] : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2863
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.

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