Megjelenítés:
1 - 20
/
35
- 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
Lelőhely:
IK Kari Könyvtár
Nyelv:
angol
Tárgyszó:
számítástudomány
AND
Logics and Meanings of Programs
Szűrők törlése
Szűrők megjelenítése (4)
Lelőhely:
IK Kari Könyvtár
Nyelv:
angol
Tárgyszó:
számítástudomány
AND
Logics and Meanings of Programs
Keresés:
Megjelenítés:
1 - 20
/
35
- 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
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
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:
3
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:
4
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:
5
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14253
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
6
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:
7
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Megjelenés: 2017
Jelzet:
14012
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
8
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:
9
Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13656
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
10
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:
11
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13479
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
12
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13588
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
13
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:
14
Provably Correct Systems
Megjelenés: 2017
Jelzet:
13878
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
15
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13564
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
16
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13844
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
17
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13497
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
18
Implementation and Application of Automata : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Megjelenés: 2017
Jelzet:
13494
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
19
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Megjelenés: 2017
Jelzet:
13725
Ugrás a forráshoz
könyv
QR-kód megjelenítése
Mentés a listára
Mentés helye:
20
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:
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
35
IK Kari Könyvtár
Különgyűjtemény
e-book
35
Formátum
könyv
35
Nyelv
angol
Szerző
SpringerLink (Online service), közreadó testület
35
Abate, Alessandro, szerk
1
Ayala-Rincón, Mauricio
1
Ayala-Rincón, Mauricio, szerk
1
Balduccini, Marcello, szerk
1
Baltag, Alexandru, szerk
1
többet ...
Barrett, Clark, szerk
1
Bertrand, Nathalie, szerk
1
Best, Eike, szerk
1
Bortolussi, Luca, szerk
1
Bouajjani, Ahmed, szerk
1
Bowen, Jonathan P., szerk
1
Bozzano, Marco, szerk
1
Carayol, Arnaud, szerk
1
Charlier, Émilie, szerk
1
Câmpeanu, Cezar, szerk
1
Davies, Misty, szerk
1
Day, Adam, szerk
1
Du, Dingzhu, szerk
1
Geeraerts, Gilles, szerk
1
Geuvers, Herman, szerk
1
Gopal, T.V., szerk
1
Hague, Matthew, szerk
1
Hermenegildo, Manuel V., szerk
1
Hinchey, Mike, szerk
1
Huisman, Marieke, szerk
1
Höfner, Peter, szerk
1
IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems19.(2017) (Milano, Olaszország)
1
IFIP WG 1.3 International Workshop on Algebraic Development Techniques23.(2017) (Gregynog, UK)
1
International Computer Science Symposium in Russia12.(2017) (Kazan, Oroszország)
1
többet mutat ...
kevesebbet ...
Tárgyszó
Logic design
35
Logics and Meanings of Programs
elektronikus könyv
35
számítástudomány
Computer science
33
Mathematical Logic and Formal Languages
28
többet ...
Software engineering
26
Software Engineering
23
szoftverfejlesztés
23
Algorithm Analysis and Problem Complexity
17
Computer software
17
Artificial intelligence
13
Programming Languages, Compilers, Interpreters
13
mesterséges intelligencia
13
Artificial Intelligence (incl. Robotics)
12
szoftver
12
Computational complexity
7
Discrete Mathematics in Computer Science
7
Programming Techniques
7
konferencia
7
konferenciakötet
7
tanulmányok
7
Computation by Abstract Devices
6
Computer simulation
6
Simulation and Modeling
6
Data structures (Computer scienc
5
logikai tervezés
5
Data Structures
4
formális módszerek
4
számítástudomány -- konferencia
4
többet mutat ...
kevesebbet ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...