Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(103)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Strauss, Olivier. editor.
(3)
Yager, Ronald R. editor.
(3)
Dil
English
(103)
Yayın Yılı
-
2019
(52)
2014
(51)
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
103 sonuç bulundu Arama sonuçlarına abone ol
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers için kapak resmi
Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers
Yazar 
Sun, Xiaoming. editor. He, Kun. editor. Chen, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-0105-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Yazar 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I için kapak resmi
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Yazar 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44522-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II için kapak resmi
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Yazar 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44465-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings için kapak resmi
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Yazar 
Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06686-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Yazar 
Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06251-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings için kapak resmi
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Yazar 
Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44602-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic Functions and Equations Binary Models for Computer Science için kapak resmi
Logic Functions and Equations Binary Models for Computer Science
Yazar 
Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings için kapak resmi
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Yazar 
Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09108-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday için kapak resmi
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings için kapak resmi
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Yazar 
Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58771-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Yazar 
Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32505-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers için kapak resmi
Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Yazar 
Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21733-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Yazar 
Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59648-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12988-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers için kapak resmi
VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers
Yazar 
Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-32-9767-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings için kapak resmi
New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings
Yazar 
Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Eder, Johann. editor. (orcid)0000-0001-6050-468X Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868 Wrembel, Robert. editor. (orcid)0000-0001-6037-5718 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30278-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings için kapak resmi
Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings
Yazar 
Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21451-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday için kapak resmi
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Yazar 
Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22102-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings için kapak resmi
Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Yazar 
Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-22996-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings için kapak resmi
Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Yazar 
Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings için kapak resmi
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Yazar 
Iemhoff, Rosalie. editor. Moortgat, Michael. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59533-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Yazar 
Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-23247-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings için kapak resmi
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Yazar 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings için kapak resmi
Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Yazar 
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20981-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers için kapak resmi
Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers
Yazar 
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-36599-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers için kapak resmi
At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
Yazar 
Sikos, Jennifer. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59620-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers için kapak resmi
Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers
Yazar 
Fred, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan L. G. editor. Liu, Kecheng. editor. Bernardino, Jorge. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-15640-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings için kapak resmi
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Yazar 
Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30281-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings için kapak resmi
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Yazar 
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-28796-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Yazar 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings için kapak resmi
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Yazar 
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13435-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers için kapak resmi
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
Yazar 
Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-0310-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers için kapak resmi
Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Yazar 
Silva, Alexandra. editor. Staton, Sam. editor. Sutton, Peter. editor. Umbach, Carla. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59565-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings için kapak resmi
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Yazar 
Blackburn, Patrick. editor. Lorini, Emiliano. editor. Guo, Meiyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-60292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Yazar 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers için kapak resmi
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Yazar 
Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35895-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy için kapak resmi
Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
Yazar 
de Haan, Ronald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-60670-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday için kapak resmi
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Yazar 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31514-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers için kapak resmi
Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Yazar 
Chaves, Madalena. editor. Martins, Manuel A. editor. (orcid)0000-0002-5109-8066 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19432-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings için kapak resmi
Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings
Yazar 
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30763-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings için kapak resmi
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Yazar 
Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24886-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers için kapak resmi
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers
Yazar 
Zhao, Jun. editor. Harmelen, Frank van. editor. Tang, Jie. editor. Han, Xianpei. editor. Wang, Quan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-3146-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers için kapak resmi
Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers
Yazar 
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 Siatri, Rania. editor. Zervas, Marios. editor. (orcid)0000-0002-4466-7910 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14401-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers için kapak resmi
Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers
Yazar 
Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30284-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings için kapak resmi
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Yazar 
Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44145-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II için kapak resmi
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II
Yazar 
Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08855-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers için kapak resmi
Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
Yazar 
Barkatou, Moulay. editor. Cluzeau, Thomas. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54479-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Introduction to Software Quality için kapak resmi
Introduction to Software Quality
Yazar 
O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Yazar 
Dowek, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08918-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings için kapak resmi
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Yazar 
Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07512-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Muscholl, Anca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Yazar 
Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43652-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday için kapak resmi
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Yazar 
van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06880-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings için kapak resmi
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Yazar 
Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08846-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures için kapak resmi
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Yazar 
Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Yazar 
Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers için kapak resmi
Trustworthy Global Computing 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
Yazar 
Maffei, Matteo. editor. Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45917-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi için kapak resmi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Yazar 
Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54624-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers için kapak resmi
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Yazar 
van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09165-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III için kapak resmi
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III
Yazar 
Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08852-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday için kapak resmi
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Yazar 
Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13350-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings için kapak resmi
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Yazar 
Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08867-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings için kapak resmi
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Yazar 
Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday için kapak resmi
Categories and Types in Logic, Language, and Physics Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Yazar 
Casadio, Claudia. editor. Coecke, Bob. editor. Moortgat, Michael. editor. Scott, Philip. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54789-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers için kapak resmi
Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Yazar 
Colinet, Margot. editor. Katrenko, Sophia. editor. Rendsvig, Rasmus K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44116-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings için kapak resmi
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Yazar 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings için kapak resmi
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings için kapak resmi
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Yazar 
Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Yazar 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers için kapak resmi
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Yazar 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I için kapak resmi
Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I
Yazar 
Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08795-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers için kapak resmi
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Yazar 
Abadi, Martín. editor. Lluch Lafuente, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05119-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings için kapak resmi
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Yazar 
Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09698-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings için kapak resmi
Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Yazar 
Asher, Nicholas. editor. Soloviev, Sergei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43742-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Yazar 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings için kapak resmi
The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings
Yazar 
Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21348-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings için kapak resmi
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings
Yazar 
Seki, Hirosato. editor. Nguyen, Canh Hao. editor. Huynh, Van-Nam. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14815-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Yazar 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I için kapak resmi
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I
Yazar 
Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17938-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings için kapak resmi
Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings
Yazar 
Cai, Zhipeng. editor. Skums, Pavel. editor. Li, Min. editor. (orcid)0000-0002-0188-1394 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20242-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings için kapak resmi
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Yazar 
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30048-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings için kapak resmi
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33246-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II için kapak resmi
Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II
Yazar 
Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17935-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Yazar 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings için kapak resmi
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
Yazar 
O'Sullivan, Barry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10428-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers için kapak resmi
Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Yazar 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04534-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings için kapak resmi
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Yazar 
Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08587-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings için kapak resmi
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Yazar 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Yazar 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Semantics of Probabilistic Processes An Operational Approach için kapak resmi
Semantics of Probabilistic Processes An Operational Approach
Yazar 
Deng, Yuxin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45198-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings için kapak resmi
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
Yazar 
Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04939-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings için kapak resmi
Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
Yazar 
Davis, Brian. editor. Kaljurand, Kaarel. editor. Kuhn, Tobias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10223-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Regulated Grammars and Automata için kapak resmi
Regulated Grammars and Automata
Yazar 
Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4939-0369-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings için kapak resmi
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Yazar 
Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-06410-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings için kapak resmi
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Yazar 
Watt, Stephen M. editor. Sexton, Alan. editor. Davenport, James H. editor. Sojka, Petr. editor. Urban, Josef. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08434-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: