Zobrazuji výsledky
1 - 19
z
19
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
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
NOT
softwarové inženýrství
NOT
software
PSH:
NOT
překladače
Autor:
NOT
Bishop, J. M. (Judith Mary), 1951-
Žánr:
sborníky
Zrušit filtry
Zobrazit filtry (7)
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
NOT
softwarové inženýrství
NOT
software
PSH:
NOT
překladače
Autor:
NOT
Bishop, J. M. (Judith Mary), 1951-
Žánr:
sborníky
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
programování
8
informatika
2
matematická logika
2
algoritmizace
1
architektura výpočetních systémů
1
bezdrátová komunikace
1
více ...
databáze
1
databázové systémy
1
formální jazyky
1
hardware
1
logické programování
1
mobilní komunikace
1
mobilní telefony
1
počítače
1
počítačové modelování
1
sémantika programovacích jazyků
1
sítě peer-to-peer
1
umělá inteligence
1
méně ...
Zobrazuji výsledky
1 - 19
z
19
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Ada in Europe : Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
CASL reference manual : the complete documentation of the common algebraic specification language
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Programming languages: implementations, logics and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Implementation of functional languages : 8th international workshop, IFL '96, Bad Godesberg, Germany, September 16-18, 1996. Selected papers
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages, implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programming languages in education,...
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Coordination languages and models : Second international conference, Coordination '97, Berlin, Germany, September 1-3, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Coordination languages and models : First international conference, Coordination '96, Cesena, Italy, April 15-17, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming Languages: Implementations, Logics, and Programs : 8th international symposium, PLILP'96, Aachen, Germany, September 24-27, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
ESOP 1998 : Programming languages and systems. 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, E...
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Database programming languages : 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997. Proceedings
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Implementation of functional languages : 9th international workshop, IFL '97, St. Andrews, Scotland, UK, September 10-12, 1997. Selected papers
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic-based program synthesis and transformation : 8th international workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Ams...
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000,...
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mobile phone programming and its application to wireless networking
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
High-level synthesis from algorithm to digital circuit
Vydáno:
2008
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
On Conceptual Modelling : perspectives from artificial intelligence, databases, and programming languages
Vydáno:
1986
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Time for cerification : essays in memory of Amir Pnueli
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
19
NTK
Médium
17
Kniha
2
E-kniha
Signatura
15
Q - Věda
1
T - Technologie
Autor
3
Swierstra, S. Doaitse
2
Hankin, Chris, 1954-
2
Kuchen, Herbert, 1958-
2
SpringerLink (online služba)
1
Achten, Peter
1
Brodie, Michael L., 1948-
více ...
1
Ciancarini, Paolo, 1959-
1
Clack, Chris
1
Cluet, Sophie
1
Coussy, Philippe
1
Davie, A. J. T. (Antony J. T.), 1939-
1
Fitzek, Frank H. P.
1
Flener, Pierre
1
Garlan, David
1
Glaser, Hugh
1
Hammond, Kevin, 1962-
1
Hartel, Pieter H. (Pieter Hendrik), 1953-
1
Hermenegildo, Manuel de, 1959-
1
Hull, Rick
1
Kluge, Werner
1
Koopman, Pieter
1
Manna, Zohar, 1939-2018
1
Morawiec, Adam
1
Mosses, Peter D., 1948-
1
Mylopoulos, John, 1943-
1
Métayer, Daniel Le
1
Peled, Doron A., 1962-
1
Reichert, Frank
1
Schmidt, Joachim W., 1941-
1
Smolka, Gert
Zobrazit vše ...
méně ...
Jazyk
19
angličtina
Žánr
sborníky
3
elektronicke knihy
1
eseje
Rok vydání
Od:
do:
PSH
19
programovací jazyky
8
programování
2
informatika
2
matematická logika
1
algoritmizace
1
architektura výpočetních systémů
více ...
1
bezdrátová komunikace
1
databázové systémy
1
formální jazyky
1
hardware
1
logické programování
1
mobilní komunikace
1
mobilní telefony
1
počítače
1
počítačové modelování
1
sémantika programovacích jazyků
1
sítě peer-to-peer
1
umělá inteligence
Zobrazit vše ...
méně ...
×
Načítá se...