Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
|
EDV / Informatik |
113.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Provenance and Annotation of Data and Processes: 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceed
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2¿4, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Rules and Reasoning: Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18¿21, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedi
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Procee
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12,
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Evaluation of Novel Approaches to Software Engineering: 12th International Conference, ENASE 2017, Porto, Portugal, April 28¿29, 2017, Revised Selecte
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24¿26, 2017, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25¿26, 2018,
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Modelling Foundations and Applications: 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedin
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Handbook of Floating-Point Arithmetic
|
Schulbücher |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Jean-Michel Muller / Einband: Gebunden |
|
|
|
|
|
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Dirk Draheim / Einband: Kartoniert |
|
|
|
|
|
Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
|
EDV / Informatik |
58.50 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selecte
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
| / 21 | |