Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Texts & Monographs in Symbolic Computation Autor Wolfgang Schreiner 12 apr 2023 Hardback Preț: 489.72 lei 612.15 lei 6-8 săpt. -20%
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions Texts & Monographs in Symbolic Computation Autor Wolfgang Schreiner 24 oct 2022 Paperback Preț: 470.88 lei 553.98 lei 6-8 săpt. -15%
Hagenberg Research Editat de Bruno Buchberger et al. 17 iun 2009 Hardback Preț: 962.28 lei 1202.85 lei 6-8 săpt. -20%
Göttliches Spiel Autor Wolfgang Schreiner 12 oct 2013 Paperback Preț: 212.55 lei Indisponibil temporar
Zungendiagnose in der chinesischen Medizin Autor Giovanni Maciocia et al. 31 dec 1995 Hardback Preț: 240.50 lei 253.16 lei Indisponibil temporar -5%
Akupunktur, Triggerpunkte und muskoskelettale Schmerzen Autor Peter E. Baldry et al. 1996 Hardback Preț: 341.69 lei 359.68 lei Indisponibil temporar -5%