Proof and disproof in formal logic : an introduction for programmers /
Formal foundations of correct programming. /
Formal description of programming concepts. /
Hacker Proof. : Váš počítač, vaše síť a vaše připojení na Internet. Je to opravdu bezpečné? /
Proof /
High-performance computing and networking. : International Conference and exhibition Munich, Germany, April 18-20, 1994 Proceedings. Volume 1: Applications. /
Princípy základného počítača. /
The burden of proof /
Počítače a programovanie : viac ako 100 okienok na odklopenie /
Pozri sa ako fungujú počítače : viac ako 70 okienok /
Programmierung und Lösung von Aufgaben auf den transistorisierten Analogrechnern MEDA-T /
Linear and nonlinear programming /
Proof theory : the first step into impredicativity /
Obrazce v kameni. : Jednoduché vysvetlenie toho, ako pracujú počítače. /
McGraw-Hill personal computer programming encyclopedia : languages and operating systems /
Parallel programming /
Formale Logik /
Základy počítačov a programovania. : Učebný text. /
Strukturnoje programmirovanije /
Formal development of programs and proofs. /