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