Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Nonsequential and Distributed Programming with Go: Synchronization of Concurrent Processes: Communication - Cooperation - Competition
|
EDV / Informatik |
76.00 |
|
Buch |
Sprache:
Englisch / Autor: Christian Maurer / Einband: Kartoniert |
|
|
|
|
|
Neural Approaches to Dynamics of Signal Exchanges
|
Naturwissensch., Medizin, Technik |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Answer Set Programming
|
EDV / Informatik |
83.00 |
|
Buch |
Sprache:
Englisch / Autor: Vladimir Lifschitz / Einband: Gebunden |
|
|
|
|
|
Joint Training for Neural Machine Translation
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Yong Cheng / Einband: Gebunden |
|
|
|
|
|
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
|
EDV / Informatik |
113.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27¿29, 2019, Proceeding
|
Schulbücher |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Combinatorics on Words: 12th International Conference, WORDS 2019, Loughborough, UK, September 9¿13, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Representation Theorems in Computer Science: A Treatment in Logic Engineering
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Autor: Özgür Lütfü Özçep / Einband: Gebunden |
|
|
|
|
|
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Developments in Language Theory: 23rd International Conference, DLT 2019, Warsaw, Poland, August 5¿9, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Larisa Maksimova on Implication, Interpolation, and Definability
|
Philosophie |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
String Analysis for Software Verification and Security
|
EDV / Informatik |
107.00 |
|
Buch |
Sprache:
Englisch / Autor: Tevfik Bultan / Einband: Kartoniert |
|
|
|
|
|
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th In
|
EDV / Informatik |
89.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Algebraic Informatics: 8th International Conference, CAI 2019, Ni¿, Serbia, June 30¿July 4, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Cellular Automata and Discrete Complex Systems: 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26¿28, 2019, Proceed
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7¿11, 2019, Proceedings
|
EDV / Informatik |
132.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Unconventional Computation and Natural Computation: 18th International Conference, UCNC 2019, Tokyo, Japan, June 3¿7, 2019, Proceedings
|
EDV / Informatik |
81.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
The 2-tuple Linguistic Model: Computing with Words in Decision Making
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Francisco Herrera / Einband: Kartoniert |
|
|
|
| / 26 |