Your search returned 475 results.

Sort
Results
441.
442.
Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Series: Lecture Notes in Computer Science ; 1817
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.

443.
Foundations of Computer Science [electronic resource] : Potential-Theory-Cognition / by Series: Lecture Notes in Computer Science ; 1337
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.

444.
445.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2876
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.

446.
447.
Articulated Motion and Deformable Objects [electronic resource] : Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3179
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.

448.
Database and Expert Systems Applications [electronic resource] : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2736
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.

449.
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2719
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.

450.
Advances in Web-Age Information Management [electronic resource] : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2419
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.

451.
Conceptual Modeling - ER 2002 [electronic resource] : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2503
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.

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

453.
Distributed Communities on the Web [electronic resource] : Third International Workshop, DCW 2000, Quebec City, Canada, June 19-21, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1830
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.

454.
Coordination Languages and Models [electronic resource] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1906
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.

455.
Intelligent Data Engineering and Automated Learning - IDEAL 2002 [electronic resource] : Third International Conference, Manchester, UK, August 12-14 Proceedings / by Series: Lecture Notes in Computer Science ; 2412
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.

456.
Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2634
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.

457.
Human Computer Interaction with Mobile Devices [electronic resource] : 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18–20, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2411
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.

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

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

460.
Software Engineering for Large-Scale Multi-Agent Systems [electronic resource] : Research Issues and Practical Applications / by Series: Lecture Notes in Computer Science ; 2603
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