Your search returned 15 results.

Sort
Results
1.
2.
3.
Applications of Evolutionary Computation [electronic resource] : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11454
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.

4.
Guide to Discrete Mathematics [electronic resource] : An Accessible Introduction to the History, Theory, Logic and Applications / by Series: Texts in Computer Science
Edition: 2nd ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

5.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4644
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

6.
7.
8.
Transactions on Computational Science XXIV [electronic resource] : Special Issue on Reversible Computing / by Series: Transactions on Computational Science ; 8911
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

9.
Fundamentals of Logic and Computation [electronic resource] : With Practical Automated Reasoning and Verification / by Series: Texts in Computer Science
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

10.
Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Series: Theoretical Computer Science and General Issues ; 7686
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

11.
12.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2862
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.

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