Zobrazuji výsledky
1 - 20
z
21
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
sborníky konferencí
PSH:
programovací jazyky
AND
programování
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 (8)
Žánr:
NOT
encyklopedie
AND
sborníky konferencí
PSH:
programovací jazyky
AND
programování
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
21
podnikové informační systémy
programovací jazyky
21
programování
21
softwarové inženýrství
21
počítače
16
operační systémy
5
více ...
počítačová simulace
5
UML
4
matematická logika
3
programovací jazyk Java
3
vestavěné systémy
3
distribuované informační systémy
2
formální jazyky
2
počítačová architektura
2
software
2
XML
1
algoritmizace
1
objektově orientované programování
1
počítačové sítě
1
programovací jazyk Ada
1
programovací jazyk C
1
programovací jazyk C++
1
robotika
1
umělá inteligence
1
méně ...
Zobrazuji výsledky
1 - 20
z
21
pro vyhledávání '
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agile processes in software engineering and extreme programming : 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Refinement techniques in software engineering : first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models in software engineering : workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
UML modeling languages and applications : «UML» 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling foundations and applications : 7th European conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
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:
Modelling autonomic communication environments : 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and practice of model transformations : second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
ECOOP 2005 - object-oriented programming : 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Object-oriented technology : ECOOP 2006 workshop reader : ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2005: formal methods : International symposium of formal methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Extreme programming and agile processes in software engineering : 6th international conference, XP 2005, Sheffield, UK, June 18-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International conference on reliable software technologies, York, UK, June 20-24, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
ECOOP 2011 - object-oriented programming : 25th european conference, Lancaster, Uk, July 25-29, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe international conference on reliable software technologies, Porto, Portugal, June 5-9, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
21
NTK
Médium
21
E-kniha
Autor
21
SpringerLink (online služba)
2
Meyer, Bertrand, 1950-
2
Nordio, Martin
2
Paige, Richard F.
1
Barbosa, Luís Soares
1
Baumeister, Hubert
více ...
1
Beckert, Bernhard
1
Black, Andrew P., 1956-
1
Bordbar, Behzad
1
Bove, Ana
1
Brennan, Rob
1
Cavalcanti, Ana
1
Chaudron, Michel R. V.
1
Concas, Giulio
1
Consel, Charles
1
Damiani, Ernesto, 1960-
1
Ernst, Erik
1
Fitzgerald, John, 1965-
1
Fleck, Joel
1
France, Robert B.
1
Gašević, Dragan, 1976-
1
González Harbour, Michael, 1960-
1
Guelfi, Nicolas, 1965-
1
Hayes, Ian, 1956-
1
Holcombe, W. M. L. (William Michael Lloyd), 1944-
1
Jardim Nunes, Nuno
1
Kuester, Jochen M.
1
Lämmel, Ralf
1
Marchesi, Michele, 1952-
1
Marché, Claude
Zobrazit vše ...
méně ...
Jazyk
21
angličtina
Žánr
21
elektronicke knihy
sborníky konferencí
Rok vydání
Od:
do:
PSH
21
informatika
21
podnikové informační systémy
programovací jazyky
programování
21
softwarové inženýrství
16
počítače
více ...
5
operační systémy
5
počítačová simulace
4
UML
3
matematická logika
3
programovací jazyk Java
3
vestavěné systémy
2
formální jazyky
2
software
1
XML
1
algoritmizace
1
objektově orientované programování
1
počítačové sítě
1
programovací jazyk Ada
1
programovací jazyk C
1
programovací jazyk C++
1
robotika
1
umělá inteligence
Zobrazit vše ...
méně ...
×
Načítá se...