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

Foundations of F#

2025-12-08T04:31:26Z

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

Foundations of Ajax

2025-12-08T04:31:26Z

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

Foundations of Rule Learning

2025-12-08T04:31:26Z

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

Foundations of Qt Development

2025-12-08T04:31:26Z

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

Foundations of GTK+ Development

2025-12-08T04:31:26Z

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

Foundations of Computer Security

2025-12-08T04:31:26Z

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

Network Analysis Methodological Foundations

2025-12-08T04:31:26Z

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

Foundations of computer science

2025-12-08T04:31:26Z

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

Logical Foundations of Cyber-Physical Systems

2025-12-08T04:31:26Z

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

Foundations of Geometric Algebra Computing

2025-12-08T04:31:26Z

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

Internetworking Technological Foundations and Applications

2025-12-08T04:31:26Z

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

Theoretical Foundations of Artificial General Intelligence

2025-12-08T04:31:26Z

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

Dual Tableaux: Foundations, Methodology, Case Studies

2025-12-08T04:31:26Z

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

Foundations for Efficient Web Service Selection

2025-12-08T04:31:26Z

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

Mathematical Logic Foundations for Information Science

2025-12-08T04:31:26Z

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

Foundations of Popfly Rapid Mashup Development

2025-12-08T04:31:26Z

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

Foundations of Agile Python Development

2025-12-08T04:31:26Z

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

Foundations of ASP.NET AJAX

2025-12-08T04:31:26Z

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

Foundations of Java for ABAP Programmers

2025-12-08T04:31:26Z

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

SmartKom: Foundations of Multimodal Dialogue Systems

2025-12-08T04:31:26Z

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

Formal Concept Analysis Foundations and Applications

2025-12-08T04:31:26Z

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

General systems theory mathematical foundations

2025-12-08T04:31:26Z

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

Towards Hardware-Intrinsic Security Foundations and Practice

2025-12-08T04:31:26Z

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

Foundations of SQL Server 2005 Business Intelligence

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2025-12-08T04:31:26Z

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

Concept Invention Foundations, Implementation, Social Aspects and Applications

2025-12-08T04:31:26Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Modern Cryptography Primer Theoretical Foundations and Practical Applications

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

SemProM Foundations of Semantic Product Memories for the Internet of Things

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods

2025-12-08T04:31:26Z

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

Foundations of Algebraic Specification and Formal Software Development

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of SQL Server 2008 R2 Business Intelligence

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2025-12-08T04:31:26Z

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

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Scientific Data Mining and Knowledge Discovery Principles and Foundations

2025-12-08T04:31:26Z

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

Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForum

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of Systems Biology Using Cell Illustrator® and Pathway Databases

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of CentOS Linux Enterprise Linux On the Cheap

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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 C++/CLI The Visual C++ Language for .NET 3.5

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of 3D Graphics Programming Using JOGL and Java3D

2025-12-08T04:31:26Z

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

Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of Security What Every Programmer Needs to Know

2025-12-08T04:31:26Z

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

Foundations of Microsoft Expression Web The Basics and Beyond

2025-12-08T04:31:26Z

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

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns

2025-12-08T04:31:26Z

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

Intelligent Decision-making Support Systems Foundations, Applications and Challenges

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0

2025-12-08T04:31:26Z

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

Foundations of 3D Graphics Programming Using JOGL and Java3D

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Foundations of AOP for J2EE Development

2025-12-08T04:31:26Z

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

Software Product Line Engineering Foundations, Principles, and Techniques

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Ambient Intelligence for Scientific Discovery Foundations, Theories, and Systems

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Logic and information flow

2025-12-08T04:31:26Z

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

Theory of Elastic Oscillations Equations and Methods

2025-12-08T04:31:26Z

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

Guide to Modeling and Simulation of Systems of Systems

2025-12-08T04:31:26Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-08T04:31:26Z

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

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

2025-12-08T04:31:26Z

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

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2025-12-08T04:31:26Z

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

Utility Maximization in Nonconvex Wireless Systems

2025-12-08T04:31:26Z

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

On the Achievable Rate of Stationary Fading Channels

2025-12-08T04:31:26Z

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

Robust Signal Processing for Wireless Communications

2025-12-08T04:31:26Z

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

Linear Estimation and Detection in Krylov Subspaces

2025-12-08T04:31:26Z

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

Handbook of Model-Based Systems Engineering

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

A Course on Mathematical Logic

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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 Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2025-12-08T04:31:26Z

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

Reactive Kripke Semantics

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

Belief Revision in Non-Classical Logics

2025-12-08T04:31:26Z

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

2025-12-08T04:31:26Z

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

Cylindric-like Algebras and Algebraic Logic

2025-12-08T04:31:26Z

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

Mathematics of Fuzzy Sets and Fuzzy Logic

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

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

2025-12-08T04:31:26Z

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

The Argument of Mathematics

2025-12-08T04:31:26Z

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

Algorithms and theory of computation handbook. Special topics and techniques

2025-12-08T04:31:26Z

Yazar Atallah, Mikhail J. Blanton, Marina.
Yer Numarası QA76.9 .A43 A433 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1