Ewa Orlowska on Relational Methods in Logic and Computer Science
9
%
2827 Kč 3 111 Kč
Sleva až 70% u třetiny knih
Orlowska made significant contributions to many fields of logic, such as proof theory, algebraic methods in logic and knowledge representation, and her work has been published in 3 monographs and over 100 articles in internationally acclaimed journals and conference proceedings.
| Nakladatel: | Springer International Publishing AG |
| ISBN: | 9783319978789 |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 502 |
Mohlo by se vám také líbit..
-
Učebnice jazyka C 1.díl 6.v.
Pavel Herout
-
Učebnice jazyka Java 5.v.
Pavel Herout
-
Učebnice jazyka C 2.díl
Pavel Herout
-
Clean Coder
Martin, Robert C.
-
The Clean Coder
Martin, Robert C.
-
Essential Scrum
Rubin, Kenneth S.
-
C Programming Language
Kernighan, Brian W.
-
Design Patterns
Gamma, Erich
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Numerical Recipes
Press, William H.
-
Think Like a Programmer
Spraul, V. Anton
-
Effektives Arbeiten mit Legacy Code
Feathers, Michael C.
-
Eye Tracking Methodology
Duchowski, Andrew T.
-
Future Telco
-
IT Management in the Digital Age
Urbach, Nils
-
Designing with Xilinx (R) FPGAs
