Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav pro českou literaturu
Ústav dějin umění
Ústav fyziky atmosféry
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. H.
Ústav fyziky materiálů
Ústav geoniky
Ústav pro hydrodynamiku
Ústav chemických procesů
Ústav informatiky
Ústav pro jazyk český
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Ústav výzkumu globální změny
×
Všechna pole
Název
Autor
Hledat
Pokročilé vyhledávání
Zahrnout EIZ
Zachovat současné nastavení filtrů
EXPAND:"fulltext"
Domovská stránka
Vyhledávání: "Programming languages (Electronic computers)-Congresses"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
48
pro vyhledávání:
'"Programming languages (Electronic computers)-Congresses"'
Řazení
od nejnovějšího
Podle data vzestupně
podle relevance
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Kniha
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. [elektronicky zdroj]
Autor:
Hermenegildo, Manuel V.
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 2
2
Kniha
Computer Safety, Reliability, and Security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. [elektronicky zdroj]
Autor:
Guiochet, Jérémie
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 3
3
Kniha
Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. [elektronicky zdroj]
Autor:
Singh, Gagandeep
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 4
4
Kniha
Programming Languages and Systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. [elektronicky zdroj]
Autor:
Sergey, Ilya
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 5
5
Kniha
Software Technologies : 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers. [elektronicky zdroj]
Autor:
Fill, Hans-Georg
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 6
6
Kniha
Languages and Compilers for Parallel Computing : 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, Revised Selected Papers. [elektronicky zdroj]
Autor:
Pande, Santosh
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 7
7
Kniha
OpenMP : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings. [elektronicky zdroj]
Autor:
Fan, Xing
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 8
8
Kniha
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. [elektronicky zdroj]
Autor:
Chang, Bor-Yuh Evan
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 9
9
Kniha
Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings. [elektronicky zdroj]
Autor:
Castor, Fernando
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 10
10
Kniha
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers. [elektronicky zdroj]
Autor:
Sierra-Rodríguez, José-Luis
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
Poslat e-mailem
Upřesnit hledání
Omezení vyhledávání
Plný text
Recenzováno
Digitální knihovna AV ČR
Zdroje
Pouze tištěné dokumenty
Zahrnout EIZ
Typ dokumentu
32
Elektronické knihy
23
Knihy
23
Electronic Resources
1
Konferenční materiály
Předmět
32
programming languages (electronic computers)--congresses
23
electronic books
12
programming languages (electronic computers)-congresses
10
computer programming--congresses
4
compilers (computer programs)--congresses
4
parallel processing (electronic computers)--congresses
3
computer programming-congresses
3
declarative programming--congresses
3
programming languages (electronic computers)-congresses.
2
database management--congresses
2
distributed artificial intelligence--congresses
2
intelligent agents (computer software)
2
intelligent agents (computer software)--congresses
2
software engineering-congresses
1
artificial intelligence -- congresses
1
artificial intelligence--congresses
1
computer logic-congresses
1
computer programming-congresses.
1
computer science--congresses
1
computer security-congresses
1
electronic data processing--congresses
1
electronic digital computers--congresses
1
formal languages-congresses
1
generative programming (computer science)--congresses
1
high performance computing--congresses
1
information storage and retrieval systems -- congresses
1
information storage and retrieval systems--congresses
1
knowledge representation (information theory)--congresses
1
logic programming--congresses
1
natural language processing (computer science)
1
parallel processing (electronic computers)-congresses
1
parallel programming (computer science)-congresses
1
parallel programming (computer science)--congresses
1
programming languages (electronic computers)
1
python (computer program language)--juvenile literature
1
software engineering
1
system analysis-congresses
Vydavatel
27
springer
7
springer berlin heidelberg
7
springer international publishing ag
4
springer berlin / heidelberg
2
academic press
1
packt publishing
Zdroj
23
Vybrané kolekce e-knih
17
eBook Index
8
eBook Collection (EBSCOhost)
Rok vydání
Od:
do:
×
načítá se......
