Zobrazuji výsledky
1 - 20
z
147
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Žánr:
NOT
biografie
Doporučená témata:
NOT
simulace a modelování
NOT
konstrukce
AND
programovací jazyky
Oblast:
NOT
Slovensko
PSH:
NOT
programování
AND
počítače
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
Doporučená témata:
NOT
simulace a modelování
NOT
konstrukce
AND
programovací jazyky
Oblast:
NOT
Slovensko
PSH:
NOT
programování
AND
počítače
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
počítače
147
programovací jazyky
informatika
135
softwarové inženýrství
110
matematická logika
67
formální jazyky
36
umělá inteligence
33
více ...
algoritmizace
28
robotika
20
operační systémy
18
podnikové informační systémy
13
software
10
distribuované informační systémy
7
programovací jazyk Java
7
internet
6
počítačová simulace
6
Petriho sítě
5
UML
5
hardware
5
mikroprocesory
5
systémy řízení báze dat
5
vestavěné systémy
5
cloud computing
4
počítačová bezpečnost
4
vyhledávání v datech
4
agenti
3
aplikační programy
3
architektura výpočetních systémů
3
diskrétní matematika
3
informační systémy
3
méně ...
Zobrazuji výsledky
1 - 20
z
147
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Computer science logic : 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Selected papers
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematica for Scientists and Engineers
Autor
Bahder, Thomas B.
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
ARM system architecture
Autor
Furber, Steve
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Modeling and using context : Second international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9-11, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science : an overview
Autor
Brookshear, J. Glenn
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer systems : digital design, fundamentals of computer architecture and assembly language
Autor
Elahi, Ata, 1950-
Vydáno:
2018
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Integrated circuit and system design. power and timing modeling, optimization and simulation : 22nd international workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 201...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging applications of formal methods, verification, and validation : 4th International symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 16th international conference, FASE 2013, held as part of the European joint conferences on theory and practice of software, ETAPS...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking software : 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
147
NTK
Médium
135
E-kniha
11
Kniha
1
Časopis
Signatura
12
Q - Věda
1
T - Technologie
Autor
135
SpringerLink (online služba)
4
Potapov, Igor
3
Margaria, Tiziana
3
Ong, Luke
3
Steffen, Bernhard
2
Bernardo, Marco, 1970-
více ...
2
Cerioli, Maura, 1964-
2
Johnsen, Einar Broch
2
Leite, João, 1970-
2
Margaria-Steffen, Tiziana, 1964-
2
Naumann, David
2
Ouaknine, Joël
2
Peña, Ricardo, 1950-
2
Sardina, Sebastian
2
Steffen, Bernhard, 1958-
2
Stenström, Per, 1957-
2
Torroni, Paolo
2
Vasconcelos, Wamberto
2
Winikoff, Michael
2
Zeller, Andreas, 1965-
1
Aalst, Wil van der, 1966-
1
Abdulla, Parosh Aziz
1
Aceto, Luca
1
Ajmone Marsan, Marco, 1951-
1
Aldini, Alessandro
1
Alfaro, Luca de
1
Araki, Keijiro
1
Arenas, Marcelo
1
Artemov, Sergei
1
Arun-Kumar, S
Zobrazit vše ...
méně ...
Jazyk
145
angličtina
2
němčina
1
čeština
Žánr
135
elektronicke knihy
81
sborníky konferencí
3
eseje
3
monografie
2
příručky
1
textbooks
více ...
1
učebnice
1
učebnice vysokých škol
1
časopisy
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
počítače
147
programovací jazyky
135
informatika
110
softwarové inženýrství
67
matematická logika
36
formální jazyky
více ...
33
umělá inteligence
28
algoritmizace
20
robotika
18
operační systémy
13
podnikové informační systémy
10
software
7
programovací jazyk Java
6
internet
6
počítačová simulace
5
Petriho sítě
5
UML
5
hardware
5
mikroprocesory
5
systémy řízení báze dat
5
vestavěné systémy
4
cloud computing
4
počítačová bezpečnost
4
vyhledávání v datech
3
agenti
3
aplikační programy
3
architektura výpočetních systémů
3
informační systémy
3
kryptografie
3
numerická analýza
Zobrazit vše ...
méně ...
×
Načítá se...