Discovering formal logic. /
Formal development of programs and proofs. /
Formální logika v umělé inteligenci /
Logické postupy při práci s vynálezy, vzory a označeními /
Formální a transcendentální logika /
Základy dialektickej a formálnej logiky /
Pojmopis : formulovaný jazyk čistého myšlení po vzoru formulovaného jazyka aritmetiky /
The logical basis for computer programming. Volume 2., Deductive systems. /
Logic : key concepts in philosophy /
Informal logic. /
A concise introduction to logic. /
Fuzzy Logic : Einfűhrung in Theorie und Anwendungen /
Philosophy of logic /
Ancient formal logic.
Handbook of the history of logic. Volume 1, Greek, Indian and Arabic logic /
Handbook of the history of logic. Volume 5, Logic from Russell to church /
Handbok of the history of logic. Volume 7 / Logic and the modalities in the twentieth century
Od jazyka k logice : filozofický úvod do moderní logiky /
Reports on mathematical logic. /
Logic and structure. /
Základy matematiky, logiky a statistiky pro sociologii a ostatní společenské vědy v příkladech /
Význam, sémantika, Wittgenstein /
Proof and disproof in formal logic : an introduction for programmers /
HTML5 : programujeme moderní webové aplikace /
Microsoft windows 8 SK : podrobná uživateľská príručka /
Programujeme hry pro Android 4 /
jQuery pro neprogramátory : průvodce využitím knihovny jQuery UI /
Programátorská cvičebnice : [algoritmy v příkladech] /
HTML5 a CSS3 : výukový kurz webového vývojáře /
Optimalizácia NC programovania /
Vytváříme mobilní web a aplikace pro chytré telefony a tablety /
Programovací jazyk C /
Vývojářův kód : [poučte se z chyb jiných : pro všechny (pracující s) programatátory] /
Programování pro děti : naučte se programovat při tvorbě skvělých her /
Modelovanie a generovanie softvérových architektúr /
Zend Framework : programujeme webové aplikace v PHP /
Programujeme mobilní aplikace ve Visual Studiu .NET /
jQuery Mobile /
C# 3.0 : programování na platformě .NET 3.5 /
Programování mikroprocesorů : praktický návod nejen pro mikroprocesory PIC : [poznejte svět mikroprocesorů na praktických příkladech] /
CNC machines programming, computer aided manufacturing : internal textbooks /
Programujeme pro Android /
Programování v Excelu 2010 & 2013 : záznam, úprava a programování maker /