Search Results for Foundations. - Narrowed by: Computer science.

Foundations of F#

2025-12-16T22:08:38Z

Author Pickering, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0358-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Ajax

2025-12-16T22:08:38Z

Author Asleson, Ryan. author. Schutta, Nathaniel T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0082-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Rule Learning

2025-12-16T22:08:38Z

Author Fürnkranz, Johannes. author. Gamberger, Dragan. author. Lavrač, Nada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75197-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Qt Development

2025-12-16T22:08:38Z

Author Thelin, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0251-6
Format: Electronic Resources
Availability Online Library~1

Foundations of GTK+ Development

2025-12-16T22:08:38Z

Author Krause, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0386-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Security

2025-12-16T22:08:38Z

Author Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-341-8
Format: Electronic Resources
Availability Online Library~1

Network Analysis Methodological Foundations

2025-12-16T22:08:38Z

Author Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106453
Format: Electronic Resources
Availability Online Library~1

Foundations of computer science

2025-12-16T22:08:38Z

Author Aho, Alfred V. Ullman, Jeffrey D., 1942-, ort. yaz.
Preferred Shelf Number QA76 .A334 1992
Format: Books
Availability Beytepe Library~1

Logical Foundations of Cyber-Physical Systems

2025-12-16T22:08:38Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Geometric Algebra Computing

2025-12-16T22:08:38Z

Author Hildenbrand, Dietmar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333490.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31794-1
Format: Electronic Resources
Availability Online Library~1

Internetworking Technological Foundations and Applications

2025-12-16T22:08:38Z

Author Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333971.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35392-5
Format: Electronic Resources
Availability Online Library~1

Theoretical Foundations of Artificial General Intelligence

2025-12-16T22:08:38Z

Author Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-62-6
Format: Electronic Resources
Availability Online Library~1

Dual Tableaux: Foundations, Methodology, Case Studies

2025-12-16T22:08:38Z

Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0005-5
Format: Electronic Resources
Availability Online Library~1

Foundations for Efficient Web Service Selection

2025-12-16T22:08:38Z

Author Yu, Qi. author. Bouguettaya, Athman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0314-3
Format: Electronic Resources
Availability Online Library~1

Mathematical Logic Foundations for Information Science

2025-12-16T22:08:38Z

Author Li, Wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-9977-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Popfly Rapid Mashup Development

2025-12-16T22:08:38Z

Author Griffin, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0568-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Agile Python Development

2025-12-16T22:08:38Z

Author Younker, Jeff. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0635-4
Format: Electronic Resources
Availability Online Library~1

Foundations of ASP.NET AJAX

2025-12-16T22:08:38Z

Author Pars, Robin. author. Moroney, Laurence. author. Grieb, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0199-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Java for ABAP Programmers

2025-12-16T22:08:38Z

Author Rooney, Alistair. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0140-3
Format: Electronic Resources
Availability Online Library~1

SmartKom: Foundations of Multimodal Dialogue Systems

2025-12-16T22:08:38Z

Author Wahlster, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36678-4
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2025-12-16T22:08:38Z

Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources
Availability Online Library~1

General systems theory mathematical foundations

2025-12-16T22:08:38Z

Author Mesarović, Mihajlo D. Takahara, Yasuhiko, 1935-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124915404
Format: Electronic Resources
Availability Online Library~1

Towards Hardware-Intrinsic Security Foundations and Practice

2025-12-16T22:08:38Z

Author Sadeghi, Ahmad-Reza. editor. Naccache, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14452-3
Format: Electronic Resources
Availability Online Library~1

Foundations of SQL Server 2005 Business Intelligence

2025-12-16T22:08:38Z

Author Langit, Lynn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0248-6
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2025-12-16T22:08:38Z

Author Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91155-7
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91476-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56045-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2025-12-16T22:08:38Z

Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91473-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75650-9
Format: Electronic Resources
Availability Online Library~1

Concept Invention Foundations, Implementation, Social Aspects and Applications

2025-12-16T22:08:38Z

Author Confalonieri, Roberto. editor. Pease, Alison. editor. Schorlemmer, Marco. editor. Besold, Tarek R. editor. Kutz, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65602-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233 Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90050-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-53956-5
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources
Availability Online Library~1

Software Project Effort Estimation Foundations and Best Practice Guidelines for Success

2025-12-16T22:08:38Z

Author Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03629-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334038.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources
Availability Online Library~1

SemProM Foundations of Semantic Product Memories for the Internet of Things

2025-12-16T22:08:38Z

Author Wahlster, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334416.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37377-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334925.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40313-2
Format: Electronic Resources
Availability Online Library~1

Modern Cryptography Primer Theoretical Foundations and Practical Applications

2025-12-16T22:08:38Z

Author Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335099.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41386-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333514.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Preferred Shelf Number ONLINE(334365.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335052.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41071-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334711.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334727.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334801.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39454-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Algebraic Specification and Formal Software Development

2025-12-16T22:08:38Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods

2025-12-16T22:08:38Z

Author Bærentzen, Jakob Andreas. author. Gravesen, Jens. author. Anton, François. author. Aanæs, Henrik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4075-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27901-0
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Liu, Zhiming. editor. Wassyng, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32355-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33296-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28279-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28472-4
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Birkedal, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28729-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Rovan, Branislav. editor. Sassone, Vladimiro. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32589-2
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Dellaert, Frank. editor. Frahm, Jan-Michael. editor. Pollefeys, Marc. editor. Leal-Taixé, Laura. editor. Rosenhahn, Bodo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34091-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Chen, Li. editor. Felfernig, Alexander. editor. Liu, Jiming. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34624-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Fensel, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19797-0
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Hofmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19805-2
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19829-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Chang, Edward Y. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20429-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Ferrández, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz, Félix. editor. Toledo, F. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21344-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author France, Robert B. editor. Kuester, Jochen M. editor. Bordbar, Behzad. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21470-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22993-0
Format: Electronic Resources
Availability Online Library~1

Analysis for Computer Scientists Foundations, Methods, and Algorithms

2025-12-16T22:08:38Z

Author Oberguggenberger, Michael. author. Ostermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-446-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Schmidt, Kjeld. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-068-1
Format: Electronic Resources
Availability Online Library~1

Foundations of SQL Server 2008 R2 Business Intelligence

2025-12-16T22:08:38Z

Author Fouché, Guy. author. Langit, Lynn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3325-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Zhou, Qihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24999-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25032-3
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21852-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Kryszkiewicz, Marzena. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor. Raś, Zbigniew W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21916-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

2025-12-16T22:08:38Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23082-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24897-9
Format: Electronic Resources
Availability Online Library~1

Scientific Data Mining and Knowledge Discovery Principles and Foundations

2025-12-16T22:08:38Z

Author Gaber, Mohamed Medhat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02788-8
Format: Electronic Resources
Availability Online Library~1

Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForum

2025-12-16T22:08:38Z

Author Bauer, Friedrich L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02992-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13595-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Memon, Nasrullah. editor. Alhajj, Reda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0294-7
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11618-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11829-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12032-9
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12566-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Rhodes, Brandon. author. Goerzen, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3004-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15155-2
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15164-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Schmorrow, Dylan D. editor. Estabrooke, Ivy V. editor. Grootjen, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02812-0
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03459-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03816-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03829-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Rauch, Jan. editor. Raś, Zbigniew W. editor. Berka, Petr. editor. Elomaa, Tapio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04125-9
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04211-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04944-6
Format: Electronic Resources
Availability Online Library~1

Foundations of CentOS Linux Enterprise Linux On the Cheap

2025-12-16T22:08:38Z

Author Baclit, Ryan. author. Sicam, Chivas. author. Membrey, Peter. author. Newbigin, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1965-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Systems Biology Using Cell Illustrator® and Pathway Databases

2025-12-16T22:08:38Z

Author Nagasaki, Masao. author. Saito, Ayumu. author. Doi, Atsushi. author. Matsuno, Hiroshi. author. Miyano, Satoru. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-023-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Möller, Torsten. editor. Hamann, Bernd. editor. Russell, Robert D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106657
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00596-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02674-4
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10452-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Mendling, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89224-3
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02463-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author An, Aijun. editor. Matwin, Stan. editor. Raś, Zbigniew W. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68123-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Pasko, Alexander. editor. Adzhiev, Valery. editor. Comninos, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68443-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77684-0
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Amadio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Lowen, Robert. editor. Verschoren, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6668-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hogenson, Gordon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1024-5
Format: Electronic Resources
Availability Online Library~1

Foundations of 3D Graphics Programming Using JOGL and Java3D

2025-12-16T22:08:38Z

Author Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-284-5
Format: Electronic Resources
Availability Online Library~1

Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs

2025-12-16T22:08:38Z

Author Chein, Michel. author. Mugnier, Marie-Laure. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-286-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Schmorrow, Dylan D. editor. Reeves, Leah M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73216-7
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74871-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Security What Every Programmer Needs to Know

2025-12-16T22:08:38Z

Author Daswani, Neil. author. Kern, Christoph. author. Kesavan, Anita. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0377-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Microsoft Expression Web The Basics and Beyond

2025-12-16T22:08:38Z

Author Wise, Cheryl D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0392-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Melin, Patricia. editor. Castillo, Oscar. editor. Aguilar, Luis T. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72950-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73482-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Hainaut, Jean-Luc. editor. Rundensteiner, Elke A. editor. Kirchberg, Markus. editor. Bertolotto, Michela. editor. Brochhausen, Mathias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76292-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34735-6
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11690634
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821069
Format: Electronic Resources
Availability Online Library~1

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0

2025-12-16T22:08:38Z

Author Moroney, Laurence. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0175-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Decision-making Support Systems Foundations, Applications and Challenges

2025-12-16T22:08:38Z

Author Gupta, Jatinder N. D. author. Forgionne, Guisseppi A. author. Mora T., Manuel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-231-4
Format: Electronic Resources
Availability Online Library~1

Foundations of 3D Graphics Programming Using JOGL and Java3D

2025-12-16T22:08:38Z

Author Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-597-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11663881
Format: Electronic Resources
Availability Online Library~1

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns

2025-12-16T22:08:38Z

Author Gross, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0077-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787044
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Esposito, Floriana. editor. Raś, Zbigniew W. editor. Malerba, Donato. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875604
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Wright, Alden H. editor. Vose, Michael D. editor. Jong, Kenneth A. editor. Schmitt, Lothar M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138412
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11581741
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11571155
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence for Scientific Discovery Foundations, Theories, and Systems

2025-12-16T22:08:38Z

Author Cai, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105582
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Iglesias, M. author. Naudts, B. author. Verschoren, A. author. Vidal, C. author. Lowen, R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3665-5
Format: Electronic Resources
Availability Online Library~1

Foundations of AOP for J2EE Development

2025-12-16T22:08:38Z

Author Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0063-5
Format: Electronic Resources
Availability Online Library~1

Software Product Line Engineering Foundations, Principles, and Techniques

2025-12-16T22:08:38Z

Author Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28901-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hacid, Mohand-Said. editor. Murray, Neil V. editor. Raś, Zbigniew W. editor. Tsumoto, Shusaku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136302
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538097
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549345
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554578
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106850
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136551
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: Electronic Resources
Availability Online Library~1

Logic and information flow

2025-12-16T22:08:38Z

Author Eijck, J. van (Jan) Visser, Albert.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: Electronic Resources
Availability Online Library~1

Theory of Elastic Oscillations Equations and Methods

2025-12-16T22:08:38Z

Author Fridman, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4786-2
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2025-12-16T22:08:38Z

Author Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330586.1)
Electronic Access http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Electronic Resources
Availability Online Library~1

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

2025-12-16T22:08:38Z

Author Coutinho, Murilo G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330975.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4417-5
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-16T22:08:38Z

Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330882.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: Electronic Resources
Availability Online Library~1

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2025-12-16T22:08:38Z

Author Pavlov, Alexey. author. Wouw, Nathan. author. Nijmeijer, Henk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4465-2
Format: Electronic Resources
Availability Online Library~1

Utility Maximization in Nonconvex Wireless Systems

2025-12-16T22:08:38Z

Author Brehmer, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17438-4
Format: Electronic Resources
Availability Online Library~1

On the Achievable Rate of Stationary Fading Channels

2025-12-16T22:08:38Z

Author Dörpinghaus, Meik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19780-2
Format: Electronic Resources
Availability Online Library~1

Robust Signal Processing for Wireless Communications

2025-12-16T22:08:38Z

Author Dietrich, Frank A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74249-4
Format: Electronic Resources
Availability Online Library~1

Linear Estimation and Detection in Krylov Subspaces

2025-12-16T22:08:38Z

Author Dietl, Guido K.E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68479-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Model-Based Systems Engineering

2025-12-16T22:08:38Z

Author Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-93582-5
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42034-4
Format: Electronic Resources
Availability Online Library~1

Belief Revision in Non-Classical Logics

2025-12-16T22:08:38Z

Author Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330925.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330942.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2025-12-16T22:08:38Z

Author Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331853.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334465.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Electronic Resources
Availability Online Library~1

Reactive Kripke Semantics

2025-12-16T22:08:38Z

Author Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335100.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Electronic Resources
Availability Online Library~1

Cylindric-like Algebras and Algebraic Logic

2025-12-16T22:08:38Z

Author Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333922.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35025-2
Format: Electronic Resources
Availability Online Library~1

Mathematics of Fuzzy Sets and Fuzzy Logic

2025-12-16T22:08:38Z

Author Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35221-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335941.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5301-3
Format: Electronic Resources
Availability Online Library~1

The Argument of Mathematics

2025-12-16T22:08:38Z

Author Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336263.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6534-4
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333036.1)
Electronic Access http://dx.doi.org/10.1007/978-3-540-70856-8
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334702.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Electronic Resources
Availability Online Library~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-16T22:08:38Z

Author Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334718.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-16T22:08:38Z

Author Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335032.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40948-6
Format: Electronic Resources
Availability Online Library~1

Algorithms and theory of computation handbook. Special topics and techniques

2025-12-16T22:08:38Z

Author Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number QA76.9 .A43 A433 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1