Megjelenítés:
1 - 11
/
11
- 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ó:
számítástudomány
AND
szoftver
AND
Software Engineering
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
számítástudomány
AND
szoftver
AND
Software Engineering
Keresés:
Megjelenítés:
1 - 11
/
11
- 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
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13716
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13750
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13951
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
4
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13691
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13767
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13514
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13927
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13840
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Szerző:
Zeume, Thomas
Megjelenés: 2017
Jelzet:
13848
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13779
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Computer Security – ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II
Megjelenés: 2017
Jelzet:
13814
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
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
11
IK Kari Könyvtár
11
Különgyűjtemény
e-book
11
Formátum
könyv
11
Nyelv
angol
11
Szerző
SpringerLink (Online service), közreadó testület
11
Abate, Alessandro, szerk
1
Barkaoui, Kamel, szerk.(1954-)
1
Barrett, Clark, szerk
1
Bozzano, Marco, szerk
1
Davies, Misty, szerk
1
többet ...
European Symposium on Research in Computer Security22.(2017) (Oslo, Norvégia)
1
Foley, Simon N., szerk
1
Geeraerts, Gilles, szerk
1
Gollmann, Dieter, szerk
1
Hermenegildo, Manuel V., szerk
1
International Conference on Architecture of Computing Systems30.(2017) (Vienna, Ausztria)
1
International Conference on Automated Deduction26.(2017) (Gothenburg, Svédország)
1
International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország)
1
International Conference on Membrane Computing17.(2016) (Milan, Olaszország)
1
International Conference on Verification and Evaluation of Computer and Communication Systems11.(2017) (Montreal, QC, Kanada)
1
International Symposium on Logic-Based Program Synthesis and Transformation26.(2016) (Edinburgh, Egyesült Királyság)
1
International Symposium on Model-Based Safety and Assessment5.(2017) (Trento, Olaszország)
1
International Symposium on NASA Formal Methods9.(2017) (Moffett Field, CA, Egyesült Államok)
1
International Symposium on Search Based Software Engineering9.(2017) (Paderborn, Németország)
1
Kahsai, Temesghen, szerk
1
Knoop, Jens, szerk
1
Leporati, Alberto, szerk
1
Lopez-Garcia, Pedro, szerk
1
Menzies, Tim, szerk
1
Papadopoulos, Yiannis, szerk
1
Petke, Justyna, szerk
1
Snekkenes, Einar, szerk
1
Zeume, Thomas
1
de Moura, Leonardo, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithm Analysis and Problem Complexity
11
Computer science
11
Computer software
11
Software Engineering
Software engineering
11
elektronikus könyv
11
többet ...
szoftver
szoftverfejlesztés
11
számítástudomány
Logic design
8
Logics and Meanings of Programs
7
Mathematical Logic and Formal Languages
6
Programming Languages, Compilers, Interpreters
6
Programming Techniques
4
Artificial Intelligence (incl. Robotics)
3
Artificial intelligence
3
mesterséges intelligencia
3
Computation by Abstract Devices
2
Operating Systems
2
Operating systems (Computers)
2
Computer Communication Networks
1
Computer System Implementation
1
Computer network architectures
1
Computer security
1
Computer simulation
1
Computers and Society
1
Cryptology
1
Data encryption (Computer science)
1
Information Systems
1
Information Systems Applications (incl. Internet)
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...