Refine your search

Your search returned 3356 results.

Sort
Results
2761.
Unifying Petri Nets [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 2128
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.

2762.
Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2623
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.

2763.
Evolutionary Programming VI [electronic resource] : 6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1213
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.

2764.
2765.
Algorithms - ESA 2001 [electronic resource] : 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2161
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.

2766.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2884
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.

2767.
High-Performance Computing and Networking [electronic resource] : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8-10, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1823
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.

2768.
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : Second International Workshop, EMMCVPR'99, York, UK, July 26-29, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1654
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.

2769.
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools [electronic resource] : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2185
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.

2770.
Correct Hardware Design and Verification Methods [electronic resource] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1703
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.

2771.
Inductive Logic Programming [electronic resource] : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2157
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.

2772.
2773.
Intelligent Memory Systems [electronic resource] : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers / by Series: Lecture Notes in Computer Science ; 2107
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.

2774.
Logic Program Synthesis and Transformation [electronic resource] : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1463
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.

2775.
Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1324
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.

2776.
Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / by Series: Lecture Notes in Artificial Intelligence ; 2636
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.

2777.
Randomness and Completeness in Computational Complexity [electronic resource] / by Series: Lecture Notes in Computer Science ; 1950
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.

2778.
Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Series: Lecture Notes in Computer Science ; 2002
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.

2779.
Implementation and Application of Automata [electronic resource] : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2608
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.

2780.
Distributed Computing [electronic resource] : 14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1914
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.

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