1 |
|
Accuracy Verification Methods: Theory and Algorithms [E-Book]
|
Mali, Olli
|
2014 |
|
.
|
2 |
|
Adaptive Scalarization Methods in Multiobjective Optimization [E-Book]
|
Eichfelder, Gabriele
|
2008 |
|
.
|
3 |
|
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry: 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
|
.
|
4 |
|
Adventures in Computer Science: From Classical Bits to Quantum Bits [E-Book]
|
Moret-Bonillo, Vicente
|
2017 |
|
.
|
5 |
|
Algorithmen und Datenstrukturen [E-Book]
|
Ottmann, Thomas
|
2012 |
|
.
|
6 |
|
Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen [E-Book]
|
|
2005 |
|
.
|
7 |
|
Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen [E-Book]
|
Klein, Rolf
|
2022 |
|
.
|
8 |
|
Analysis für Informatiker: Grundlagen, Methoden, Algorithmen [E-Book]
|
|
2005 |
|
.
|
9 |
|
Analysis für Informatiker: Grundlagen, Methoden, Algorithmen [E-Book]
|
|
2009 |
|
.
|
10 |
|
Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings [E-Book]
|
|
2017 |
500255487
|
.
|
11 |
|
Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [E-Book]
|
|
2017 |
500254547
|
.
|
12 |
|
Approximationsalgorithmen: Eine Einführung [E-Book]
|
|
2006 |
|
.
|
13 |
|
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
14 |
|
Basiswissen Analysis: Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool [E-Book]
|
Lenze, Burkhard
|
2020 |
|
.
|
15 |
|
Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500254588
|
.
|
16 |
|
¬The¬ Brain: Fuzzy Arithmetic to Quantum Computing [E-Book]
|
|
2005 |
|
.
|
17 |
|
Cellular Automata and Discrete Complex Systems: 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings [E-Book]
|
|
2017 |
500252450
|
.
|
18 |
|
Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM [E-Book]
|
Davidrajuh, Reggie
|
2023 |
|
.
|
19 |
|
Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256221
|
.
|
20 |
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500255520
|
.
|