Refine your search

Your search returned 2786 results.

Sort
Results
2681.
CONCUR 2004 -- Concurrency Theory [electronic resource] : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3170
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.

2682.
Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1945
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.

2683.
Computational Learning Theory [electronic resource] : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2375
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.

2684.
Architecting Dependable Systems [electronic resource] / by Series: Lecture Notes in Computer Science ; 2677
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.

2685.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2880
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.

2686.
Evolutionary Robotics. From Intelligent Robotics to Artificial Life [electronic resource] : International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2217
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.

2687.
Integer Programming and Combinatorial Optimization [electronic resource] : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2337
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.

2688.
Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 3173
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.

2689.
SOFSEM '98: Theory and Practice of Informatics [electronic resource] : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1521
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.

2690.
Algorithms - ESA '97 [electronic resource] : 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1284
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.

2691.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2294
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.

2692.
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2104
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.

2693.
Typed Lambda Calculi and Applications [electronic resource] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1210
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.

2694.
Approximation Algorithms for Combinatorial Optimization [electronic resource] : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2462
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.

2695.
Mathematics of Program Construction [electronic resource] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1422
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.

2696.
Algorithmic Number Theory [electronic resource] : Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1423
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.

2697.
Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1795
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.

2698.
Genetic Programming [electronic resource] : Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1598
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.

2699.
Foundations and Tools for Neural Modeling [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume I / by Series: Lecture Notes in Computer Science ; 1606
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.

2700.
SOFSEM '97: Theory and Practice of Informatics [electronic resource] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1338
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.

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