Arama Sonuçları Foundations - Daraltılmış: Computer science.

Foundations of F#

2026-05-16T03:40:31Z

Yazar Pickering, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0358-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Ajax

2026-05-16T03:40:31Z

Yazar Asleson, Ryan. author. Schutta, Nathaniel T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0082-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Rule Learning

2026-05-16T03:40:31Z

Yazar Fürnkranz, Johannes. author. Gamberger, Dragan. author. Lavrač, Nada. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75197-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of GTK+ Development

2026-05-16T03:40:31Z

Yazar Krause, Andrew. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0386-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Qt Development

2026-05-16T03:40:31Z

Yazar Thelin, Johan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Security

2026-05-16T03:40:31Z

Yazar Salomon, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-341-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network Analysis Methodological Foundations

2026-05-16T03:40:31Z

Yazar Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106453
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of computer science

2026-05-16T03:40:31Z

Yazar Aho, Alfred V. Ullman, Jeffrey D., 1942-, ort. yaz.
Yer Numarası QA76 .A334 1992
Format: Kitap
Durum Beytepe Kütüphanesi~1

Foundations for Functional Modeling of Technical Artefacts

2026-05-16T03:40:31Z

Yazar Lind, Morten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45918-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FOUNDATIONS OF DATA SCIENCE WITH PYTHON

2026-05-16T03:40:31Z

Yazar Shea, John M.
Yer Numarası QA76
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003324997 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Cyber-Physical Systems

2026-05-16T03:40:31Z

Yazar Platzer, André. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63588-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Geometric Algebra Computing

2026-05-16T03:40:31Z

Yazar Hildenbrand, Dietmar. author. SpringerLink (Online service)
Yer Numarası ONLINE(333490.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31794-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internetworking Technological Foundations and Applications

2026-05-16T03:40:31Z

Yazar Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Yer Numarası ONLINE(333971.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35392-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Foundations of Artificial General Intelligence

2026-05-16T03:40:31Z

Yazar Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-62-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dual Tableaux: Foundations, Methodology, Case Studies

2026-05-16T03:40:31Z

Yazar Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0005-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations for Efficient Web Service Selection

2026-05-16T03:40:31Z

Yazar Yu, Qi. author. Bouguettaya, Athman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0314-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic Foundations for Information Science

2026-05-16T03:40:31Z

Yazar Li, Wei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Popfly Rapid Mashup Development

2026-05-16T03:40:31Z

Yazar Griffin, Eric. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0568-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Agile Python Development

2026-05-16T03:40:31Z

Yazar Younker, Jeff. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0635-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of ASP.NET AJAX

2026-05-16T03:40:31Z

Yazar Pars, Robin. author. Moroney, Laurence. author. Grieb, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0199-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SmartKom: Foundations of Multimodal Dialogue Systems

2026-05-16T03:40:31Z

Yazar Wahlster, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-36678-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Java for ABAP Programmers

2026-05-16T03:40:31Z

Yazar Rooney, Alistair. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0140-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis Foundations and Applications

2026-05-16T03:40:31Z

Yazar Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

General systems theory mathematical foundations

2026-05-16T03:40:31Z

Yazar Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Foundations for Mastering Change I

2026-05-16T03:40:31Z

Yazar Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46508-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Hardware-Intrinsic Security Foundations and Practice

2026-05-16T03:40:31Z

Yazar Sadeghi, Ahmad-Reza. editor. Naccache, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14452-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of SQL Server 2005 Business Intelligence

2026-05-16T03:40:31Z

Yazar Langit, Lynn. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0248-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85930-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-05-16T03:40:31Z

Yazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90897-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78116-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice

2026-05-16T03:40:31Z

Yazar Minato, Shin-ichi. editor. Uno, Takeaki. editor. Yasuda, Norihito. editor. Horiyama, Takashi. editor. Kawarabayashi, Ken-ichi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0668-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57231-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

2026-05-16T03:40:31Z

Yazar Downey, Rod. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53744-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

2026-05-16T03:40:31Z

Yazar Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49342-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57228-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-05-16T03:40:31Z

Yazar Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68397-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2026-05-16T03:40:31Z

Yazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03044-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91473-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2026-05-16T03:40:31Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72056-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2026-05-16T03:40:31Z

Yazar Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91155-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2026-05-16T03:40:31Z

Yazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92997-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concept Invention Foundations, Implementation, Social Aspects and Applications

2026-05-16T03:40:31Z

Yazar Confalonieri, Roberto. editor. Pease, Alison. editor. Schorlemmer, Marco. editor. Besold, Tarek R. editor. Kutz, Oliver. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65602-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

2026-05-16T03:40:31Z

Yazar Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90050-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Imine, Abdessamad. editor. Fernandez, José M. editor. (orcid)0000-0001-9836-3595 Marion, Jean-Yves. editor. Logrippo, Luigi. editor. (orcid)0000-0001-8804-0450 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75650-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04771-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91476-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74730-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2026-05-16T03:40:31Z

Yazar Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56045-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70848-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Kryszkiewicz, Marzena. editor. Appice, Annalisa. editor. Ślęzak, Dominik. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60438-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

2026-05-16T03:40:31Z

Yazar Lindell, Yehuda. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57048-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-05-16T03:40:31Z

Yazar Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49815-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-05-16T03:40:31Z

Yazar Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42061-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-05-16T03:40:31Z

Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49630-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

2026-05-16T03:40:31Z

Yazar Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29954-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2026-05-16T03:40:31Z

Yazar Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29473-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-53956-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

2026-05-16T03:40:31Z

Yazar Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03629-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2026-05-16T03:40:31Z

Yazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09195-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2026-05-16T03:40:31Z

Yazar Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası ONLINE(333514.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2026-05-16T03:40:31Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334038.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-05-16T03:40:31Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Yer Numarası ONLINE(334365.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Augmented Cognition 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings

2026-05-16T03:40:31Z

Yazar Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334801.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39454-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-05-16T03:40:31Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334727.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-05-16T03:40:31Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SemProM Foundations of Semantic Product Memories for the Internet of Things

2026-05-16T03:40:31Z

Yazar Wahlster, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334416.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37377-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

2026-05-16T03:40:31Z

Yazar Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

2026-05-16T03:40:31Z

Yazar Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335052.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41071-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern Cryptography Primer Theoretical Foundations and Practical Applications

2026-05-16T03:40:31Z

Yazar Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)
Yer Numarası ONLINE(335099.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41386-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27901-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

2026-05-16T03:40:31Z

Yazar Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28472-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-05-16T03:40:31Z

Yazar Birkedal, Lars. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28729-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

2026-05-16T03:40:31Z

Yazar Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32589-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-05-16T03:40:31Z

Yazar Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33296-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Liu, Zhiming. editor. Wassyng, Alan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32355-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings

2026-05-16T03:40:31Z

Yazar Chen, Li. editor. Felfernig, Alexander. editor. Liu, Jiming. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34624-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods

2026-05-16T03:40:31Z

Yazar Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4075-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

2026-05-16T03:40:31Z

Yazar Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28279-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

2026-05-16T03:40:31Z

Yazar Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Outdoor and Large-Scale Real-World Scene Analysis 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Dellaert, Frank. editor. Frahm, Jan-Michael. editor. Pollefeys, Marc. editor. Leal-Taixé, Laura. editor. Rosenhahn, Bodo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34091-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Algebraic Specification and Formal Software Development

2026-05-16T03:40:31Z

Yazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

2026-05-16T03:40:31Z

Yazar Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22993-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications

2026-05-16T03:40:31Z

Yazar Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2026-05-16T03:40:31Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23082-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2026-05-16T03:40:31Z

Yazar Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-446-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of SQL Server 2008 R2 Business Intelligence

2026-05-16T03:40:31Z

Yazar Fouché, Guy. author. Langit, Lynn. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-3325-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Work and Coordinative Practices Contributions to the Conceptual Foundations of Computer-Supported Cooperative Work (CSCW)

2026-05-16T03:40:31Z

Yazar Schmidt, Kjeld. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-068-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations for the Web of Information and Services A Review of 20 Years of Semantic Web Research

2026-05-16T03:40:31Z

Yazar Fensel, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19797-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-05-16T03:40:31Z

Yazar Hofmann, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19805-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19829-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Augmented Cognition. Directing the Future of Adaptive Systems 6th International Conference, FAC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

2026-05-16T03:40:31Z

Yazar Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21852-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings

2026-05-16T03:40:31Z

Yazar Kryszkiewicz, Marzena. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

2026-05-16T03:40:31Z

Yazar Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24897-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical and Mathematical Foundations of Computer Science Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers

2026-05-16T03:40:31Z

Yazar Zhou, Qihai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24999-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25032-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Large-Scale Multimedia Information Management and Retrieval Mathematics of Perception

2026-05-16T03:40:31Z

Yazar Chang, Edward Y. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20429-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations on Natural and Artificial Computation 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Ferrández, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz, Félix. editor. Toledo, F. Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21344-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

2026-05-16T03:40:31Z

Yazar France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21470-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Python Network Programming The comprehensive guide to building network applications with Python

2026-05-16T03:40:31Z

Yazar Rhodes, Brandon. author. Goerzen, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-3004-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

2026-05-16T03:40:31Z

Yazar Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15155-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15164-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForum

2026-05-16T03:40:31Z

Yazar Bauer, Friedrich L. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02992-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Data Mining and Knowledge Discovery Principles and Foundations

2026-05-16T03:40:31Z

Yazar Gaber, Mohamed Medhat. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02788-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11618-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11829-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12566-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Sociology to Computing in Social Networks Theory, Foundations and Applications

2026-05-16T03:40:31Z

Yazar Memon, Nasrullah. editor. Alhajj, Reda. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7091-0294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-05-16T03:40:31Z

Yazar Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12032-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

2026-05-16T03:40:31Z

Yazar Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13595-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

2026-05-16T03:40:31Z

Yazar Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02463-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04211-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of CentOS Linux Enterprise Linux On the Cheap

2026-05-16T03:40:31Z

Yazar Baclit, Ryan. author. Sicam, Chivas. author. Membrey, Peter. author. Newbigin, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-1965-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Systems Biology Using Cell Illustrator® and Pathway Databases

2026-05-16T03:40:31Z

Yazar Nagasaki, Masao. author. Saito, Ayumu. author. Doi, Atsushi. author. Matsuno, Hiroshi. author. Miyano, Satoru. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-023-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration

2026-05-16T03:40:31Z

Yazar Möller, Torsten. editor. Hamann, Bernd. editor. Russell, Robert D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106657
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Alfaro, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00596-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02674-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience 5th International Conference, FAC 2009 Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedings

2026-05-16T03:40:31Z

Yazar Schmorrow, Dylan D. editor. Estabrooke, Ivy V. editor. Grootjen, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02812-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03816-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures

2026-05-16T03:40:31Z

Yazar Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03829-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04944-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10452-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

2026-05-16T03:40:31Z

Yazar Mendling, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89224-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03459-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings

2026-05-16T03:40:31Z

Yazar Rauch, Jan. editor. Raś, Zbigniew W. editor. Berka, Petr. editor. Elomaa, Tapio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04125-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs

2026-05-16T03:40:31Z

Yazar Chein, Michel. author. Mugnier, Marie-Laure. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-286-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Generic Optimization Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks

2026-05-16T03:40:31Z

Yazar Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of 3D Graphics Programming Using JOGL and Java3D

2026-05-16T03:40:31Z

Yazar Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-284-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Heterogeneous Objects Modelling and Applications Collection of Papers on Foundations and Practice

2026-05-16T03:40:31Z

Yazar Pasko, Alexander. editor. Adzhiev, Valery. editor. Comninos, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68443-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2026-05-16T03:40:31Z

Yazar Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

2026-05-16T03:40:31Z

Yazar Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77684-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of C++/CLI The Visual C++ Language for .NET 3.5

2026-05-16T03:40:31Z

Yazar Hogenson, Gordon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-1024-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings

2026-05-16T03:40:31Z

Yazar An, Aijun. editor. Matwin, Stan. editor. Raś, Zbigniew W. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68123-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2026-05-16T03:40:31Z

Yazar Amadio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

2026-05-16T03:40:31Z

Yazar Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security What Every Programmer Needs to Know

2026-05-16T03:40:31Z

Yazar Daswani, Neil. author. Kern, Christoph. author. Kesavan, Anita. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0377-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Microsoft Expression Web The Basics and Beyond

2026-05-16T03:40:31Z

Yazar Wise, Cheryl D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0392-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2026-05-16T03:40:31Z

Yazar Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Melin, Patricia. editor. Castillo, Oscar. editor. Aguilar, Luis T. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72950-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Schmorrow, Dylan D. editor. Reeves, Leah M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73216-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73482-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2026-05-16T03:40:31Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74871-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2026-05-16T03:40:31Z

Yazar Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling – Foundations and Applications ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007. Proceedings

2026-05-16T03:40:31Z

Yazar Hainaut, Jean-Luc. editor. Rundensteiner, Elke A. editor. Kirchberg, Markus. editor. Bertolotto, Michela. editor. Brochhausen, Mathias. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76292-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of 3D Graphics Programming Using JOGL and Java3D

2026-05-16T03:40:31Z

Yazar Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-597-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Decision-making Support Systems Foundations, Applications and Challenges

2026-05-16T03:40:31Z

Yazar Gupta, Jatinder N. D. author. Forgionne, Guisseppi A. author. Mora T., Manuel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-231-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile

2026-05-16T03:40:31Z

Yazar Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-34735-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

2026-05-16T03:40:31Z

Yazar Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11663881
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2026-05-16T03:40:31Z

Yazar Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11821069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns

2026-05-16T03:40:31Z

Yazar Gross, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0077-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0

2026-05-16T03:40:31Z

Yazar Moroney, Laurence. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0175-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2026-05-16T03:40:31Z

Yazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11690634
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2026-05-16T03:40:31Z

Yazar Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11787044
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings

2026-05-16T03:40:31Z

Yazar Esposito, Floriana. editor. Raś, Zbigniew W. editor. Malerba, Donato. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11875604
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2026-05-16T03:40:31Z

Yazar Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11944836
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Line Engineering Foundations, Principles, and Techniques

2026-05-16T03:40:31Z

Yazar Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28901-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2026-05-16T03:40:31Z

Yazar Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104325
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11538097
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2026-05-16T03:40:31Z

Yazar Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549345
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-05-16T03:40:31Z

Yazar Sassone, Vladimiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106850
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

2026-05-16T03:40:31Z

Yazar Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136551
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Genetic Algorithms 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138412
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

2026-05-16T03:40:31Z

Yazar Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11571155
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence for Scientific Discovery Foundations, Theories, and Systems

2026-05-16T03:40:31Z

Yazar Cai, Yang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105582
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2026-05-16T03:40:31Z

Yazar Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11590156
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis

2026-05-16T03:40:31Z

Yazar Iglesias, M. author. Naudts, B. author. Verschoren, A. author. Vidal, C. author. Lowen, R. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3665-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of AOP for J2EE Development

2026-05-16T03:40:31Z

Yazar Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0063-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2026-05-16T03:40:31Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11554578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Intelligent Systems 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings

2026-05-16T03:40:31Z

Yazar Hacid, Mohand-Said. editor. Murray, Neil V. editor. Raś, Zbigniew W. editor. Tsumoto, Shusaku. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136302
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2026-05-16T03:40:31Z

Yazar Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11581741
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof, language, and interaction essays in honour of Robin Milner

2026-05-16T03:40:31Z

Yazar Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and information flow

2026-05-16T03:40:31Z

Yazar Eijck, J. van (Jan) Visser, Albert.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Elastic Oscillations Equations and Methods

2026-05-16T03:40:31Z

Yazar Fridman, Vladimir. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4786-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-05-16T03:40:31Z

Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85352-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-05-16T03:40:31Z

Yazar Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68538-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-valued Logic for Decision-Making Under Uncertainty

2026-05-16T03:40:31Z

Yazar Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74762-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-05-16T03:40:31Z

Yazar Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44734-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Simulation A Model Driven Engineering Approach

2026-05-16T03:40:31Z

Yazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Metaheuristics Powerful Tools for Optimization

2026-05-16T03:40:31Z

Yazar Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30883-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2026-05-16T03:40:31Z

Yazar Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision Diagrams for Optimization

2026-05-16T03:40:31Z

Yazar Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42849-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-05-16T03:40:31Z

Yazar Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE(330586.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-05-16T03:40:31Z

Yazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Yer Numarası ONLINE(330882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

2026-05-16T03:40:31Z

Yazar Coutinho, Murilo G. author. SpringerLink (Online service)
Yer Numarası ONLINE(330975.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4417-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2026-05-16T03:40:31Z

Yazar Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-8176-4465-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Utility Maximization in Nonconvex Wireless Systems

2026-05-16T03:40:31Z

Yazar Brehmer, Johannes. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17438-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Achievable Rate of Stationary Fading Channels

2026-05-16T03:40:31Z

Yazar Dörpinghaus, Meik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19780-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Signal Processing for Wireless Communications

2026-05-16T03:40:31Z

Yazar Dietrich, Frank A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Estimation and Detection in Krylov Subspaces

2026-05-16T03:40:31Z

Yazar Dietl, Guido K.E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68479-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

2026-05-16T03:40:31Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75107-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

2026-05-16T03:40:31Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A First Introduction to Quantum Computing and Information

2026-05-16T03:40:31Z

Yazar Zygelman, Bernard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66425-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-05-16T03:40:31Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75775-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-05-16T03:40:31Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80889-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2292-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Computation Automata, Formal Languages, Computation and Complexity

2026-05-16T03:40:31Z

Yazar Chowdhary, K.R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6234-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84595-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-05-16T03:40:31Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

2026-05-16T03:40:31Z

Yazar Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95908-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-05-16T03:40:31Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75778-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86695-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-05-16T03:40:31Z

Yazar Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-7956-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

2026-05-16T03:40:31Z

Yazar Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97100-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71162-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73709-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74234-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

2026-05-16T03:40:31Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75380-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

2026-05-16T03:40:31Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73741-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

2026-05-16T03:40:31Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67695-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77019-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maths For Computing A Beginner's Guide

2026-05-16T03:40:31Z

Yazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69234-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80308-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80311-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic in Computer Science

2026-05-16T03:40:31Z

Yazar Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9816-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82670-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74776-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-05-16T03:40:31Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82697-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2882-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2885-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

2026-05-16T03:40:31Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46002-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51777-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

2026-05-16T03:40:31Z

Yazar Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61716-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63772-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63775-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66021-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72621-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-05-16T03:40:31Z

Yazar Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9282-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52113-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

2026-05-16T03:40:31Z

Yazar Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55245-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-05-16T03:40:31Z

Yazar Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-1417-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms

2026-05-16T03:40:31Z

Yazar Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-69007-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2300-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60878-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63759-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63783-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63742-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63498-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63501-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solving Ordinary Differential Equations in Python

2026-05-16T03:40:31Z

Yazar Sundnes, Joakim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46768-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

2026-05-16T03:40:31Z

Yazar Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55630-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

2026-05-16T03:40:31Z

Yazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56222-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Chen, Xujin. editor. (orcid)0000-0001-7844-5411 Li, Bo. editor. (orcid)0000-0001-7500-8355 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2340-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63751-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63536-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics in Programming

2026-05-16T03:40:31Z

Yazar Liu, Xinyu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2432-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66064-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65941-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71294-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0617-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

2026-05-16T03:40:31Z

Yazar Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71112-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Thinking First Algorithms, Then Code

2026-05-16T03:40:31Z

Yazar Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59922-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2026-05-16T03:40:31Z

Yazar Polkowski, Lech T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42034-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model-Based Systems Engineering

2026-05-16T03:40:31Z

Yazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-93582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics and machine learning : from Martingales to metaheuristics

2026-05-16T03:40:31Z

Yazar Winters-Hilt, Stephen, author.
Yer Numarası Q325.5 .W558 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2026-05-16T03:40:31Z

Yazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51046-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

2026-05-16T03:40:31Z

Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70700-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-05-16T03:40:31Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68690-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Analysis for Software Verification and Security

2026-05-16T03:40:31Z

Yazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68670-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66320-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70169-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67729-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-05-16T03:40:31Z

Yazar Draheim, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69868-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6893-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67549-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70694-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68015-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

2026-05-16T03:40:31Z

Yazar Gorrieri, Roberto. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55559-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66107-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70389-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72044-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Yang, Hongseok. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54434-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63342-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52228-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68034-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-05-16T03:40:31Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52234-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57288-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-05-16T03:40:31Z

Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53946-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-05-16T03:40:31Z

Yazar Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65765-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2026-05-16T03:40:31Z

Yazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51653-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1