Výsledky vyhledávání - počítačová věda

Preferované termíny:

lékařská informatika, zobrazování dat, počítačové metodologie, komunikace

Související termíny:

filozofie informace, informatika, počítačové vědkyně, počítačoví vědci, výpočetní technika, formální verifikace, FactOrEasy (software), GENESIS (software), hluboké učení, soft computing, kybernetika, neuroinformatika, umělá inteligence

Logic and its applications : third Indian Conference, ICLA 2009 : Chennai, India, January 7-11, 2009 : proceedings /

Vydáno 2009

Témata: '; “...počítačová věda...”

Kniha

Logic for applications /

Autor Nerode, Anil, 1932-, Shore, Richard A., 1946-
Vydáno 1997

Témata: '; “...počítačová věda...”

Kniha

Computer Science Logic : 21st International Workshop, CSL 2007 : 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Vydáno 2007

Témata: '; “...počítačová věda...”

Kniha

Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

Vydáno 2006

Témata: '; “...počítačová věda...”

Kniha

Computer Science Logic : 22nd International Workshop, CSL 2008 : 17th Annual Conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings /

Vydáno 2008

Témata: '; “...počítačová věda...”

Kniha

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers /

Vydáno 2007

Témata: '; “...počítačová věda...”

Kniha

The power of computational thinking : games, magic and puzzles to help you become a computational thinker /

Autor Curzon, Paul, McOwan, Peter W., 1962-2019
Vydáno 2017

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Klasická logika /

Autor Štěpán, Jan, 1948-
Vydáno 2001

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Knowing and the mystique of logic and rules /

Autor Naur, Peter, 1928-2016
Vydáno 1995

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Úvod do logiky a logického programování /

Autor Popelínský, Lubomír
Vydáno 2019

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”
Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

Principles of cyber-physical systems /

Autor Alur, Rajeev, 1966-
Vydáno 2015

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Categorical logic and type theory /

Autor Jacobs, Bart
Vydáno 1999

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Computational Logic : Essays in Honor of Alan Robinson /

Vydáno 1991

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. I /

Vydáno 2002

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. II /

Vydáno 2002

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Computational Logic and Proof Theory /

Vydáno 1993

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Symbolic logic and mechanical theorem proving /

Autor Chang, Chin-Liang, Lee, Richard Char-Tung
Vydáno 1973

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Computational thinking /

Autor Denning, Peter J., 1942-, Tedre, Matti, 1976-
Vydáno 2019

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milano, Italy, July 1-5, 2013 : proceedings /

Vydáno 2013

Témata: '; “...Počítačová věda. Výpočetní technika. Informační technologie...”

Kniha

Temporal logic and state systems /

Autor Kröger, Fred, 1945-, Merz, Stephan, 1963-
Vydáno 2008

Témata: '; “...počítačová věda...”

Kniha

Upřesnit hledání