Refine your search

Your search returned 3843 results.

Sort
Results
3361.
Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2834
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.

3362.
ECOOP 2003 - Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2743
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.

3363.
Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2102
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.

3364.
Evolvable Systems: From Biology to Hardware [electronic resource] : Second International Conference, ICES 98 Lausanne, Switzerland, September 23–25, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1478
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.

3365.
Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Series: Lecture Notes in Artificial Intelligence ; 2922
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.

3366.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2850
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.

3367.
3368.
3369.
Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2495
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.

3370.
MMIXware [electronic resource] : A RISC Computer for the Third Millennium / by Series: Lecture Notes in Computer Science ; 1750
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.

3371.
Conceptual Modeling for New Information Systems Technologies [electronic resource] : ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers / by Series: Lecture Notes in Computer Science ; 2465
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.

3372.
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1443
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.

3373.
Relational Methods in Computer Science [electronic resource] : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / by Series: Lecture Notes in Computer Science ; 2561
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.

3374.
Product Focused Software Process Improvement [electronic resource] : 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2559
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.

3375.
Practical Aspects of Declarative Languages [electronic resource] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1753
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.

3376.
Object-Oriented Technology. ECOOP'99 Workshop Reader [electronic resource] : ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1743
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.

3377.
EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2510
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.

3378.
Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1201
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.

3379.
Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2376
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.

3380.
SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2234
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