Megjelenítés:
1 - 20
/
28
- 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ó:
4 filters
elektronikus könyv
AND
Software engineering
AND
Computer software
AND
Logic design
Szűrők törlése
Szűrők megjelenítése (4)
Tárgyszó:
4 filters
elektronikus könyv
AND
Software engineering
AND
Computer software
AND
Logic design
Keresés:
Megjelenítés:
1 - 20
/
28
- 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
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Megjelenés: 2017
Jelzet:
14224
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Megjelenés: 2017
Jelzet:
14541
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
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:
4
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14100
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14319
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
13737
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
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:
8
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Megjelenés: 2017
Jelzet:
14113
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I
Megjelenés: 2017
Jelzet:
13500
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II
Megjelenés: 2017
Jelzet:
13650
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
11
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:
12
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13710
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
Transactions on Petri Nets and Other Models of Concurrency XII
Megjelenés: 2017
Jelzet:
14345
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
14
Networked Systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13489
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
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:
16
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13743
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
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:
18
Applications of Evolutionary Computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
Megjelenés: 2017
Jelzet:
13576
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
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:
20
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:
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
28
IK Kari Könyvtár
28
Különgyűjtemény
e-book
28
Formátum
könyv
28
Nyelv
angol
28
Szerző
SpringerLink (Online service), közreadó testület
28
Abate, Alessandro, szerk
2
European Conference on the Applications of Evolutionary Computation20.(2017) (Amsterdam, Hollandia)
2
International Conference on Artificial Intelligence and Soft Computing16.(2017) (Zakopane, Lengyelország)
2
International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden)
2
Legay, Axel, szerk
2
többet ...
Margaria, Tiziana, szerk
2
Rutkowski, Leszek, szerk
2
Sim, Kevin, szerk
2
Squillero, Giovanni, szerk
2
Barrett, Clark, szerk
1
Berger, Christian, szerk
1
Boldo, Sylvie, szerk
1
Bozzano, Marco, szerk
1
Carmona, Josep, szerk
1
Câmpeanu, Cezar, szerk
1
Dastani, Mehdi, szerk
1
Davies, Misty, szerk
1
Dixon, Clare, szerk
1
El Abbadi, Amr, szerk
1
Engels, Gregor, szerk
1
Finger, Marcelo, szerk
1
Garbinato, Benoît, szerk
1
Geeraerts, Gilles, szerk
1
Gerdt, V. P., szerk
1
Ghosh, Sujata, szerk
1
Hague, Matthew, szerk
1
Hermenegildo, Manuel V., szerk
1
IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems19.(2017) (Milano, Olaszország)
1
Indian Conference on Logic and Its Applications7.(2017) (Kanpur, India)
1
többet mutat ...
kevesebbet ...
Tárgyszó
Algorithm Analysis and Problem Complexity
28
Computer software
Logic design
Software engineering
elektronikus könyv
Computer science
23
többet ...
Logics and Meanings of Programs
23
szoftverfejlesztés
23
Software Engineering
22
Mathematical Logic and Formal Languages
16
szoftver
16
számítástudomány
15
Artificial intelligence
10
Programming Languages, Compilers, Interpreters
10
konferencia
9
konferenciakötet
9
tanulmányok
9
Artificial Intelligence (incl. Robotics)
8
mesterséges intelligencia
8
szoftverfejlesztés -- konferencia
7
Computation by Abstract Devices
6
Special Purpose and Application-Based Systems
6
Logic Design
5
logikai tervezés
5
Computer simulation
4
Programming Techniques
4
Simulation and Modeling
4
logikai tervezés -- konferencia
4
modell ellenőrzés
4
modell ellenőrzés -- szoftvertesztelés -- konferencia
4
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...