Refine your search

Your search returned 10963 results.

Sort
Results
10781.
Advanced Information Systems Engineering [electronic resource] : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1789
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.

10782.
Software and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2826
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.

10783.
Selected Areas in Cryptography [electronic resource] : 9th Annual International Workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2595
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.

10784.
Handheld and Ubiquitous Computing [electronic resource] : Second International Symposium, HUC 2000 Bristol, UK, September 25–27, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1927
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.

10785.
Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2410
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.

10786.
Computer Vision - ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2350
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.

10787.
Implementation and Application of Automata [electronic resource] : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers / by Series: Lecture Notes in Computer Science ; 2088
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.

10788.
Workflow Management Systems for Process Organisations [electronic resource] / by Series: Lecture Notes in Computer Science ; 1096
Edition: 2nd 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.

10789.
Principles of Data Mining and Knowledge Discovery [electronic resource] : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19–23, 2002, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2431
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.

10790.
Graph Based Representations in Pattern Recognition [electronic resource] : 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2726
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.

10791.
Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2847
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.

10792.
Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1985
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.

10793.
Reliable Software Technologies - Ada-Europe '98 [electronic resource] : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1411
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.

10794.
10795.
Automated Deduction in Geometry [electronic resource] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2061
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.

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

10797.
Software Frameworks and Embedded Control Systems [electronic resource] / by Series: Lecture Notes in Computer Science ; 2231
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.

10798.
Embedded Processor Design Challenges [electronic resource] : Systems, Architectures, Modeling, and Simulation - SAMOS / by Series: Lecture Notes in Computer Science ; 2268
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.

10799.
10800.
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2000 [electronic resource] : Third International Conference Pittsburgh, PA, USA, October 11-14, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1935
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