Arama Sonuçları Mathematical logic. - Daraltılmış: 2019

Mathematical logic : A course with exercises

2024-12-28T02:35:31Z

Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası QA 9 C742513 2000 PT.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

The logical syntax of language

2024-12-28T02:35:31Z

Yazar Carnap, Rudolf, 1891-1970.
Yer Numarası BC 135 C323 1937 P (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

An examination of logical positivism

2024-12-28T02:35:31Z

Yazar Weinberg, Julius Rudolf, 1908-
Yer Numarası B 824.6 W434 1936 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

The foundations of mathematics : and other logical essays

2024-12-28T02:35:31Z

Yazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Yer Numarası QA 9 R23 1931
Format: Kitap
Durum Beytepe Kütüphanesi~1

The nature of mathematics : a critical survey

2024-12-28T02:35:31Z

Yazar Black, Max, 1909-
Yer Numarası QA 9 B62 1933 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

The limits of science : outline of logic and of the methodology of the exact sciences

2024-12-28T02:35:31Z

Yazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası Q 175 C494 1948 A (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30179-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Ekštein, Kamil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27947-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34146-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32079-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II

2024-12-28T02:35:31Z

Yazar Tang, Jie. editor. Kan, Min-Yen. editor. Zhao, Dongyan. editor. Li, Sujian. editor. Zan, Hongying. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32236-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18744-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Batyrshin, Ildar. editor. Marín-Hernández, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 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-29007-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27629-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2024-12-28T02:35:31Z

Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31423-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31095-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

Yazar Fullér, Robert. editor. Giove, Silvio. editor. Masulli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12544-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantic Research 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26773-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14174-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35166-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19570-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35540-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

2024-12-28T02:35:31Z

Yazar Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774 Barla, Annalisa. editor. (orcid)0000-0002-3436-035X Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090 Peterson, Leif. editor. (orcid)0000-0002-1187-0883
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14160-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Functions and Equations Binary Models for Computer Science

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Languages and Compilation

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-12-28T02:35:31Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17601-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar Suzuki, Kenji. editor. Reyes, Mauricio. editor. Syeda-Mahmood, Tanveer. editor. Konukoglu, Ender. editor. Glocker, Ben. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33850-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-12-28T02:35:31Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2024-12-28T02:35:31Z

Yazar MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19823-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1