Megjelenítés:
1 - 13
/
13
- 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ó:
szoftverfejlesztés
AND
Logic design
AND
Programming Techniques
Szűrők törlése
Szűrők megjelenítése (3)
Tárgyszó:
szoftverfejlesztés
AND
Logic design
AND
Programming Techniques
Keresés:
Megjelenítés:
1 - 13
/
13
- 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
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14129
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14533
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
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:
4
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Megjelenés: 2017
Jelzet:
14406
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14142
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
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:
7
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13816
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
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:
9
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13740
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13551
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13537
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
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:
13
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:
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
13
IK Kari Könyvtár
13
Különgyűjtemény
e-book
13
Formátum
könyv
13
Nyelv
angol
13
Szerző
SpringerLink (Online service), közreadó testület
13
Balduccini, Marcello, szerk
1
Barrett, Clark, szerk
1
Bowen, Jonathan P., szerk
1
Dastani, Mehdi, szerk
1
Davies, Misty, szerk
1
többet ...
Duan, Zhenhua, szerk
1
Gabmeyer, Sebastian, szerk
1
Gibson-Robinson, Thomas, szerk
1
Hermenegildo, Manuel V., szerk
1
Hopcroft, Philippa, szerk
1
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods26.(2017) (Brasília, Brazília)
1
International Conference on Computer Aided Verification29.(2017) (Heidelberg, Germany)
1
International Conference on Formal Engineering Methods19(2017) (Xi'an, China)
1
International Conference on Fundamentals of Software Engineering11(2017) (Teherán)
1
International Conference on Logic Programming and Nonmonotonic Reasoning14.(2017) (Espoo, Finnország)
1
International Conference on Tests and Proofs
1
International School on Engineering Trustworthy Software Systems2.(2016) (Chongqing, China)
1
International Symposium on Logic-Based Program Synthesis and Transformation26.(2016) (Edinburgh, Egyesült Királyság)
1
International Symposium on NASA Formal Methods9.(2017) (Moffett Field, CA, Egyesült Államok)
1
International Symposium on Practical Aspects of Declarative Languages19.(2017) (Paris, Franciaország)
1
International Workshop on OpenMP13.(2017) (Stony Brook, NY, Egyesült Államok)
1
Janhunen, Tomi, szerk
1
Johnsen, Einar Broch, szerk
1
Kahsai, Temesghen, szerk
1
Kunčak, Viktor, szerk.(1977-)
1
Lazić, Ranko, szerk
1
Lierler, Yuliya, szerk
1
Liu, Zhiming, szerk
1
Lopez-Garcia, Pedro, szerk
1
többet mutat ...
kevesebbet ...
Tárgyszó
Computer science
13
Logic design
Programming Techniques
Software engineering
13
elektronikus könyv
13
szoftverfejlesztés
többet ...
Logics and Meanings of Programs
12
Software Engineering
12
Programming Languages, Compilers, Interpreters
11
Mathematical Logic and Formal Languages
8
számítástudomány
7
konferencia
5
konferenciakötet
5
szoftverfejlesztés -- konferencia
5
tanulmányok
5
Algorithm Analysis and Problem Complexity
4
Computer software
4
Artificial Intelligence (incl. Robotics)
3
Artificial intelligence
3
Computer network architectures
3
logikai tervezés
3
mesterséges intelligencia
3
szoftver
3
Computer Communication Networks
2
Computer Systems Organization and Communication Networks
2
logikai tervezés -- konferencia
2
Computational complexity
1
Computer Appl. in Administrative Data Processing
1
Computer System Implementation
1
Computer aided design
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...