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

Springer Handbook of Robotics

2026-03-21T22:51:14Z

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

Financial Modeling A Backward Stochastic Differential Equations Perspective

2026-03-21T22:51:14Z

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

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

2026-03-21T22:51:14Z

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

Diskrete Mathematik: Geordnete Mengen

2026-03-21T22:51:14Z

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

Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra und Kombinatorik

2026-03-21T22:51:14Z

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

Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen

2026-03-21T22:51:14Z

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

Studienarbeiten schreiben Seminar-, Bachelor-, Master- und Diplomarbeiten in den Wirtschaftswissenschaften

2026-03-21T22:51:14Z

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

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

2026-03-21T22:51:14Z

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

Medienrecht

2026-03-21T22:51:14Z

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

Optimierungsmethoden Eine Einführung

2026-03-21T22:51:14Z

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

Digitaltechnik — Eine praxisnahe Einführung

2026-03-21T22:51:14Z

Yazar Biere, Armin. author. Kroening, Daniel. author. Weissenbacher, Georg. author. Wintersteiger, Christoph M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77729-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Medienpsychologie

2026-03-21T22:51:14Z

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

Algebra und Diskrete Mathematik 1 Grundbegriffe der Mathematik, Algebraische Strukturen 1, Lineare Algebra und Analytische Geometrie, Numerische Algebra

2026-03-21T22:51:14Z

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

Übungsbuch zur Linearen Algebra und analytischen Geometrie Aufgaben mit Lösungen

2026-03-21T22:51:14Z

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

Diskrete Strukturen Band 1: Kombinatorik, Graphentheorie, Algebra

2026-03-21T22:51:14Z

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

Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technik

2026-03-21T22:51:14Z

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

Diskrete Mathematik Eine Entdeckungsreise

2026-03-21T22:51:14Z

Yazar Matoušek, Jiří. author. Nešetřil, Jaroslav. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-30324-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wissenschaftliches Rechnen mit MATLAB

2026-03-21T22:51:14Z

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

Informatik für Ingenieure und Naturwissenschaftler Eine anschauliche Einführung in das Programmieren mit C und Java

2026-03-21T22:51:14Z

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

Grundfragen der Medienwirtschaft

2026-03-21T22:51:14Z

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

Einführung in die Programmierung Grundlagen, Java, UML

2026-03-21T22:51:14Z

Yazar Braun, Robert. author. Esswein, Werner. author. Greiffenberg, Steffen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32856-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methoden der Bioinformatik Eine Einführung

2026-03-21T22:51:14Z

Yazar Hütt, Marc-Thorsten. author. Dehnert, Manuel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32954-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technische Informatik 2 Grundlagen der Computertechnik

2026-03-21T22:51:14Z

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

Einführung in die Analysis dynamischer Systeme

2026-03-21T22:51:14Z

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

Forecast Error Correction using Dynamic Data Assimilation

2026-03-21T22:51:14Z

Yazar Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39997-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neuromathematik und Assoziativmaschinen

2026-03-21T22:51:14Z

Yazar Bentz, Hans-Joachim. author. Dierks, Andreas. author. SpringerLink (Online service)
Yer Numarası ONLINE(337305.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37938-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Kombinatorische Optimierung Theorie und Algorithmen

2026-03-21T22:51:14Z

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

Dot-Dash to Dot.Com How Modern Telecommunications Evolved from the Telegraph to the Internet

2026-03-21T22:51:14Z

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

Wissenschaftliches Rechnen

2026-03-21T22:51:14Z

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

Informationsverarbeitung in Versicherungsunternehmen

2026-03-21T22:51:14Z

Yazar Aschenbrenner, Michael. editor. Dicke, Ralph. editor. Karnarski, Bertel. editor. Schweiggert, Franz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04321-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability Models

2026-03-21T22:51:14Z

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

Semantic Web and Web Science

2026-03-21T22:51:14Z

Yazar Li, Juanzi. editor. Qi, Guilin. editor. Zhao, Dongyan. editor. Nejdl, Wolfgang. editor. Zheng, Hai-Tao. editor.
Yer Numarası ONLINE(332145.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6880-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The 3rd International Workshop on Intelligent Data Analysis and Management

2026-03-21T22:51:14Z

Yazar Uden, Lorna. editor. Wang, Leon S.L. editor. Hong, Tzung-Pei. editor. Yang, Hsin-Chang. editor. Ting, I-Hsien. editor.
Yer Numarası ONLINE(336358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-7293-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010

2026-03-21T22:51:14Z

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

Statistics for High-Dimensional Data Methods, Theory and Applications

2026-03-21T22:51:14Z

Yazar Bühlmann, Peter. author. van de Geer, Sara. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20192-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation Algorithms for Complex Systems Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009

2026-03-21T22:51:14Z

Yazar Georgoulis, Emmanuil H. editor. Iske, Armin. editor. Levesley, Jeremy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16876-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Probability

2026-03-21T22:51:14Z

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

Mathematica®: A Problem-Centered Approach

2026-03-21T22:51:14Z

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

The q-theory of Finite Semigroups

2026-03-21T22:51:14Z

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

A First Course in Bayesian Statistical Methods

2026-03-21T22:51:14Z

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

An Intermediate Course in Probability

2026-03-21T22:51:14Z

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

Introduction to Nonparametric Estimation

2026-03-21T22:51:14Z

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

Principles and Theory for Data Mining and Machine Learning

2026-03-21T22:51:14Z

Yazar Clarke, Bertrand. author. Fokoue, Ernest. author. Zhang, Hao Helen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-98135-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Criteria and Statistical Modeling

2026-03-21T22:51:14Z

Yazar Konishi, Sadanori. author. Kitagawa, Genshiro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71887-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern Multivariate Statistical Techniques Regression, Classification, and Manifold Learning

2026-03-21T22:51:14Z

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

Linear Models and Generalizations Least Squares and Alternatives

2026-03-21T22:51:14Z

Yazar Rao, C. Radhakrishna. author. Shalabh. author. Toutenburg, Helge. author. Heumann, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74227-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian Core: A Practical Approach to Computational Bayesian Statistics

2026-03-21T22:51:14Z

Yazar Marin, Jean-Michel. author. Robert, Christian P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-38983-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists

2026-03-21T22:51:14Z

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

Matrix Algebra Theory, Computations, and Applications in Statistics

2026-03-21T22:51:14Z

Yazar Gentle, James E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-70873-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonparametric Functional Data Analysis Theory and Practice

2026-03-21T22:51:14Z

Yazar Ferraty, Frédéric. author. Vieu, Philippe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-36620-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measure Theory and Probability Theory

2026-03-21T22:51:14Z

Yazar Athreya, Krishna B. author. Lahiri, Soumendra N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-35434-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite Mixture and Markov Switching Models

2026-03-21T22:51:14Z

Yazar Frühwirth-Schnatter, Sylvia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-35768-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory

2026-03-21T22:51:14Z

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

Finite Model Theory

2026-03-21T22:51:14Z

Yazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28788-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Kompakt-Lexikon Wirtschaftsinformatik 1.500 Begriffe nachschlagen, verstehen, anwenden.

2026-03-21T22:51:14Z

Yazar Springer Fachmedien Wiesbaden. editor. SpringerLink (Online service)
Yer Numarası ONLINE(338125.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-03029-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Engineering Optimisation with the Bees Algorithm

2026-03-21T22:51:14Z

Yazar Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64936-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-03-21T22:51:14Z

Yazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28859-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explorations in Art and Technology

2026-03-21T22:51:14Z

Yazar Candy, Linda. author. Edmonds, Ernest. author. Poltronieri, Fabrizio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-7367-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rhythm, Play and Interaction Design

2026-03-21T22:51:14Z

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

Context-Aware Communication and Computing: Applications for Smart Environment

2026-03-21T22:51:14Z

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

Advances in Robot Kinematics 2016

2026-03-21T22:51:14Z

Yazar Lenarčič, Jadran. editor. Merlet, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56802-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality Art From an Emerging Technology to a Novel Creative Medium

2026-03-21T22:51:14Z

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

Museum Experience Design Crowds, Ecosystems and Novel Technologies

2026-03-21T22:51:14Z

Yazar Vermeeren, Arnold. editor. Calvi, Licia. editor. Sabiescu, Amalia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58550-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Personal Multimedia Preservation Remembering or Forgetting Images and Video

2026-03-21T22:51:14Z

Yazar Mezaris, Vasileios. editor. Niederée, Claudia. editor. Logie, Robert H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73465-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Music and Human-Computer Interaction

2026-03-21T22:51:14Z

Yazar Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330896.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2990-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday

2026-03-21T22:51:14Z

Yazar Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331109.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Visualisation in Arts and Culture

2026-03-21T22:51:14Z

Yazar Bowen, Jonathan P. editor. Keene, Suzanne. editor. Ng, Kia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331203.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5406-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012

2026-03-21T22:51:14Z

Yazar Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Optimization Applications Using the GAMS Technology

2026-03-21T22:51:14Z

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

Cell Formation in Industrial Engineering Theory, Algorithms and Experiments

2026-03-21T22:51:14Z

Yazar Goldengorin, Boris. author. Krushinsky, Dmitry. author. Pardalos, Panos M. author. SpringerLink (Online service)
Yer Numarası ONLINE(332379.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-8002-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

2026-03-21T22:51:14Z

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

Mixed Finite Element Methods and Applications

2026-03-21T22:51:14Z

Yazar Boffi, Daniele. author. Brezzi, Franco. author. Fortin, Michel. author. SpringerLink (Online service)
Yer Numarası ONLINE(334224.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36519-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Monte Carlo Simulation Method for System Reliability and Risk Analysis

2026-03-21T22:51:14Z

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

Visual Heritage in the Digital Age

2026-03-21T22:51:14Z

Yazar Ch'ng, Eugene. editor. Gaffney, Vincent. editor. Chapman, Henry. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331214.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5535-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inverse Problems and Large-Scale Computations

2026-03-21T22:51:14Z

Yazar Beilina, Larisa. editor. Shestopalov, Yury V. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332788.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00660-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback Applications to Assistive Robotics

2026-03-21T22:51:14Z

Yazar Prats, Mario. author. Pobil, Ángel P. del. author. Sanz, Pedro J. author. SpringerLink (Online service)
Yer Numarası ONLINE(333685.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33241-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Mathematics and Informatics in Military Science

2026-03-21T22:51:14Z

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

Deterministic Global Optimization Geometric Branch-and-bound Methods and their Applications

2026-03-21T22:51:14Z

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

Pyomo – Optimization Modeling in Python

2026-03-21T22:51:14Z

Yazar Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3226-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability of Networked Computer-based Systems

2026-03-21T22:51:14Z

Yazar Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-318-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Virtual Future

2026-03-21T22:51:14Z

Yazar Bainbridge, William Sims. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-904-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sleep and Anesthesia Neural Correlates in Theory and Experiment

2026-03-21T22:51:14Z

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

Spectral Methods Algorithms, Analysis and Applications

2026-03-21T22:51:14Z

Yazar Shen, Jie. author. Tang, Tao. author. Wang, Li-Lian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71041-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reinventing Ourselves: Contemporary Concepts of Identity in Virtual Worlds

2026-03-21T22:51:14Z

Yazar Peachey, Anna. editor. Childs, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-361-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation and Computation In Honor of Gradimir V. Milovanović

2026-03-21T22:51:14Z

Yazar Gautschi, Walter. editor. Mastroianni, Giuseppe. editor. Rassias, Themistocles M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6594-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Manufacturing

2026-03-21T22:51:14Z

Yazar Khan, Wasim Ahmed. author. Raouf, Abdul. author. Cheng, Kai. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-186-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Perspective on Stereophonic Acoustic Echo Cancellation

2026-03-21T22:51:14Z

Yazar Benesty, Jacob. author. Paleologu, Constantin. author. Gänsler, Tomas. author. Ciochină, Silviu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22574-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms

2026-03-21T22:51:14Z

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

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications

2026-03-21T22:51:14Z

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

Complex Intelligent Systems and Their Applications

2026-03-21T22:51:14Z

Yazar Xhafa, Fatos. editor. Barolli, Leonard. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1636-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CyberForensics Understanding Information Security Investigations

2026-03-21T22:51:14Z

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

Speech Processing in Modern Communication Challenges and Perspectives

2026-03-21T22:51:14Z

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

Advances in Modeling Agricultural Systems

2026-03-21T22:51:14Z

Yazar Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-75181-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Noise Reduction in Speech Processing

2026-03-21T22:51:14Z

Yazar Cohen, Israel. author. Huang, Yiteng. author. Chen, Jingdong. author. Benesty, Jacob. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00296-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to the Graphical Theory of Angular Momentum Case Studies

2026-03-21T22:51:14Z

Yazar Balcar, Ewald. author. Lovesey, Stephen W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03118-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ERP Systems and Organisational Change A Socio-technical Insight

2026-03-21T22:51:14Z

Yazar Grabot, Bernard. editor. Mayère, Anne. editor. Bazet, Isabelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-183-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Sense of Touch and its Rendering Progress in Haptics Research

2026-03-21T22:51:14Z

Yazar Bicchi, Antonio. editor. Buss, Martin. editor. Ernst, Marc O. editor. Peer, Angelika. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79035-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Approaches to Circle Packing in a Square With Program Codes

2026-03-21T22:51:14Z

Yazar Szabó, P. G. author. Markót, M. Cs. author. Csendes, T. author. Specht, E. author. Casado, L. G. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-45676-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Field-Based Coordination for Pervasive Multiagent Systems

2026-03-21T22:51:14Z

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

Optimization Theory and Methods Nonlinear Programming

2026-03-21T22:51:14Z

Yazar Sun, Wenyu. author. Yuan, Ya-Xiang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106451
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology

2026-03-21T22:51:14Z

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

System-level Test and Validation of Hardware/Software Systems

2026-03-21T22:51:14Z

Yazar Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-145-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-point Interaction with Real and Virtual Objects

2026-03-21T22:51:14Z

Yazar Barbagli, Federico. editor. Prattichizzo, Domenico. editor. Salisbury, Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136620
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Decomposition Methods — Algorithms and Theory

2026-03-21T22:51:14Z

Yazar Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137868
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Musical Haptics

2026-03-21T22:51:14Z

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

Modeling, Simulation, and Optimization

2026-03-21T22:51:14Z

Yazar Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70542-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers

2026-03-21T22:51:14Z

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

Multi-finger Haptic Interaction

2026-03-21T22:51:14Z

Yazar Galiana, Ignacio. editor. Ferre, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331173.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5204-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistical Methods for Spoken Dialogue Management

2026-03-21T22:51:14Z

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

New Geometric Data Structures for Collision Detection and Haptics

2026-03-21T22:51:14Z

Yazar Weller, René. author. SpringerLink (Online service)
Yer Numarası ONLINE(332832.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01020-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding

2026-03-21T22:51:14Z

Yazar Wiertlewski, Michaël. author. SpringerLink (Online service)
Yer Numarası ONLINE(331074.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4841-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Community Structure of Complex Networks

2026-03-21T22:51:14Z

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

Product of Random Stochastic Matrices and Distributed Averaging

2026-03-21T22:51:14Z

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

Advances in K-means Clustering A Data Mining Thinking

2026-03-21T22:51:14Z

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

Performance Metrics for Haptic Interfaces

2026-03-21T22:51:14Z

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

Immersive Multimodal Interactive Presence

2026-03-21T22:51:14Z

Yazar Peer, Angelika. editor. Giachritsis, Christos D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2754-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Relevance of the Time Domain to Neural Network Models

2026-03-21T22:51:14Z

Yazar Rao, A. Ravishankar. editor. Cecchi, Guillermo A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0724-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Modern Mathematical Computing With Mathematica®

2026-03-21T22:51:14Z

Yazar Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4253-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics

2026-03-21T22:51:14Z

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

Haptic Interaction with Deformable Objects Modelling VR Systems for Textiles

2026-03-21T22:51:14Z

Yazar Böttcher, Guido. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-935-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perception-Action Cycle Models, Architectures, and Hardware

2026-03-21T22:51:14Z

Yazar Cutsuridis, Vassilis. editor. Hussain, Amir. editor. Taylor, John G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1452-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Modern Mathematical Computing With Maple™

2026-03-21T22:51:14Z

Yazar Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0122-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Invariants of Behavior Constancy and Variability in Neural Systems

2026-03-21T22:51:14Z

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

Haptics Technologies Bringing Touch to Multimedia

2026-03-21T22:51:14Z

Yazar El Saddik, Abdulmotaleb. author. Orozco, Mauricio. author. Eid, Mohamad. author. Cha, Jongeun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22658-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling of Curves and Surfaces with MATLAB®

2026-03-21T22:51:14Z

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

Algorithms and Programming Problems and Solutions

2026-03-21T22:51:14Z

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

Optimization—Theory and Practice

2026-03-21T22:51:14Z

Yazar Forst, Wilhelm. author. Hoffmann, Dieter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-78977-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematics of Medical Imaging A Beginner’s Guide

2026-03-21T22:51:14Z

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

Mathématiques et Technologie

2026-03-21T22:51:14Z

Yazar Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69213-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Basic Probability Theory with Applications

2026-03-21T22:51:14Z

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

Mathematics and Technology

2026-03-21T22:51:14Z

Yazar Rousseau, Christiane. author. Saint-Aubin, Yvan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69216-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Based Approaches in Economic and Social Complex Systems IV Post-Proceedings of The AESCS International Workshop 2005

2026-03-21T22:51:14Z

Yazar Terano, Takao. editor. Kita, Hajime. editor. Deguchi, Hiroshi. editor. Kijima, Kyoichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-71307-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Document Retrieval Exploiting Markup Structure

2026-03-21T22:51:14Z

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

Verteilte Systeme Grundlagen und Basistechnologien

2026-03-21T22:51:14Z

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

Verteilte Systeme Grundlagen und Basistechnologien

2026-03-21T22:51:14Z

Yazar Schill, Alexander. author. Springer, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68471-8
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-03-21T22:51:14Z

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-03-21T22:51:14Z

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

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73257-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science 20th International Conference, ICDATA 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-03-21T22:51:14Z

Yazar Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85856-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

2026-03-21T22:51:14Z

Yazar Suriyan, Kannadhasan. editor. (orcid)0000-0001-6443-9993 Sivakumar, Prasanna Devi. editor. Anand, Paavai Gopalan. editor. Palani, Durgadevi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88237-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87908-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88226-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web

2026-03-21T22:51:14Z

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

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 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-03-21T22:51:14Z

Yazar Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85902-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 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-03-21T22:51:14Z

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

Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90167-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

2026-03-21T22:51:14Z

Yazar Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87330-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4448-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4445-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Tools for Telemedicine

2026-03-21T22:51:14Z

Yazar Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81709-0
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-03-21T22:51:14Z

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

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

2026-03-21T22:51:14Z

Yazar Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2621-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maximal Planar Graph Theory and the Four-Color Conjecture

2026-03-21T22:51:14Z

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

New Frontiers in Artificial Intelligence JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219 Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-7071-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II

2026-03-21T22:51:14Z

Yazar Huang, Letian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-6403-0
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-03-21T22:51:14Z

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

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94571-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95497-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94677-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96228-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part IV

2026-03-21T22:51:14Z

Yazar Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96235-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

2026-03-21T22:51:14Z

Yazar Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97274-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-21T22:51:14Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97573-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-21T22:51:14Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97567-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-21T22:51:14Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94039-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-03364-2
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-03-21T22:51:14Z

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

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-03-21T22:51:14Z

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-03-21T22:51:14Z

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-03-21T22:51:14Z

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-03-21T22:51:14Z

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

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III

2026-03-21T22:51:14Z

Yazar Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77847-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77850-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77844-5
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-03-21T22:51:14Z

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

Maths For Computing A Beginner's Guide

2026-03-21T22:51:14Z

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

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-21T22:51:14Z

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

Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77012-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic in Computer Science

2026-03-21T22:51:14Z

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

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82703-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82700-6
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-03-21T22:51:14Z

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

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

2026-03-21T22:51:14Z

Yazar Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80283-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78750-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1090-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-03-21T22:51:14Z

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

Restarting Automata Extensions and Generalizations

2026-03-21T22:51:14Z

Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78701-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84924-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87054-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Computation Automata, Formal Languages, Computation and Complexity

2026-03-21T22:51:14Z

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

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 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-03-21T22:51:14Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85638-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 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-03-21T22:51:14Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85884-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86849-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 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-03-21T22:51:14Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4207-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Theory of Computation An Algorithmic Approach

2026-03-21T22:51:14Z

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

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-03-21T22:51:14Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97570-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97629-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-21T22:51:14Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97635-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97557-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-21T22:51:14Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97564-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93631-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Machine Learning in Sports Science

2026-03-21T22:51:14Z

Yazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70155-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, Learning, and Innovation 9th EAI International Conference, DLI 2024, Virtual Event, November 7-8, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Brooks, Eva. editor. (orcid)0000-0001-7338-1279 Edstrand, Emma. editor. (orcid)0000-0002-5325-435X Møller, Anders Kalsgaard. editor. (orcid)0000-0003-4581-4094 Bjørner, Thomas. editor. (orcid)0000-0001-9071-7168 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85663-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics and Digitalization for Sustainable Development and Well-Being

2026-03-21T22:51:14Z

Yazar Salman, Asma. editor. (orcid)0000-0002-5623-3087 Nawaz Tunio, Muhammad. editor. (orcid)0000-0003-1376-5371 Abdul Razzaq, Muthanna G. editor. (orcid)0009-0007-4831-1907 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81739-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 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-03-21T22:51:14Z

Yazar Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85933-5
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-03-21T22:51:14Z

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

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72044-4
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-03-21T22:51:14Z

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

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-8943-6
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-03-21T22:51:14Z

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

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

2026-03-21T22:51:14Z

Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70094-1
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-03-21T22:51:14Z

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-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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-03-21T22:51:14Z

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

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0602-3
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-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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-03-21T22:51:14Z

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

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

2026-03-21T22:51:14Z

Yazar Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principle of Petri Nets

2026-03-21T22:51:14Z

Yazar Yuan, Chongyi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7336-7
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-03-21T22:51:14Z

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

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-03-21T22:51:14Z

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

Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1490-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-21T22:51:14Z

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

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78709-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Humanizing AI with Personality

2026-03-21T22:51:14Z

Yazar Karimova, Gulnara Z. author. (orcid)0000-0003-1808-8373 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82327-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

2026-03-21T22:51:14Z

Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1195-9
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-03-21T22:51:14Z

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

Multi-valued Logic for Decision-Making Under Uncertainty

2026-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1093-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2845-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

2026-03-21T22:51:14Z

Yazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82024-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81806-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82021-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Ahmadi, Seyed-Ahmad. editor. (orcid)0000-0002-7082-0739 Kazi, Anees. editor. (orcid)0000-0003-4528-1670 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83243-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648 Nardin, Luis Gustavo. editor. (orcid)0000-0002-4506-2745 Lloyd, Nathan. editor. (orcid)0000-0002-7127-2500 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82039-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83882-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice

2026-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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

Biological Computing

2026-03-21T22:51:14Z

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

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 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-03-21T22:51:14Z

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

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83879-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 23rd International Conference on Informatics in Economy (IE 2024) Recent Results in Education, Research, and Applications

2026-03-21T22:51:14Z

Yazar Ciurea, Cristian. editor. (orcid)0000-0002-7327-0007 Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. (orcid)0000-0001-8395-7040 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0161-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87217-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 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-03-21T22:51:14Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:51:14Z

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

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90062-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90065-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89103-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

2026-03-21T22:51:14Z

Yazar Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87327-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

2026-03-21T22:51:14Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III

2026-03-21T22:51:14Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
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-03-21T22:51:14Z

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

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-03-21T22:51:14Z

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

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II

2026-03-21T22:51:14Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Applications 26th International Conference, ICAI 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-03-21T22:51:14Z

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 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86623-4
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-03-21T22:51:14Z

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

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

2026-03-21T22:51:14Z

Yazar Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

2026-03-21T22:51:14Z

Yazar Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2718-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-21T22:51:14Z

Yazar Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93706-4
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-03-21T22:51:14Z

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

Artificial Intelligence Applications and Innovations 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26-29, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Andreou, Andreas. editor. (orcid)0000-0001-7104-2097 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96239-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 III

2026-03-21T22:51:14Z

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

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95973-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95976-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-21T22:51:14Z

Yazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97626-1
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-03-21T22:51:14Z

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

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-21T22:51:14Z

Yazar Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90391-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R

2026-03-21T22:51:14Z

Yazar Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-08677-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77367-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IX

2026-03-21T22:51:14Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65329-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

2026-03-21T22:51:14Z

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

New Metaheuristic Schemes: Mechanisms and Applications

2026-03-21T22:51:14Z

Yazar Cuevas, Erik. author. (orcid)0000-0002-0358-6049 Zaldívar, Daniel. author. Pérez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45561-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solving Ordinary Differential Equations in Python

2026-03-21T22:51:14Z

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

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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 III

2026-03-21T22:51:14Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57256-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving

2026-03-21T22:51:14Z

Yazar Weng, Wei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-1477-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-03-21T22:51:14Z

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 II

2026-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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-03-21T22:51:14Z

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

Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65887-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics in Programming

2026-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

2026-03-21T22:51:14Z

Yazar Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64573-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-4985-0
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-03-21T22:51:14Z

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

Design, Learning, and Innovation 8th EAI International Conference, DLI 2023, Aalborg, Denmark, November 6-7, 2023, Proceedings

2026-03-21T22:51:14Z

Yazar Brooks, Eva. editor. (orcid)0000-0001-7338-1279 Kalsgaard Møller, Anders. editor. (orcid)0000-0003-4581-4094 Edstrand, Emma. editor. (orcid)0000-0002-5325-435X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67307-8
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-03-21T22:51:14Z

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

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

2026-03-21T22:51:14Z

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

Text, Speech, and Dialogue 27th International Conference, TSD 2024, Brno, Czech Republic, September 9-13, 2024, Proceedings, Part I

2026-03-21T22:51:14Z

Yazar Nöth, Elmar. editor. (orcid)0000-0002-3396-555X Horák, Aleš. editor. (orcid)0000-0001-6348-109X Sojka, Petr. editor. (orcid)0000-0002-5768-4007 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70563-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Text, Speech, and Dialogue 27th International Conference, TSD 2024, Brno, Czech Republic, September 9-13, 2024, Proceedings, Part II

2026-03-21T22:51:14Z

Yazar Nöth, Elmar. editor. (orcid)0000-0002-3396-555X Horák, Aleš. editor. (orcid)0000-0001-6348-109X Sojka, Petr. editor. (orcid)0000-0002-5768-4007 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70566-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1