Zobrazuji výsledky
81 - 100
z
449
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
encyklopedie
AND
elektronicke knihy
PSH:
programovací jazyky
NOT
systémy řízení báze dat
Autor:
NOT
Dastani, Mehdi
Doporučená témata:
NOT
počítačová bezpečnost
NOT
počítače
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
encyklopedie
AND
elektronicke knihy
PSH:
programovací jazyky
NOT
systémy řízení báze dat
Autor:
NOT
Dastani, Mehdi
Doporučená témata:
NOT
počítačová bezpečnost
NOT
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í:
programovací jazyky
449
informatika
399
softwarové inženýrství
359
programování
253
matematická logika
176
umělá inteligence
92
podnikové informační systémy
65
více ...
operační systémy
54
algoritmizace
49
počítačová simulace
29
aplikační programy
9
software
8
hardware
7
mikroprocesory
7
UML
6
objektově orientované programování
6
programovací jazyk Python
6
vyhledávání v datech
6
formální jazyky
5
aplikační software
4
architektura výpočetních systémů
4
informační systémy
4
numerická analýza
4
programovací jazyk Java
4
robotika
4
tvorba webových stránek
4
webové programování
4
Apple iOS (operační systém)
3
matematická statistika
3
počítačová grafika
3
méně ...
Zobrazuji výsledky
81 - 100
z
449
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
Using and improving OpenMP for devices, tasks, and more : 10th international workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
AI 2008: advances in artificial intelligence : 21st Australasian joint conference on artificial intelligence Auckland, New Zealand, December 1-5, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematics of program construction : 11th international conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and software engineering : 13th International conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and Practice of Constraint Programming - CP 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-Based Methodologies for Pervasive and Embedded Software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[23]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
448
NTK
Médium
442
E-kniha
7
Kniha
Signatura
26
Q - Věda
1
T - Technologie
Autor
420
SpringerLink (online služba)
13
ProQuest Ebook Central (online služba)
8
Boer, Frank S. de
6
Bonsangue, Marcello M
5
Bernardo, Marco
5
Crnkovic, Ivica
více ...
5
Horváth, Zoltán
4
Aksit, Mehmet
4
Beckert, Bernhard
4
Havelund, Klaus
4
Lämmel, Ralf
4
Núñez, Manuel
4
Rashid, Awais
4
Voronkov, Andrei, 1959-
4
Zsók, Viktória
3
Baldoni, Matteo
3
Barthe, Gilles
3
Butler, Michael
3
Butterfield, Andrew
3
Cambridge University Press
3
Cook, Byron
3
Fages, François
3
Giannakopoulou, Dimitra
3
Giese, Holger
3
Graf, Susanne
3
Gschwind, Thomas
3
Haugen, Øystein
3
Hölzl, Matthias
3
Leavens, Gary T
3
Majumdar, Rupak
Zobrazit vše ...
méně ...
Jazyk
449
angličtina
Žánr
elektronicke knihy
74
sborníky konferencí
32
příručky
4
monografie
4
sborníky
1
kolektivní monografie
více ...
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
programovací jazyky
399
informatika
359
softwarové inženýrství
253
programování
176
matematická logika
92
umělá inteligence
více ...
65
podnikové informační systémy
54
operační systémy
49
algoritmizace
29
počítačová simulace
9
aplikační programy
8
software
7
hardware
7
mikroprocesory
6
UML
6
objektově orientované programování
6
programovací jazyk Python
6
vyhledávání v datech
5
formální jazyky
4
architektura výpočetních systémů
4
informační systémy
4
numerická analýza
4
programovací jazyk Java
4
robotika
4
tvorba webových stránek
4
webové programování
3
matematická statistika
3
počítačová grafika
3
strojová lingvistika
3
technika
Zobrazit vše ...
méně ...
×
Načítá se...