Megjelenítés:
81 - 83
/
83
- 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ő
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ó:
Logics and Meanings of Programs
Lelőhely:
ELTE összesen
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
Logics and Meanings of Programs
Lelőhely:
ELTE összesen
Keresés:
Megjelenítés:
81 - 83
/
83
- 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]
Előző
1
2
3
4
5
81
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Megjelenés: 2017
Jelzet:
14327
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
82
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Megjelenés: 2017
Jelzet:
13820
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
83
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Megjelenés: 2017
Jelzet:
14029
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
[1]
Előző
1
2
3
4
5
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
IK Kari Könyvtár
83
Különgyűjtemény
e-book
83
Formátum
könyv
83
Nyelv
angol
83
Szerző
SpringerLink (Online service), közreadó testület
83
Bowen, Jonathan P., szerk
3
Abate, Alessandro, szerk
2
Bouajjani, Ahmed, szerk
2
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
Kunčak, Viktor, szerk.(1977-)
2
többet ...
Legay, Axel, szerk
2
Majumdar, Rupak, szerk
2
Margaria, Tiziana, szerk
2
Mousavi, Mohammad Reza, szerk
2
Tonetta, Stefano, szerk
2
Ada-Europe International Conference on Reliable Software Technologies22.(2017) (Vienna, Ausztria)
1
An, Bo, szerk
1
Antonucci, Alessandro, szerk
1
Artho, Cyrille, szerk.(1976-)
1
Ayala-Rincón, Mauricio
1
Ayala-Rincón, Mauricio, szerk
1
Bader, Markus, szerk
1
Balduccini, Marcello, szerk
1
Baltag, Alexandru, szerk
1
Barrett, Clark, szerk
1
Bassiliades, Nick, szerk
1
Battiti, Roberto, szerk
1
Berger, Christian, szerk
1
Bertrand, Nathalie, szerk
1
Best, Eike, szerk
1
Blieberger, Johann, szerk
1
Bogomolov, Sergiy, szerk
1
Boldo, Sylvie, szerk
1
Bortolussi, Luca, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Logic design
83
Logics and Meanings of Programs
elektronikus könyv
83
Computer science
73
Software engineering
65
Software Engineering
59
többet ...
Mathematical Logic and Formal Languages
54
szoftverfejlesztés
52
konferenciakötet
40
tanulmányok
40
konferencia
39
Programming Languages, Compilers, Interpreters
38
számítástudomány
35
Algorithm Analysis and Problem Complexity
31
Computer software
31
logikai tervezés
30
Artificial intelligence
29
Artificial Intelligence (incl. Robotics)
25
logikai tervezés -- konferencia
25
szoftverfejlesztés -- konferencia
25
mesterséges intelligencia
23
Programming Techniques
17
Computation by Abstract Devices
15
Computer simulation
14
Simulation and Modeling
14
szoftver
14
Computer Communication Networks
11
számítógépes szimuláció
10
Computational complexity
8
Discrete Mathematics in Computer Science
8
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...