IS Management Handbook
Brown, Carol V.; Topi, Heikki;
73 384 HUF
58 708 HUF
Practical SCADA for Industry
Bailey, David; Wright, Edwin;
25 854 HUF
20 683 HUF
The Hacker's Handbook: The Strategy Behind Breaking into and Defending Networks
Young, Susan; Aitel, Dave;
63 262 HUF
50 610 HUF
Knowledge Representation, Reasoning and Declarative Problem Solving
Baral, Chitta;
70 854 HUF
56 683 HUF
Finite Markov Chains and Algorithmic Applications
Häggström, Olle;
19 231 HUF
15 385 HUF
Term Rewriting and All That
Baader, Franz; Nipkow, Tobias;
26 823 HUF
21 459 HUF
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Tourlakis, George;
55 671 HUF
44 537 HUF
Term Rewriting Systems
Terese;
102 738 HUF
82 191 HUF
Higher Order Logic and Hardware Verification
Melham, T. F.;
Categories and Computer Science
Walters, R. F. C.;
21 256 HUF
17 005 HUF
Computation with Finitely Presented Groups
Sims, Charles C.;
81 482 HUF
65 186 HUF
Logic and Computation: Interactive Proof with Cambridge LCF
Paulson, Lawrence C.;
26 317 HUF
21 054 HUF
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Aczel, Peter; Simmons, Harold; Wainer, Stanley S.; (ed.)
57 695 HUF
46 156 HUF
Systemic Text Generation as Problem Solving
Patten, Terry;
Computation and Automata
Salomaa, Arto;
67 817 HUF
54 254 HUF
The Discrepancy Method: Randomness and Complexity
Chazelle, Bernard;
28 341 HUF
22 673 HUF
Foundations of Computational Mathematics
Devore, Ronald; Iserles, Arieh; Süli, Endre; (ed.)
31 884 HUF
25 507 HUF
Combinatorial Species and Tree-like Structures
Bergeron, François; Labelle, Gilbert; Leroux, Pierre;
88 061 HUF
70 449 HUF
Information Flow: The Logic of Distributed Systems
Barwise, Jon; Seligman, Jerry;
34 920 HUF
27 937 HUF
Metamathematics, Machines and Gödel's Proof
Shankar, N.;
22 774 HUF
18 220 HUF
Attention! 0 copies of this item are already in your shopping basket. Would you like to increase the number of copies?
