Zobrazuji výsledky
1 - 18
z
18
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
Jazyk:
angličtina
NOT
turečtina
Autor:
Broy, Manfred, 1949-
Zrušit filtry
Zobrazit filtry (3)
Jazyk:
angličtina
NOT
turečtina
Autor:
Broy, Manfred, 1949-
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í:
softwarové inženýrství
9
informatika
7
programování
5
informační technologie
4
počítačová věda
4
software
3
počítače
2
více ...
automobilová elektronika
1
bezpečnostní zařízení automobilů
1
design
1
hardware
1
interakce člověk-počítač
1
komunikační software
1
matematické programování
1
myšlení
1
paměťová zařízení
1
počítačová simulace
1
programovací jazyky
1
simulace a modelování
1
teorie systémů
1
testy
1
vývoj softwaru
1
méně ...
Zobrazuji výsledky
1 - 18
z
18
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
KORSO: methods, languages, and tools for the construction of correct software : Final report
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal systems specification : the RPC-memory specification case study
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming and Mathematical Method : Proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990
Vydáno:
1992
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Model-based testing of reactive systems : advanced lectures
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Requirements targeting software and systems engineering : International workshop RTSE '97, Bernried, Germany, October 12-14, 1997. Proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal Methods in Programming and Their Applications : Proceedings
Vydáno:
1993
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Methods of programming : Selected papers on the CIP-project
Vydáno:
1991
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Design thinking for software engineering : creating human-oriented software-intensive products and services
Vydáno:
2022
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany,...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-Based Testing of Reactive Systems : Advanced Lectures
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automotive Software - Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automotive software : connected services in mobile networks : first automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Perspectives of system informatics : 5th Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Perspectives of system informatics : 4th Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Perspectives of system informatics : second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
18
NTK
Médium
13
Kniha
5
E-kniha
Signatura
14
Q - Věda
1
T - Technologie
Autor
Broy, Manfred, 1949-
5
SpringerLink (online služba)
4
Bjørner, Dines, 1937-
3
Krüger, Ingolf H.
3
Meisinger, Michael
3
Zamulin, Aleksandr Vasiljevič
více ...
2
Pottosin, Igor V.
1
Achatz, Reinhold
1
Brenner, Walter, 1958-
1
Gruenbauer, Johannes
1
Harel, David, 1950-
1
Hehn, Jennifer, 1984-
1
Hoare, C. A. R. (Charles Antony Richard), 1934-
1
Hönninger, Harald
1
Jonsson, Bengt
1
Jähnichen, Stefan
1
Katoen, Joost-Pieter, 1964-
1
Leucker, Martin
1
Mendez, Daniel
1
Merz, Stephan
1
Pohl, Klaus, 1960-
1
Pretschner, Alexander
1
Rumpe, Bernhard
1
Spies, Katharina
1
Wirsing, Martin, 1948-
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
6
sborníky konferencí
5
elektronicke knihy
4
sborníky
1
kolektivní monografie
Rok vydání
Od:
do:
PSH
9
softwarové inženýrství
7
informatika
5
programování
3
software
2
počítače
1
automobilová elektronika
více ...
1
bezpečnostní zařízení automobilů
1
design
1
hardware
1
komunikační software
1
matematické programování
1
paměťová zařízení
1
počítačová simulace
1
programovací jazyky
1
simulace a modelování
1
teorie systémů
1
testy
1
vývoj softwaru
Zobrazit vše ...
méně ...
×
Načítá se...