Your search returned 224 results.

Sort
Results
21.
Cellular Automata and Discrete Complex Systems [electronic resource] : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11525
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

22.
Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3142
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.

23.
24.
Theoretical Computer Science [electronic resource] : Essays in Memory of Shimon Even / by Series: Theoretical Computer Science and General Issues ; 3895
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

25.
26.
27.
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5165
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

28.
Integer Programming and Combinatorial Optimization [electronic resource] : 4th International IPCO Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings / by Series: Lecture Notes in Computer Science ; 920
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

29.
A Collection of Test Problems for Constrained Global Optimization Algorithms [electronic resource] / by Series: Lecture Notes in Computer Science ; 455
Edition: 1st ed. 1990.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook
Availability: No items available.

30.
Visualization of Scientific Parallel Programs [electronic resource] / by Series: Lecture Notes in Computer Science ; 771
Edition: 1st ed. 1994.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook
Availability: No items available.

31.
Computational Science - ICCS 2002 [electronic resource] : International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 2329
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.

32.
Integrating Symbolic Mathematical Computation and Artificial Intelligence [electronic resource] : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers / by Series: Lecture Notes in Computer Science ; 958
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

33.
Euro-Par'96 - Parallel Processing [electronic resource] : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II / by Series: Lecture Notes in Computer Science ; 1124
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

34.
35.
36.
37.
Evolutionary Multi-Criterion Optimization [electronic resource] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5467
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

38.
Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10491
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

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

Powered by Koha