Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
From Computational Logic to Computational Biology: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
|
Schulbücher |
90.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
|
EDV / Informatik |
55.90 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
|
EDV / Informatik |
103.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
|
EDV / Informatik |
90.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Logic in Computer Science
|
EDV / Informatik |
90.00 |
|
| Buch |
Sprache:
Englisch / Autor: Hantao Zhang / Einband: Kartoniert |
|
|
|
|
 |
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21,
|
EDV / Informatik |
55.90 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Decision Procedures: An Algorithmic Point of View
|
EDV / Informatik |
83.00 |
|
| Buch |
Sprache:
Englisch / Autor: Daniel Kroening / Einband: Kartoniert |
|
|
|
|
 |
Reachability Problems: 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
|
EDV / Informatik |
90.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 1 |
Newsfeed | 
Facebook | 
Twitter
