Megjelenítés:
81 - 84
/
84
- 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ó:
Computer science
AND
Logic design
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
Computer science
AND
Logic design
Keresés:
Megjelenítés:
81 - 84
/
84
- kulcsszavak: '
'
, keresési idő: 0.02mp
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
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14085
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
82
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13657
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
83
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:
84
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
84
IK Kari Könyvtár
84
Egyetemi Könyvtár és Levéltár
1
Különgyűjtemény
e-book
84
Formátum
könyv
83
Nyelv
angol
84
Szerző
SpringerLink (Online service), közreadó testület
84
Bowen, Jonathan P., szerk
3
Abate, Alessandro, szerk
2
Bouajjani, Ahmed, szerk
2
European Conference on the Applications of Evolutionary Computation20.(2017) (Amsterdam, Hollandia)
2
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
többet ...
Legay, Axel, szerk
2
Margaria, Tiziana, szerk
2
Sim, Kevin, szerk
2
Squillero, Giovanni, szerk
2
Tonetta, Stefano, szerk
2
Ada-Europe International Conference on Reliable Software Technologies22.(2017) (Vienna, Ausztria)
1
An, Bo, szerk
1
Annual Conference on Advanced Computer Architecture12.(2018) (Yingkou, China)
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
Battiti, Roberto, 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
Bozzano, Marco, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Computer science
Logic design
elektronikus könyv
84
Logics and Meanings of Programs
73
Software engineering
66
Mathematical Logic and Formal Languages
55
többet ...
Software Engineering
54
szoftverfejlesztés
54
Programming Languages, Compilers, Interpreters
42
konferencia
41
konferenciakötet
41
tanulmányok
41
számítástudomány
38
Computer software
31
Algorithm Analysis and Problem Complexity
30
Artificial intelligence
29
logikai tervezés
29
Artificial Intelligence (incl. Robotics)
25
logikai tervezés -- konferencia
24
mesterséges intelligencia
24
szoftverfejlesztés -- konferencia
24
Programming Techniques
19
szoftver
16
Computation by Abstract Devices
15
Computer network architectures
13
Computer simulation
12
Simulation and Modeling
12
Computer Communication Networks
9
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...