Megjelenítés:
1 - 20
/
22
- kulcsszavak: '
'
Skip to content
Előző online katalógus
Gimikatalógus
Saját polc
Kijelentkezés
Bejelentkezés
English
magyar
A könyvtárakban
Külső adatbázisokban
EBSCO adatbázisokban
Egyéb adatbázisokban
Bármely mező
Cím
Szerző
Tárgyszó
ISBN/ISSN
Címke
Böngészés betűrendben: Témakör szerint
Böngészés betűrendben: Szerző szerint
Böngészés betűrendben: Cím szerint
Bármely mező
Cím
Szerző
Tárgyszó
Bármely mező
Cím
Szerző
Tárgyszó
Folyóirat címe
Bármely mező
Cím
Szerző
Tárgyszó
Jelzet
ISBN/ISSN
Címke
Keresés
Összetett
Böngészés
Szűrők törlése
Tárgyszó:
programozási nyelvek
AND
informatika
Formátum:
könyv
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
programozási nyelvek
AND
informatika
Formátum:
könyv
Keresés:
Megjelenítés:
1 - 20
/
22
- kulcsszavak: '
'
, keresési idő: 0.03mp
Találatok szűrése
Rendezés
Relevancia szerint csökkenő
Megjelenési év szerint csökkenő
Megjelenési év szerint növekvő
Jelzet szerint növekvő
Szerző szerint növekvő
Szerző szerint csökkenő
Cím szerint növekvő
Cím szerint csökkenő
1
2
Következő
[2]
1
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedi...
Megjelenés: 2019
Jelzet:
15587
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16397
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020...
Megjelenés: 2020
Jelzet:
16427
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Transactions on High-Performance Embedded Architectures and Compilers V
Megjelenés: 2019
Jelzet:
15349
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows
Megjelenés: 2019
Jelzet:
15550
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15566
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Evaluation of Novel Approaches to Software Engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Megjelenés: 2019
Jelzet:
15708
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Job Scheduling Strategies for Parallel Processing : 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16839
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
On the Move to Meaningful Internet Systems: OTM 2019 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019,...
Megjelenés: 2020
Jelzet:
16363
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Confere...
Megjelenés: 2019
Jelzet:
15605
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Megjelenés: 2019
Jelzet:
16330
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revise...
Megjelenés: 2020
Jelzet:
16374
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV : Special Issue on Data Management – Principles, Technologies, and Applications
Megjelenés: 2020
Jelzet:
16634
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16602
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
Requirements Engineering: Foundation for Software Quality : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Megjelenés: 2019
Jelzet:
15379
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedin...
Megjelenés: 2019
Jelzet:
16124
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Megjelenés: 2019
Jelzet:
16233
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Megjelenés: 2020
Jelzet:
16896
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Megjelenés: 2020
Jelzet:
16897
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
20
New Frontiers in Artificial Intelligence : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers
Megjelenés: 2020
Jelzet:
16642
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
1
2
Következő
[2]
Keresőeszközök:
RSS-hírfolyam
—
Keresés küldése emailben
—
Keresés mentése
Vissza
Keresés szűkítése
Lelőhely
ELTE összesen
22
IK Kari Könyvtár
22
Különgyűjtemény
e-book
22
Formátum
könyv
Nyelv
angol
22
Szerző
SpringerLink (Online service), közreadó testület
22
ter Beek, Maurice H., szerk
2
Balduccini, Marcello, szerk
1
Bertels, Koen, szerk
1
Bliudze, Simon (1977-), szerk
1
Bocchi, Laura, szerk
1
többet ...
Chakraborty, Supratik, szerk
1
Chamberlain, Roger, szerk
1
Cirne, Walfredo, szerk
1
Damiani, Ernesto, szerk
1
Debruyne, Christophe, szerk
1
Deng, Dun, SZERK
1
Desai, Narayan, szerk
1
Edin Grimheden, Martin, szerk
1
Fantechi, Alessandro, szerk
1
Franch, Xavier, szerk
1
Følstad, Asbjørn, szerk
1
Goedicke, Michael, szerk
1
Guttman, Joshua D., szerk
1
Hameurlain, Abdelkader, szerk
1
IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems39.(2019) (Copenhagen, Denmark)
1
International Conference on Evaluation of Novel Approaches to Software Engineering13.(2018) (Madeira, Portugal)
1
International Conference on Formal Engineering Methods22.(2020) (Singapore)
1
International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research16.(2019) (Thessaloniki, Greece)
1
International Conference on Logic Programming and Nonmonotonic Reasoning15.(2019) (Philadelphia, PA, USA)
1
International Conference on Product-Focused Software Process Improvement20.(2019) (Barcelona)
1
International Conference on Verified Software: Theories, Tools, and Experiments11.(2019) (New York City, NY, USA)
1
International IFIP Conference on Optical Network Design and Modeling23.(2019) (Athens)
1
International Working Conference on Requirements Engineering: Foundation for Software Quality25.(2019) (Essen, Németország)
1
International Workshop on Chatbot Research and Design3.(2019) (Amsterdam)
1
többet mutat ...
kevesebbet ...
Tárgyszó
elektronikus könyv
22
informatika
programozási nyelvek
Programming languages (Electronic computers)
18
tanulmányok
18
konferenciakötet
17
többet ...
Software engineering
15
szoftverfejlesztés
13
Computers
12
Artificial intelligence
11
beágyazott rendszerek
9
mesterséges inteligencia
9
természetes nyelvek feldolgozása
9
természetes nyelvek feldolgozása -- mesterséges inteligencia -- informatika
9
Application software
8
Computer logic
8
beágyazott rendszerek -- informatika
8
Natural language processing (Computer science)
7
mesterséges intelligencia
6
Computer organization
5
konferencia
5
programozási nyelvek -- konferencia
5
számítógépes logika
5
Computer system failures
4
Microprogramming
4
Special purpose computers
4
mikroprogramozás
4
Architecture, Computer
3
Elosztott rendszerek (számítástechnika)
3
Mathematical logic
3
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...