Zobrazuji výsledky
21 - 40
z
101
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
PSH:
programovací jazyky
Autor:
NOT
Dastani, Mehdi
NOT
Peña, Ricardo
NOT
Barthe, Gilles
Doporučená témata:
podnikové informační systémy
Zrušit filtry
Zobrazit filtry (6)
Žánr:
NOT
encyklopedie
PSH:
programovací jazyky
Autor:
NOT
Dastani, Mehdi
NOT
Peña, Ricardo
NOT
Barthe, Gilles
Doporučená témata:
podnikové informační systémy
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í:
informatika
101
podnikové informační systémy
programovací jazyky
101
softwarové inženýrství
100
programování
46
počítače
35
počítačová simulace
30
více ...
matematická logika
12
operační systémy
11
UML
6
vestavěné systémy
6
distribuované informační systémy
5
umělá inteligence
5
formální jazyky
4
programovací jazyk Java
4
software
4
internet
3
počítačová bezpečnost
3
aplikační programy
2
elektrotechnika
2
počítačová architektura
2
robotika
2
XML
1
agenti
1
algoritmizace
1
hardware
1
interakce člověk-počítač
1
kryptografie
1
multiagentní systémy
1
objektově orientované programování
1
méně ...
Zobrazuji výsledky
21 - 40
z
101
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
Rapid integration of software engineering techniques : second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Globalizing domain-specific languages : international Dagstuhl seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software architecture : 7th European conference, ECSA 2013, Montpellier, France, July 1-5, 2013 : proceedings
Vydáno:
2013
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:
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:
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selec...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software Architecture : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental Approaches to Software Engineering : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 20...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on Aspect-Oriented Software Development IX
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and Practice of Model Transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on Aspect-Oriented Software Development II
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models in Software Engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
101
NTK
Médium
101
E-kniha
Autor
101
SpringerLink (online služba)
4
Aksit, Mehmet
4
Rashid, Awais
3
France, Robert B.
3
Johnson, Ralph
3
Kühne, Thomas
více ...
3
Paige, Richard F.
3
Zdun, Uwe
2
Avgeriou, Paris
2
Beckert, Bernhard
2
Bruel, Jean-Michel
2
Crnkovic, Ivica
2
Dingel, Juergen
2
Gray, Jeff
2
Grieskamp, Wolfgang
2
Lämmel, Ralf
2
Meyer, Bertrand, 1950-
2
Mezini, Mira, 1966-
2
Moreira, Ana
2
Nielsen, Brian
2
Noble, James
2
Nordio, Martin
2
Ober, Ileana
2
Reed, Rick
2
Schulte, Wolfram
2
Selic, Bran
2
Simao, Adenilso
2
Ulrich, Andreas
2
Weise, Carsten
2
Whittle, Jon, 1972-
Zobrazit vše ...
méně ...
Jazyk
101
angličtina
Žánr
101
elektronicke knihy
39
sborníky konferencí
3
monografie
1
přednášky
Rok vydání
Od:
do:
PSH
101
informatika
101
podnikové informační systémy
programovací jazyky
100
softwarové inženýrství
46
programování
35
počítače
více ...
30
počítačová simulace
12
matematická logika
11
operační systémy
6
UML
6
vestavěné systémy
5
umělá inteligence
4
formální jazyky
4
programovací jazyk Java
4
software
3
internet
3
počítačová bezpečnost
2
aplikační programy
2
elektrotechnika
2
robotika
1
XML
1
agenti
1
algoritmizace
1
hardware
1
interakce člověk-počítač
1
kryptografie
1
objektově orientované programování
1
počítačové sítě
1
programovací jazyk Ada
1
programovací jazyk C
Zobrazit vše ...
méně ...
×
Načítá se...