1 |
![Accuracy Verification Methods: Theory and Algorithms Accuracy Verification Methods: Theory and Algorithms](Cover.cls?type=cover&isbn=9789400775817&size=100) |
Accuracy Verification Methods: Theory and Algorithms [E-Book]
|
Mali, Olli
|
2014 |
|
.
|
2 |
![Adaptive Scalarization Methods in Multiobjective Optimization Adaptive Scalarization Methods in Multiobjective Optimization](Cover.cls?type=cover&isbn=9783540791591&size=100) |
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 Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry: 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers](Cover.cls?type=cover&isbn=9783319577111&size=100) |
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 Adventures in Computer Science: From Classical Bits to Quantum Bits](Cover.cls?type=cover&isbn=9783319648071&size=100) |
Adventures in Computer Science: From Classical Bits to Quantum Bits [E-Book]
|
Moret-Bonillo, Vicente
|
2017 |
|
.
|
5 |
![Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen](Cover.cls?type=cover&isbn=9783827428042&size=100) |
Algorithmen und Datenstrukturen [E-Book]
|
Ottmann, Thomas
|
2012 |
|
.
|
6 |
![Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen](Cover.cls?type=cover&isbn=9783540276197&size=100) |
Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen [E-Book]
|
|
2005 |
|
.
|
7 |
![Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen](Cover.cls?type=cover&isbn=9783658377113&size=100) |
Algorithmische Geometrie: Grundlagen, Methoden, Anwendungen [E-Book]
|
Klein, Rolf
|
2022 |
|
.
|
8 |
![Analysis für Informatiker: Grundlagen, Methoden, Algorithmen Analysis für Informatiker: Grundlagen, Methoden, Algorithmen](Cover.cls?type=cover&isbn=9783540275640&size=100) |
Analysis für Informatiker: Grundlagen, Methoden, Algorithmen [E-Book]
|
|
2005 |
|
.
|
9 |
![Analysis für Informatiker: Grundlagen, Methoden, Algorithmen Analysis für Informatiker: Grundlagen, Methoden, Algorithmen](Cover.cls?type=cover&isbn=9783540898238&size=100) |
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 Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319614281&size=100) |
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 Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319578613&size=100) |
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 Approximationsalgorithmen: Eine Einführung](Cover.cls?type=cover&isbn=9783835190672&size=100) |
Approximationsalgorithmen: Eine Einführung [E-Book]
|
|
2006 |
|
.
|
13 |
![Automatentheorie und Logik Automatentheorie und Logik](Cover.cls?type=cover&isbn=9783642180903&size=100) |
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
14 |
![Basiswissen Analysis: Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool Basiswissen Analysis: Eine Einführung mit Aufgaben, Lösungen, Selbsttests und interaktivem Online-Tool](Cover.cls?type=cover&isbn=9783658299224&size=100) |
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 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](Cover.cls?type=cover&isbn=9783319597737&size=100) |
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 ¬The¬ Brain: Fuzzy Arithmetic to Quantum Computing](Cover.cls?type=cover&isbn=9783540323570&size=100) |
¬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 Cellular Automata and Discrete Complex Systems: 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319586311&size=100) |
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 Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM](Cover.cls?type=cover&isbn=9789819968596&size=100) |
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 Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319663968&size=100) |
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 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II](Cover.cls?type=cover&isbn=9783319633909&size=100) |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500255520
|
.
|