Your search returned 1611 results.

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

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

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

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

1585.
Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI, Revised Papers / by Series: Lecture Notes in Computer Science ; 2929
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.

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

1587.
Object-Oriented Technology. ECOOP 2002 Workshop Reader [electronic resource] : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2548
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.

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

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

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

1591.
Object-Oriented Technology: ECOOP 2000 Workshop Reader [electronic resource] : ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1964
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.

1592.
1593.
Algorithms and Data Structures [electronic resource] : 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2748
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.

1594.
1595.
Software Visualization [electronic resource] : International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures / by Series: Lecture Notes in Computer Science ; 2269
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.

1596.
Deductive and Object-Oriented Databases [electronic resource] : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1341
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.

1597.
Advances in Distributed Systems [electronic resource] : Advanced Distributed Computing: From Algorithms to Systems / by Series: Lecture Notes in Computer Science ; 1752
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.

1598.
ZUM '98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1493
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.

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