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

Mathematical Linguistics

2026-01-20T10:25:03Z

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

Mathematical Methods in Counterterrorism

2026-01-20T10:25:03Z

Yazar Memon, Nasrullah. editor. David Farley, Jonathan. editor. Hicks, David L. editor. Rosenorn, Torben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-211-09442-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Course on Mathematical Logic

2026-01-20T10:25:03Z

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

A Mathematical Introduction to Compressive Sensing

2026-01-20T10:25:03Z

Yazar Foucart, Simon. author. Rauhut, Holger. author. SpringerLink (Online service)
Yer Numarası ONLINE(330552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4948-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Logic for Computer Science

2026-01-20T10:25:03Z

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

A Concise Introduction to Mathematical Logic

2026-01-20T10:25:03Z

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

Mathematical Logic Foundations for Information Science

2026-01-20T10:25:03Z

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

Advances in Mathematical and Statistical Modeling

2026-01-20T10:25:03Z

Yazar Minguez, Roberto. editor. Sarabia, Jose-Maria. editor. Balakrishnan, N. editor. Arnold, Barry C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4626-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Mathematical Logic

2026-01-20T10:25:03Z

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

Mathematical Approaches to Software Quality

2026-01-20T10:25:03Z

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

Constraint Theory Multidimensional Mathematical Model Management

2026-01-20T10:25:03Z

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

General systems theory mathematical foundations

2026-01-20T10:25:03Z

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

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2026-01-20T10:25:03Z

Yazar Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31072-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling, Simulation, Visualization and e-Learning

2026-01-20T10:25:03Z

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

Handbook of Mathematical Models in Computer Vision

2026-01-20T10:25:03Z

Yazar Paragios, Nikos. editor. Chen, Yunmei. editor. Faugeras, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28831-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2026-01-20T10:25:03Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97595-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-01-20T10:25:03Z

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

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-01-20T10:25:03Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14896-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012

2026-01-20T10:25:03Z

Yazar Ansorge, Rainer. editor. Bijl, Hester. editor. Meister, Andreas. editor. Sonar, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333681.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33221-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

2026-01-20T10:25:03Z

Yazar Gu, Edward Y L. author. SpringerLink (Online service)
Yer Numarası ONLINE(334717.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39047-0
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-01-20T10:25:03Z

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

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Yer Numarası ONLINE(334106.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334577.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38294-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

2026-01-20T10:25:03Z

Yazar Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Yer Numarası ONLINE(335941.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28212-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

2026-01-20T10:25:03Z

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

Applications of Discrete Geometry and Mathematical Morphology First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Köthe, Ullrich. editor. Montanvert, Annick. editor. Soille, Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32313-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Science of Cities and Regions Lectures on Mathematical Model Design

2026-01-20T10:25:03Z

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

An Introduction to Modern Mathematical Computing With Mathematica®

2026-01-20T10:25:03Z

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

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Morphology and Its Applications to Image and Signal Processing 10th International Symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Soille, Pierre. editor. Pesaresi, Martino. editor. Ouzounis, Georgios K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21569-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Mathematical Logic and Model Theory A Brief Introduction

2026-01-20T10:25:03Z

Yazar Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Modern Mathematical Computing With Maple™

2026-01-20T10:25:03Z

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

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles

2026-01-20T10:25:03Z

Yazar Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13606-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2026-01-20T10:25:03Z

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

Functions, Spaces, and Expansions Mathematical Tools in Physics and Engineering

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Dæhlen, Morten. editor. Floater, Michael. editor. Lyche, Tom. editor. Merrien, Jean-Louis. editor. Mørken, Knut. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11620-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Roots of Modern Technology An Elegant Survey of the Basic Mathematical and Scientific Concepts

2026-01-20T10:25:03Z

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

Computer Network Security 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

2026-01-20T10:25:03Z

Yazar Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15582-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Biology An Introduction with Maple and Matlab

2026-01-20T10:25:03Z

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

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2026-01-20T10:25:03Z

Yazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Morphology and Its Application to Signal and Image Processing 9th International Symposium, ISMM 2009 Groningen, The Netherlands, August 24-27, 2009 Proceedings

2026-01-20T10:25:03Z

Yazar Wilkinson, Michael H. F. editor. Roerdink, Jos B. T. M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03613-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

2026-01-20T10:25:03Z

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

Mathematical Methods in Computer Science Essays in Memory of Thomas Beth

2026-01-20T10:25:03Z

Yazar Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89994-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

2026-01-20T10:25:03Z

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

Mathematical Methods in Signal Processing and Digital Image Analysis

2026-01-20T10:25:03Z

Yazar Dahlhaus, Rainer. editor. Kurths, Jürgen. editor. Maass, Peter. editor. Timmer, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75632-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Mathematical and Statistical Methods in Insurance and Finance

2026-01-20T10:25:03Z

Yazar Perna, Cira. editor. Sibillo, Marilena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-0704-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Flows, Diffusion and Transport From Experiments via Mathematical Modeling to Numerical Simulation and Optimization Final Report of SFB (Collaborative Research Center) 359

2026-01-20T10:25:03Z

Yazar Jäger, Willi. editor. Rannacher, Rolf. editor. Warnatz, Jürgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-28396-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings

2026-01-20T10:25:03Z

Yazar Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73986-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

2026-01-20T10:25:03Z

Yazar Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

2026-01-20T10:25:03Z

Yazar Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-7549-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Computer Programming Techniques for Computer Graphics

2026-01-20T10:25:03Z

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

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

2026-01-20T10:25:03Z

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

Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

2026-01-20T10:25:03Z

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

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2026-01-20T10:25:03Z

Yazar Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11832225
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2026-01-20T10:25:03Z

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

Mathematical Morphology: 40 Years On Proceedings of the 7th International Symposium on Mathematical Morphology, April 18–20, 2005

2026-01-20T10:25:03Z

Yazar Ronse, Christian. editor. Najman, Laurent. editor. Decencière, Etienne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3443-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

2026-01-20T10:25:03Z

Yazar Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11560326
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Linear Ordering Problem Exact and Heuristic Methods in Combinatorial Optimization

2026-01-20T10:25:03Z

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

Cylindric-like Algebras and Algebraic Logic

2026-01-20T10:25:03Z

Yazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Erdős Centennial

2026-01-20T10:25:03Z

Yazar Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334774.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39286-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fete of Combinatorics and Computer Science

2026-01-20T10:25:03Z

Yazar Katona, Gyula O. H. editor. Schrijver, Alexander. editor. Szőnyi, Tamás. editor. Sági, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13580-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Large-Scale Random Networks

2026-01-20T10:25:03Z

Yazar Bollobás, Béla. editor. Kozma, Robert. editor. Miklós, Dezső. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69395-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Horizons of Combinatorics

2026-01-20T10:25:03Z

Yazar Győri, Ervin. editor. Katona, Gyula O. H. editor. Lovász, László. editor. Sági, Gábor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77200-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Computing and Cultural Heritage Contributions in Computational Humanities

2026-01-20T10:25:03Z

Yazar Bock, Hans Georg. editor. Jäger, Willi. editor. Winckler, Michael J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333171.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28021-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Based Parameter Estimation Theory and Applications

2026-01-20T10:25:03Z

Yazar Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Yer Numarası ONLINE(333324.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30367-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chains

2026-01-20T10:25:03Z

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

Advances in Artificial Economics The Economy as a Complex Dynamic System

2026-01-20T10:25:03Z

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

Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing

2026-01-20T10:25:03Z

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

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-01-20T10:25:03Z

Yazar Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35755-8
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-01-20T10:25:03Z

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

Informatics and machine learning : from Martingales to metaheuristics

2026-01-20T10:25:03Z

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

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0310-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to the Technique of Formative Processes in Set Theory

2026-01-20T10:25:03Z

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

Probability and Statistics for Computer Science

2026-01-20T10:25:03Z

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

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96271-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Objective Optimization Evolutionary to Hybrid Framework

2026-01-20T10:25:03Z

Yazar Mandal, Jyotsna K. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1471-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Cyber-Physical Systems

2026-01-20T10:25:03Z

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

Handbook of Model Checking

2026-01-20T10:25:03Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Eigenproblems in Image Processing and Computer Vision

2026-01-20T10:25:03Z

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

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2026-01-20T10:25:03Z

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

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size

2026-01-20T10:25:03Z

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

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2026-01-20T10:25:03Z

Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11245-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

2026-01-20T10:25:03Z

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

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2026-01-20T10:25:03Z

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

Introduction to Software Quality

2026-01-20T10:25:03Z

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

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2026-01-20T10:25:03Z

Yazar Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06410-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

2026-01-20T10:25:03Z

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

Economic Modeling Using Artificial Intelligence Methods

2026-01-20T10:25:03Z

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

Formal Languages and Compilation

2026-01-20T10:25:03Z

Yazar Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası ONLINE(331210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5514-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifacts

2026-01-20T10:25:03Z

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

Using Event-B for Critical Device Software Systems

2026-01-20T10:25:03Z

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

Optimization for Computer Vision An Introduction to Core Concepts and Methods

2026-01-20T10:25:03Z

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

Models and Algorithms for Genome Evolution

2026-01-20T10:25:03Z

Yazar Chauve, Cedric. editor. El-Mabrouk, Nadia. editor. Tannier, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331187.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5298-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability Models

2026-01-20T10:25:03Z

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

Multiscale Signal Analysis and Modeling

2026-01-20T10:25:03Z

Yazar Shen, Xiaoping. editor. Zayed, Ahmed I. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331437.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4145-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba

2026-01-20T10:25:03Z

Yazar Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Yer Numarası ONLINE(331582.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

2026-01-20T10:25:03Z

Yazar Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Yer Numarası ONLINE(331677.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A General Framework for Reasoning On Inconsistency

2026-01-20T10:25:03Z

Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası ONLINE(332107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear Optimization Applications Using the GAMS Technology

2026-01-20T10:25:03Z

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

Search Theory A Game Theoretic Perspective

2026-01-20T10:25:03Z

Yazar Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Yer Numarası ONLINE(332129.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-01-20T10:25:03Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332970.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03524-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2026-01-20T10:25:03Z

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

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2026-01-20T10:25:03Z

Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2026-01-20T10:25:03Z

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

Graphs, Networks and Algorithms

2026-01-20T10:25:03Z

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

High Performance Computing in Science and Engineering ‘12 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2012

2026-01-20T10:25:03Z

Yazar Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333700.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33374-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2026-01-20T10:25:03Z

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

Topological Derivatives in Shape Optimization

2026-01-20T10:25:03Z

Yazar Novotny, Antonio André. author. Sokołowski, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE(333955.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35245-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structure-Preserving Algorithms for Oscillatory Differential Equations

2026-01-20T10:25:03Z

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

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

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

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1

2026-01-20T10:25:03Z

Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334017.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(334041.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamics in Logistics Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings

2026-01-20T10:25:03Z

Yazar Kreowski, Hans-Jörg. editor. Scholz-Reiter, Bernd. editor. Thoben, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334089.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35966-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası ONLINE(334092.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2026-01-20T10:25:03Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334337.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36976-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Language of Mathematics A Linguistic and Philosophical Investigation

2026-01-20T10:25:03Z

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

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

2026-01-20T10:25:03Z

Yazar Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334443.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37502-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334465.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Logics Essays in Memory of Harald Ganzinger

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

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

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2026-01-20T10:25:03Z

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

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-01-20T10:25:03Z

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

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334634.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology Matching

2026-01-20T10:25:03Z

Yazar Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE(334659.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38721-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334666.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38771-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334673.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2026-01-20T10:25:03Z

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

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-01-20T10:25:03Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334722.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2026-01-20T10:25:03Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334723.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2026-01-20T10:25:03Z

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

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2026-01-20T10:25:03Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2026-01-20T10:25:03Z

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

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2026-01-20T10:25:03Z

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

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334778.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39310-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2026-01-20T10:25:03Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers

2026-01-20T10:25:03Z

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

Teoria degli Automi Finiti

2026-01-20T10:25:03Z

Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE(335644.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Argument of Mathematics

2026-01-20T10:25:03Z

Yazar Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

2026-01-20T10:25:03Z

Yazar Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası ONLINE(336496.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-95-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

Wirtschaftsverkehr 2013 Datenerfassung und verkehrsträgerübergreifende Modellierung des Güterverkehrs als Entscheidungsgrundlage für die Verkehrspolitik

2026-01-20T10:25:03Z

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

Calculus for Computer Graphics

2026-01-20T10:25:03Z

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

Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization

2026-01-20T10:25:03Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2026-01-20T10:25:03Z

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

Modelling Computing Systems Mathematics for Computer Science

2026-01-20T10:25:03Z

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

High Performance Computing in Science and Engineering ‘13 Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2013

2026-01-20T10:25:03Z

Yazar Nagel, Wolfgang E. editor. Kröner, Dietmar H. editor. Resch, Michael M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332902.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02165-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Meshfree Methods for Partial Differential Equations VI

2026-01-20T10:25:03Z

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

Numerical Mathematics and Advanced Applications 2011 Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011

2026-01-20T10:25:03Z

Yazar Cangiani, Andrea. editor. Davidchack, Ruslan L. editor. Georgoulis, Emmanuil. editor. Gorban, Alexander N. editor. Levesley, Jeremy. editor.
Yer Numarası ONLINE(333669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33134-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2026-01-20T10:25:03Z

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

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

2026-01-20T10:25:03Z

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

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334111.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XVI

2026-01-20T10:25:03Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Yer Numarası ONLINE(334220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2026-01-20T10:25:03Z

Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334264.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334355.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37064-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-20T10:25:03Z

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

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334382.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37195-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334617.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38536-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Condition The Geometry of Numerical Algorithms

2026-01-20T10:25:03Z

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

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2026-01-20T10:25:03Z

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

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334848.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334868.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39931-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334877.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-01-20T10:25:03Z

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

Paraconsistency: Logic and Applications

2026-01-20T10:25:03Z

Yazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335759.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2026-01-20T10:25:03Z

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

Belief Revision in Non-Classical Logics

2026-01-20T10:25:03Z

Yazar Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Yer Numarası ONLINE(330925.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2026-01-20T10:25:03Z

Yazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330942.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

2026-01-20T10:25:03Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE(331002.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game Analytics Maximizing the Value of Player Data

2026-01-20T10:25:03Z

Yazar Seif El-Nasr, Magy. editor. Drachen, Anders. editor. Canossa, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331053.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4769-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Polyhedral and Algebraic Methods in Computational Geometry

2026-01-20T10:25:03Z

Yazar Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)
Yer Numarası ONLINE(331067.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4817-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Outlier Analysis

2026-01-20T10:25:03Z

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

Bayesian Networks in R with Applications in Systems Biology

2026-01-20T10:25:03Z

Yazar Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Yer Numarası ONLINE(332033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seamless R and C++ Integration with Rcpp

2026-01-20T10:25:03Z

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

Cell Formation in Industrial Engineering Theory, Algorithms and Experiments

2026-01-20T10:25:03Z

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

The R Software Fundamentals of Programming and Statistical Analysis

2026-01-20T10:25:03Z

Yazar Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Yer Numarası ONLINE(332463.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization Approaches for Solving String Selection Problems

2026-01-20T10:25:03Z

Yazar Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)
Yer Numarası ONLINE(332467.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-9053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conversations About Challenges in Computing

2026-01-20T10:25:03Z

Yazar Bruaset, Are Magnus. editor. Tveito, Aslak. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00209-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control

2026-01-20T10:25:03Z

Yazar Soomere, Tarmo. editor. Quak, Ewald. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332753.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00440-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

2026-01-20T10:25:03Z

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

Concise Computer Mathematics Tutorials on Theory and Problems

2026-01-20T10:25:03Z

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

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik

2026-01-20T10:25:03Z

Yazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333036.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2026-01-20T10:25:03Z

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

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2026-01-20T10:25:03Z

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

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.
Yer Numarası ONLINE(334781.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39320-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contemporary Evolution Strategies

2026-01-20T10:25:03Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-01-20T10:25:03Z

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

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-01-20T10:25:03Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2026-01-20T10:25:03Z

Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334978.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2026-01-20T10:25:03Z

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

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2026-01-20T10:25:03Z

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

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2026-01-20T10:25:03Z

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

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335030.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40935-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings

2026-01-20T10:25:03Z

Yazar Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335031.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40942-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2026-01-20T10:25:03Z

Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335032.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings

2026-01-20T10:25:03Z

Yazar Brézillon, Patrick. editor. Blackburn, Patrick. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40972-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2026-01-20T10:25:03Z

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

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-01-20T10:25:03Z

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

Empirical Inference Festschrift in Honor of Vladimir N. Vapnik

2026-01-20T10:25:03Z

Yazar Schölkopf, Bernhard. editor. Luo, Zhiyuan. editor. Vovk, Vladimir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335060.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41136-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

2026-01-20T10:25:03Z

Yazar Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Yer Numarası ONLINE(335104.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41422-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Search: From Algorithms to Systems

2026-01-20T10:25:03Z

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

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335116.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41515-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

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

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-01-20T10:25:03Z

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

Complex Scheduling

2026-01-20T10:25:03Z

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

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam

2026-01-20T10:25:03Z

Yazar Bock, Hans Georg. editor. Hoang, Xuan Phu. editor. Rannacher, Rolf. editor. Schlöder, Johannes P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25707-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product of Random Stochastic Matrices and Distributed Averaging

2026-01-20T10:25:03Z

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

The Complexity of Valued Constraint Satisfaction Problems

2026-01-20T10:25:03Z

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

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

2026-01-20T10:25:03Z

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

Logic: A Brief Course

2026-01-20T10:25:03Z

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

Modern Optimization Techniques with Applications in Electric Power Systems

2026-01-20T10:25:03Z

Yazar Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1752-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Methods for Optimization

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

MATLAB for Psychologists

2026-01-20T10:25:03Z

Yazar Borgo, Mauro. author. Soranzo, Alessandro. author. Grassi, Massimo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-2197-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pyomo – Optimization Modeling in Python

2026-01-20T10:25:03Z

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

Criminal Justice Forecasts of Risk A Machine Learning Approach

2026-01-20T10:25:03Z

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

Applications of Mathematics and Informatics in Military Science

2026-01-20T10:25:03Z

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

Foundations of Algebraic Specification and Formal Software Development

2026-01-20T10:25:03Z

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

Der Wille zur Freiheit Eine gefährliche Reise durch Faschismus und Kommunismus

2026-01-20T10:25:03Z

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

Combinatorial Optimization Theory and Algorithms

2026-01-20T10:25:03Z

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

Kombinatorische Optimierung Theorie und Algorithmen

2026-01-20T10:25:03Z

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

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2026-01-20T10:25:03Z

Yazar Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Discrete Structures for Computer Science

2026-01-20T10:25:03Z

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

Recent Advances in Algorithmic Differentiation

2026-01-20T10:25:03Z

Yazar Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30023-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

2026-01-20T10:25:03Z

Yazar Cooper, S. Barry. editor. Dawar, Anuj. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30870-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2026-01-20T10:25:03Z

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

Einführung in Computational Social Choice Individuelle Strategien und kollektive Entscheidungen beim Spielen, Wählen und Teilen

2026-01-20T10:25:03Z

Yazar Rothe, Jörg. author. Baumeister, Dorothea. author. Lindner, Claudia. author. Rothe, Irene. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2571-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Controlling mit SAP® Eine praxisorientierte Einführung - Umfassende Fallstudie - Beispielhafte Anwendungen

2026-01-20T10:25:03Z

Yazar Friedl, Gunther. author. Hilz, Christian. author. Pedell, Burkhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2159-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Truth and Falsehood An Inquiry into Generalized Logical Values

2026-01-20T10:25:03Z

Yazar Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0907-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicriteria Analysis Applications to Water and Environment Management

2026-01-20T10:25:03Z

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

A Tiny Handbook of R

2026-01-20T10:25:03Z

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

Conditionals and Modularity in General Logics

2026-01-20T10:25:03Z

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

Evolutionary Multi-Criterion Optimization 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Takahashi, Ricardo H. C. editor. Deb, Kalyanmoy. editor. Wanner, Elizabeth F. editor. Greco, Salvatore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19893-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid and Cloud Database Management

2026-01-20T10:25:03Z

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

GeoSpatial Semantics 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Claramunt, Christophe. editor. Levashkin, Sergei. editor. Bertolotto, Michela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20630-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21350-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

2026-01-20T10:25:03Z

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

Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21875-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation and Computation In Honor of Gradimir V. Milovanović

2026-01-20T10:25:03Z

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

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

2026-01-20T10:25:03Z

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

R for SAS and SPSS Users

2026-01-20T10:25:03Z

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

Design of Modern Heuristics Principles and Application

2026-01-20T10:25:03Z

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

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2026-01-20T10:25:03Z

Yazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Classification and Multivariate Analysis for Complex Data Structures

2026-01-20T10:25:03Z

Yazar Fichet, Bernard. editor. Piccolo, Domenico. editor. Verde, Rosanna. editor. Vichi, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13312-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Viability Theory New Directions

2026-01-20T10:25:03Z

Yazar Aubin, Jean-Pierre. author. Bayen, Alexandre M. author. Saint-Pierre, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16684-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistics for High-Dimensional Data Methods, Theory and Applications

2026-01-20T10:25:03Z

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

Apartness and Uniformity A Constructive Development

2026-01-20T10:25:03Z

Yazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22415-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions

2026-01-20T10:25:03Z

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

Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms

2026-01-20T10:25:03Z

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

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2026-01-20T10:25:03Z

Yazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

2026-01-20T10:25:03Z

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

Logica: Metodo Breve

2026-01-20T10:25:03Z

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

Hybrid Logic and its Proof-Theory

2026-01-20T10:25:03Z

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