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ó:
Simulation and Modeling
AND
Mathematical Logic and Formal Languages
Szűrők törlése
Szűrők megjelenítése (2)
Tárgyszó:
Simulation and Modeling
AND
Mathematical Logic and Formal Languages
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
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Megjelenés: 2017
Jelzet:
14394
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
2
Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Sel...
Megjelenés: 2017
Jelzet:
14530
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
3
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:
4
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14161
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
5
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:
6
Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13842
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
7
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:
8
Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13676
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
9
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13765
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
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:
11
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Szerző:
Ölveczky, Peter Csaba
Megjelenés: 2017
Jelzet:
14470
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
2
Best, Eike, szerk
1
Boldo, Sylvie, szerk
1
Criado Pacheco, Natalia, sszerk
1
Dennunzio, Alberto, szerk
1
többet ...
Geeraerts, Gilles, szerk
1
Geuvers, Herman, szerk
1
Ghosh, Sujata, szerk
1
IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK)
1
Indian Conference on Logic and Its Applications7.(2017) (Kanpur, India)
1
International Conference on Application and Theory of Petri Nets and Concurrency38.(2017) (Zaragoza, Spanyolország)
1
International Conference on Formal Modeling and Analysis of Timed Systems15.(2017) (Berlin, Németország)
1
International Conference on Intelligent Computer Mathematics10.(2017) (Edinburgh, Egyesült Királyság)
1
International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
1
International Workshop on Cellular Automata and Discrete Complex Systems23.(2017) (Milan, Olaszország)
1
International Workshop on Numerical Software Verification10.(2017) (Heidelberg, Németország)
1
James, Phillip, szerk
1
Katoen, Joost-Pieter (1964-), szerk
1
Langerak, Rom, szerk
1
Larsen, Kim Guldstrand, szerk
1
Prasad, Sanjiva, szerk
1
Rensink, Arend, szerk
1
Roggenbach, Markus, szerk
1
Sokolsky, Oleg, szerk
1
Wang, Ji, szerk
1
van der Aalst, Wil, szerk
1
Ölveczky, Peter Csaba
1
többet mutat ...
kevesebbet ...
Tárgyszó
Computer science
11
Computer simulation
11
Mathematical Logic and Formal Languages
Simulation and Modeling
elektronikus könyv
11
Software Engineering
10
többet ...
Software engineering
10
Logic design
8
Logics and Meanings of Programs
8
Algorithm Analysis and Problem Complexity
6
Computer software
6
szoftverfejlesztés
6
számítástudomány
6
Artificial Intelligence (incl. Robotics)
4
Artificial intelligence
4
Programming Languages, Compilers, Interpreters
4
konferencia
4
konferenciakötet
4
logikai tervezés
4
számítógépes szimuláció
4
tanulmányok
4
logikai tervezés -- konferencia
3
mesterséges intelligencia
3
Computer Communication Networks
2
Probability and Statistics in Computer Science
2
formális módszerek
2
szoftver
2
szoftverfejlesztés -- konferencia
2
Computation by Abstract Devices
1
Information Systems Applications (incl. Internet)
1
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...