Search Results for Logic. - Narrowed by: 2010

Logic Colloquium 2007

2024-12-23T12:14:05Z

Author Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Logic the basics

2024-12-23T12:14:05Z

Author Beall, J. C.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Introduction to logic

2024-12-23T12:14:05Z

Author Suppes, Patrick Colonel, 1922-
Preferred Shelf Number BC 108 S85 1957
Format: Books
Availability Beytepe Library~1

Programmable logic controllers

2024-12-23T12:14:05Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number TJ223.P76 B65 2010
Format: Books
Availability Beytepe Library~1

Introduction to logic

2024-12-23T12:14:05Z

Author Gensler, Harry J., 1945-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Advances in modal logic

2024-12-23T12:14:05Z

Author Kracht, Marcus, ed.
Preferred Shelf Number BC 199.M6 A38 1998- V.1
Format: Books
Availability Beytepe Library~2

The science of logic

2024-12-23T12:14:05Z

Author Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-
Preferred Shelf Number B2942.E5 D5 2010
Format: Books
Availability Beytepe Library~1

The science of logic

2024-12-23T12:14:05Z

Author Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358
Format: Electronic Resources
Availability Online Library~1

The logic of practice

2024-12-23T12:14:05Z

Author Bourdieu, Pierre, 1930-2002
Preferred Shelf Number GN 468 B6813 1990
Format: Books
Availability Beytepe Library~1

Mathematical Logic Foundations for Information Science

2024-12-23T12:14:05Z

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

Logic Pro 9 audio and music production

2024-12-23T12:14:05Z

Author Cousins, Mark, 1972- Hepworth-Sawyer, Russ.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240521930
Format: Electronic Resources
Availability Online Library~1

Studies in inductive logic and probability

2024-12-23T12:14:05Z

Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Preferred Shelf Number QA 273.4 C37 1971-
Format: Books
Availability Beytepe Library~1

Logic : the theory of formal inference

2024-12-23T12:14:05Z

Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Preferred Shelf Number BC 108 A55 1972
Format: Books
Availability Beytepe Library~1

Mathematical logic : A course with exercises

2024-12-23T12:14:05Z

Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number QA 9 C742513 2000 PT.1
Format: Books
Availability Beytepe Library~2

Chance, love and logic : philosophical essays

2024-12-23T12:14:05Z

Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Preferred Shelf Number B 945.P43 C5 1923 (SET)
Format: Books
Availability Beytepe Library~1

A Concise Introduction to Mathematical Logic

2024-12-23T12:14:05Z

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

Modality metaphysics, logic, and epistemology

2024-12-23T12:14:05Z

Author Hale, Bob, 1945- Hoffmann, Aviv.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic and hydrological modeling

2024-12-23T12:14:05Z

Author ?en, Zekí.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic the question of truth

2024-12-23T12:14:05Z

Author Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Discrete structures, logic, and computability

2024-12-23T12:14:05Z

Author Hein, James L.
Preferred Shelf Number QA76.9.M35 H44 2010
Format: Books
Availability Beytepe Library~1

Fuzzy logic with engineering applications

2024-12-23T12:14:05Z

Author Ross, Timothy J. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781119994374 http://site.ebrary.com/lib/alltitles/Doc?id=10358927
Format: Electronic Resources
Availability Online Library~1

Data integration the relational logic approach

2024-12-23T12:14:05Z

Author Genesereth, Michael R., 1948-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318
Format: Electronic Resources
Availability Online Library~1

Linguistic Fuzzy Logic Methods in Social Sciences

2024-12-23T12:14:05Z

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

A Course in Mathematical Logic for Mathematicians

2024-12-23T12:14:05Z

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

Designing social research : the logic of anticipation

2024-12-23T12:14:05Z

Author Blaikie, Norman W. H., 1933-
Preferred Shelf Number H61 B53 2010
Format: Books
Availability Beytepe Library~1

Towards a Design Flow for Reversible Logic

2024-12-23T12:14:05Z

Author Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9579-4
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2024-12-23T12:14:05Z

Author Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: Electronic Resources
Availability Online Library~1

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

2024-12-23T12:14:05Z

Author Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8812-3
Format: Electronic Resources
Availability Online Library~1

The technique of controversy : principles of dynamic logic

2024-12-23T12:14:05Z

Author Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number BC 108 B65 1928 (SET)
Format: Books
Availability Beytepe Library~1

The limits of science : outline of logic and of the methodology of the exact sciences

2024-12-23T12:14:05Z

Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number Q 175 C494 1948 A (SET)
Format: Books
Availability Beytepe Library~1

Logic and Philosophy of Mathematics in the Early Husserl

2024-12-23T12:14:05Z

Author Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3246-1
Format: Electronic Resources
Availability Online Library~1

Postmodernism, or, The cultural logic of late capitalism

2024-12-23T12:14:05Z

Author Jameson, Fredric.
Preferred Shelf Number PN 98.P67 J3 1991
Format: Books
Availability Beytepe Library~2

The emotional and priestly logic of plural marriage

2024-12-23T12:14:05Z

Author Flake, Kathleen. Project Muse. Merrill-Cazier Library. Special Collections & Archives.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T12:14:05Z

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

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2024-12-23T12:14:05Z

Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12251-4
Format: Electronic Resources
Availability Online Library~1

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14287-1
Format: Electronic Resources
Availability Online Library~1

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2024-12-23T12:14:05Z

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

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

2024-12-23T12:14:05Z

Author Cao, Tru Hoang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14087-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

2024-12-23T12:14:05Z

Author Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14977-1
Format: Electronic Resources
Availability Online Library~1

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2024-12-23T12:14:05Z

Author Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15223-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic-Based Algorithms for Video De-Interlacing

2024-12-23T12:14:05Z

Author Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10695-8
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

2024-12-23T12:14:05Z

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

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

2024-12-23T12:14:05Z

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

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

2024-12-23T12:14:05Z

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

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2024-12-23T12:14:05Z

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

Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

2024-12-23T12:14:05Z

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

Quantitative Logic and Soft Computing 2010 Volume 2

2024-12-23T12:14:05Z

Author Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15660-1
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

2024-12-23T12:14:05Z

Author Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16310-4
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-12-23T12:14:05Z

Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17511-4
Format: Electronic Resources
Availability Online Library~1

The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940

2024-12-23T12:14:05Z

Author Mancosu, Paolo.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001
Format: Electronic Resources
Availability Online Library~1

Cognition and conditionals probability and logic in human thinking

2024-12-23T12:14:05Z

Author Oaksford, M. (Mike) Chater, Nick.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199233298.001.0001
Format: Electronic Resources
Availability Online Library~1

Cuts and clouds vagueness, its nature, and its logic

2024-12-23T12:14:05Z

Author Dietz, Richard. Moruzzi, Sebastiano.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199570386.001.0001
Format: Electronic Resources
Availability Online Library~1

The logic of discipline global capitalism and the architecture of government

2024-12-23T12:14:05Z

Author Roberts, Alasdair (Alasdair Scott)
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195374988.001.0001
Format: Electronic Resources
Availability Online Library~1

The decision model a business logic framework linking business and technology

2024-12-23T12:14:05Z

Author Von Halle, Barbara. Goldberg, Larry, 1946-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Simple formal logic with common-sense symbolic techniques

2024-12-23T12:14:05Z

Author Vander Nat, Arnold.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

The civil rights movement and the logic of social change

2024-12-23T12:14:05Z

Author Luders, Joseph E.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313291
Format: Electronic Resources
Availability Online Library~1

The multinational enterprise in developing countries local versus global logic

2024-12-23T12:14:05Z

Author Molz, Rick. Ratiu, Catalin. Taleb, Ali.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Rational theory of international politics : the logic of competition and cooperation

2024-12-23T12:14:05Z

Author Glaser, Charles L. (Charles Louis), 1954-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7t1j1
Format: Electronic Resources
Availability Online Library~1

Why not kill them all? : the logic and prevention of mass political murder

2024-12-23T12:14:05Z

Author Chirot, Daniel. McCauley, Clark R.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7pf8w
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

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

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

2024-12-23T12:14:05Z

Author Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14183-6
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

2024-12-23T12:14:05Z

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

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2024-12-23T12:14:05Z

Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15205-4
Format: Electronic Resources
Availability Online Library~1

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

2024-12-23T12:14:05Z

Author Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15025-8
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2024-12-23T12:14:05Z

Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

2024-12-23T12:14:05Z

Author Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16867-3
Format: Electronic Resources
Availability Online Library~1

Philosophy of Syntax Foundational Topics

2024-12-23T12:14:05Z

Author Talasiewicz, Mieszko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3288-1
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Proof Complexity

2024-12-23T12:14:05Z

Author Cook, Stephen. Nguyen, Phuong.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Category theory

2024-12-23T12:14:05Z

Author Awodey, Steve, 1959-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073
Format: Electronic Resources
Availability Online Library~1

Natural Deduction, Hybrid Systems and Modal Logics

2024-12-23T12:14:05Z

Author Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Electronic Resources
Availability Online Library~1

Kurt Gödel Essays for his Centennial

2024-12-23T12:14:05Z

Author Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

A Framework for Priority Arguments

2024-12-23T12:14:05Z

Author Lerman, Manuel.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Cleavage politics and the populist right the new cultural conflict in Western Europe

2024-12-23T12:14:05Z

Author Bornschier, Simon. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

2024-12-23T12:14:05Z

Author Nicod, Jean, 1893-1924.
Preferred Shelf Number QA 681 N5 1930 (SET)
Format: Books
Availability Beytepe Library~1

Logical studies

2024-12-23T12:14:05Z

Author Wright, Georg Henrik von, 1916-
Preferred Shelf Number BC 6 W72 1957 (SET)
Format: Books
Availability Beytepe Library~1

A treatise on induction and probability

2024-12-23T12:14:05Z

Author Wright, Georg Henrik von, 1916-
Preferred Shelf Number BC 91 W72 1951 (SET)
Format: Books
Availability Beytepe Library~1

The foundations of mathematics : and other logical essays

2024-12-23T12:14:05Z

Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Preferred Shelf Number QA 9 R23 1931
Format: Books
Availability Beytepe Library~1

The nature of mathematics : a critical survey

2024-12-23T12:14:05Z

Author Black, Max, 1909-
Preferred Shelf Number QA 9 B62 1933 (SET)
Format: Books
Availability Beytepe Library~1

An examination of logical positivism

2024-12-23T12:14:05Z

Author Weinberg, Julius Rudolf, 1908-
Preferred Shelf Number B 824.6 W434 1936 (SET)
Format: Books
Availability Beytepe Library~1

Cylindric algebras

2024-12-23T12:14:05Z

Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Preferred Shelf Number QA 9 H415 1971- V.1
Format: Books
Availability Beytepe Library~1

Explaining Games The Epistemic Programme in Game Theory

2024-12-23T12:14:05Z

Author de Bruin, Boudewijn. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9906-9
Format: Electronic Resources
Availability Online Library~1

Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hoole

2024-12-23T12:14:05Z

Author Snyder, Zack. Nalbandian, Zareh. Orloff, John. Stern, Emil. Mirren, Helen. seslendirme
Preferred Shelf Number PN1997.5 B39 2010
Format: Visual Materials
Availability Beytepe Library~1

Nonlinear biomedical signal processing

2024-12-23T12:14:05Z

Author Akay, Metin.
Preferred Shelf Number QT 26.5 N813 2000-
Format: Books
Availability Health Sciences Library~1

Nonlinear biomedical signal processing

2024-12-23T12:14:05Z

Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number R 857.S47 N66 2000- V.2
Format: Books
Availability Beytepe Library~3

İslam mantık tarihi ve Farabi mantığı

2024-12-23T12:14:05Z

Author Keklik, Nihat.
Preferred Shelf Number BC 34 K4 1969-70
Format: Books
Availability Beytepe Library~1

Communication : a philosophical study of language

2024-12-23T12:14:05Z

Author Britton, Karl, 1909-
Preferred Shelf Number P 105 B75 1939 (SET)
Format: Books
Availability Beytepe Library~1

Dialectic

2024-12-23T12:14:05Z

Author Adler, Mortimer Jerome, 1902-
Preferred Shelf Number BC 177 A4 1927 (SET)
Format: Books
Availability Beytepe Library~1

The logical syntax of language

2024-12-23T12:14:05Z

Author Carnap, Rudolf, 1891-1970.
Preferred Shelf Number BC 135 C323 1937 P (SET)
Format: Books
Availability Beytepe Library~1

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

2024-12-23T12:14:05Z

Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12104-3
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12107-4
Format: Electronic Resources
Availability Online Library~1

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

2024-12-23T12:14:05Z

Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11931-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-12-23T12:14:05Z

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

Understanding Concurrent Systems

2024-12-23T12:14:05Z

Author Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-258-0
Format: Electronic Resources
Availability Online Library~1

Cardinal Invariants on Boolean Algebras

2024-12-23T12:14:05Z

Author Monk, J. Donald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0334-8
Format: Electronic Resources
Availability Online Library~1

Logical Tools for Handling Change in Agent-Based Systems

2024-12-23T12:14:05Z

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

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11797-8
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11802-9
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

2024-12-23T12:14:05Z

Author Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11811-1
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

2024-12-23T12:14:05Z

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

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

2024-12-23T12:14:05Z

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

Banach Spaces and Descriptive Set Theory: Selected Topics

2024-12-23T12:14:05Z

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

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

2024-12-23T12:14:05Z

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

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

2024-12-23T12:14:05Z

Author Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13562-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T12:14:05Z

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

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

2024-12-23T12:14:05Z

Author Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13675-7
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

2024-12-23T12:14:05Z

Author Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13688-7
Format: Electronic Resources
Availability Online Library~1

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

2024-12-23T12:14:05Z

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

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

2024-12-23T12:14:05Z

Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14553-7
Format: Electronic Resources
Availability Online Library~1

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

2024-12-23T12:14:05Z

Author Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14046-4
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

2024-12-23T12:14:05Z

Author Kaufmann, Matt. editor. Paulson, Lawrence C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14052-5
Format: Electronic Resources
Availability Online Library~1

ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

2024-12-23T12:14:05Z

Author D’Hondt, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14107-2
Format: Electronic Resources
Availability Online Library~1

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-12-23T12:14:05Z

Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15234-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-12-23T12:14:05Z

Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15240-5
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

2024-12-23T12:14:05Z

Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15297-9
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings

2024-12-23T12:14:05Z

Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15323-5
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

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

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

2024-12-23T12:14:05Z

Author Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15898-8
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

2024-12-23T12:14:05Z

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

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

2024-12-23T12:14:05Z

Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16178-0
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

2024-12-23T12:14:05Z

Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16573-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings

2024-12-23T12:14:05Z

Author Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16054-7
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

2024-12-23T12:14:05Z

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

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

2024-12-23T12:14:05Z

Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17599-2
Format: Electronic Resources
Availability Online Library~1

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

2024-12-23T12:14:05Z

Author Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68361-4
Format: Electronic Resources
Availability Online Library~1

Speech Processing in Embedded Systems

2024-12-23T12:14:05Z

Author Sinha, Priyabrata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75581-6
Format: Electronic Resources
Availability Online Library~1

Mathematische Logik

2024-12-23T12:14:05Z

Author Ziegler, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0346-0652-3
Format: Electronic Resources
Availability Online Library~1

FPGAs 101 everything you need to know to get started

2024-12-23T12:14:05Z

Author Smith, Gina R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177061
Format: Electronic Resources
Availability Online Library~1

VHDL 101 everything you need to know to get started

2024-12-23T12:14:05Z

Author Kafig, William.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177047
Format: Electronic Resources
Availability Online Library~1

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

2024-12-23T12:14:05Z

Author Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11486-1
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings

2024-12-23T12:14:05Z

Author Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11503-5
Format: Electronic Resources
Availability Online Library~1

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever

2024-12-23T12:14:05Z

Author Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11512-7
Format: Electronic Resources
Availability Online Library~1

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

2024-12-23T12:14:05Z

Author Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11515-8
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

2024-12-23T12:14:05Z

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

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

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

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

2024-12-23T12:14:05Z

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

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

2024-12-23T12:14:05Z

Author Müller, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13010-6
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

2024-12-23T12:14:05Z

Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13321-3
Format: Electronic Resources
Availability Online Library~1

Time for Verification Essays in Memory of Amir Pnueli

2024-12-23T12:14:05Z

Author Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13754-9
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

2024-12-23T12:14:05Z

Author Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13089-2
Format: Electronic Resources
Availability Online Library~1

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

2024-12-23T12:14:05Z

Author Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13821-8
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

2024-12-23T12:14:05Z

Author Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13182-0
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

2024-12-23T12:14:05Z

Author Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13238-4
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

2024-12-23T12:14:05Z

Author Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14203-1
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

2024-12-23T12:14:05Z

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

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

2024-12-23T12:14:05Z

Author Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14295-6
Format: Electronic Resources
Availability Online Library~1

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

Author Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14322-9
Format: Electronic Resources
Availability Online Library~1

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2024-12-23T12:14:05Z

Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14335-9
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings

2024-12-23T12:14:05Z

Author Gao, Yuan. editor. Lu, Hanlin. editor. Seki, Shinnosuke. editor. Yu, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14455-4
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

2024-12-23T12:14:05Z

Author Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14819-4
Format: Electronic Resources
Availability Online Library~1

Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

2024-12-23T12:14:05Z

Author Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15585-7
Format: Electronic Resources
Availability Online Library~1

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

2024-12-23T12:14:05Z

Author Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15618-2
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

2024-12-23T12:14:05Z

Author Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15643-4
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

2024-12-23T12:14:05Z

Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15675-5
Format: Electronic Resources
Availability Online Library~1

Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

2024-12-23T12:14:05Z

Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15684-7
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

2024-12-23T12:14:05Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15784-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2024-12-23T12:14:05Z

Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16373-9
Format: Electronic Resources
Availability Online Library~1

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

2024-12-23T12:14:05Z

Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15928-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

2024-12-23T12:14:05Z

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

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

2024-12-23T12:14:05Z

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

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

2024-12-23T12:14:05Z

Author Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16612-9
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

2024-12-23T12:14:05Z

Author Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16265-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2024-12-23T12:14:05Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17071-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

2024-12-23T12:14:05Z

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

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday

2024-12-23T12:14:05Z

Author Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17172-7
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems VII

2024-12-23T12:14:05Z

Author Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17245-8
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures

2024-12-23T12:14:05Z

Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17685-2
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2024-12-23T12:14:05Z

Author Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13464-7
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings

2024-12-23T12:14:05Z

Author Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13523-1
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

2024-12-23T12:14:05Z

Author Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13550-7
Format: Electronic Resources
Availability Online Library~1

EPSA Philosophical Issues in the Sciences Launch of the European Philosophy of Science Association

2024-12-23T12:14:05Z

Author Suárez, Mauricio. editor. Dorato, Mauro. editor. Rédei, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3252-2
Format: Electronic Resources
Availability Online Library~1

EPSA Epistemology and Methodology of Science Launch of the European Philosophy of Science Association

2024-12-23T12:14:05Z

Author Suárez, Mauricio. editor. Dorato, Mauro. editor. Rédei, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3263-8
Format: Electronic Resources
Availability Online Library~1

Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty

2024-12-23T12:14:05Z

Author Cummings, Louise. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9504-6
Format: Electronic Resources
Availability Online Library~1

Legal and political hermeneutics : or principles of interpretation and construction in law and politics, with remarks on precedents and authorities

2024-12-23T12:14:05Z

Author Lieber, Francis.
Preferred Shelf Number K290 L54 2010
Format: Books
Availability Law Library~2

Teaching mathematical reasoning in secondary school classrooms

2024-12-23T12:14:05Z

Author Brodie, Karin. Coetzee, Kurt.
Preferred Shelf Number QA8.7 B76 2010
Format: Books
Availability Beytepe Library~1

Singular Reference: A Descriptivist Perspective

2024-12-23T12:14:05Z

Author Orilia, Francesco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3312-3
Format: Electronic Resources
Availability Online Library~1

Propositions, functions, and analysis selected essays on Russell's philosophy

2024-12-23T12:14:05Z

Author Hylton, Peter.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001
Format: Electronic Resources
Availability Online Library~1

Truth through proof a formalist foundation for mathematics

2024-12-23T12:14:05Z

Author Weir, Alan.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: Electronic Resources
Availability Online Library~1

The primacy of grammar

2024-12-23T12:14:05Z

Author Mukherji, Nirmalangshu. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Mathematical reasoning patterns, problems, conjectures, and proofs

2024-12-23T12:14:05Z

Author Nickerson, Raymond S.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Intelligent control systems with an introduction to system of systems engineering

2024-12-23T12:14:05Z

Author Nanayakkara, Thrishantha. Jamshidi, Mohammad. Sahin, Ferat.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Algebraic Theories A Categorical Introduction to General Algebra

2024-12-23T12:14:05Z

Author Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Minds, ethics, and conditionals themes from the philosophy of Frank Jackson

2024-12-23T12:14:05Z

Author Ravenscroft, Ian.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199267989.001.0001
Format: Electronic Resources
Availability Online Library~1

Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design

2024-12-23T12:14:05Z

Author International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Genetics and randomness

2024-12-23T12:14:05Z

Author Ruvinsky, Anatoly.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Roads to infinity the mathematics of truth and proof

2024-12-23T12:14:05Z

Author Stillwell, John.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Molecular symmetry and fuzzy symmetry

2024-12-23T12:14:05Z

Author Zhao, Xuezhuang.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=540316
Format: Electronic Resources
Availability Online Library~1

Designing Dynamic Circuit Response (Analog Circuit Design Series Volume 2)

2024-12-23T12:14:05Z

Author Feucht, D.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBCS014E
Format: Electronic Resources
Availability Online Library~1

Designing Waveform-Processing Circuits (Analog Circuit Design Series Volume 4)

2024-12-23T12:14:05Z

Author Feucht, D.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBCS016E
Format: Electronic Resources
Availability Online Library~1

The philosophy of logical atomism

2024-12-23T12:14:05Z

Author Russell, Bertrand, 1872-1970.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Critical thinking a concise guide

2024-12-23T12:14:05Z

Author Bowell, Tracy, 1965- Kemp, Gary, 1960 Oct. 15-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Handbook of Set Theory

2024-12-23T12:14:05Z

Author Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: Electronic Resources
Availability Online Library~1

The P=NP Question and Gödel’s Lost Letter

2024-12-23T12:14:05Z

Author Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: Electronic Resources
Availability Online Library~1

Ends of empire : Asian American critique and the Cold War

2024-12-23T12:14:05Z

Author Kim, Jodi, 1970-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.5749/j.ctttsf9b
Format: Electronic Resources
Availability Online Library~1

The responsibility of the philosopher

2024-12-23T12:14:05Z

Author Vattimo, Gianni, 1936- D'Agostini, Franca, 1952-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7312/vatt15242
Format: Electronic Resources
Availability Online Library~1

Buddhist philosophy of language in India : Jñānaśrīmitra on exclusion

2024-12-23T12:14:05Z

Author McCrea, Lawrence J. Patil, Parimal G. Jñānaśrīmitra. Apohaprakaraṇa. English & Sanskrit.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7312/mccr15094
Format: Electronic Resources
Availability Online Library~1

Inside the red box : North Korea's post-totalitarian politics

2024-12-23T12:14:05Z

Author McEachern, Patrick, 1980-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7312/mcea15322
Format: Electronic Resources
Availability Online Library~1

Dialectical Passions : Negation in Postwar Art Theory.

2024-12-23T12:14:05Z

Author Day, Gail.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.7312/day-14938
Format: Electronic Resources
Availability Online Library~1

Nonplussed! : mathematical proof of implausible ideas

2024-12-23T12:14:05Z

Author Havil, Julian, 1952-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7t03s
Format: Electronic Resources
Availability Online Library~1

Origins : on the genesis of psychic reality

2024-12-23T12:14:05Z

Author Mills, Jon, 1964-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt80nn2
Format: Electronic Resources
Availability Online Library~1

Cognitive Reasoning A Formal Approach

2024-12-23T12:14:05Z

Author Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Electronic Resources
Availability Online Library~1

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

2024-12-23T12:14:05Z

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

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

2024-12-23T12:14:05Z

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

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

2024-12-23T12:14:05Z

Author Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11319-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-12-23T12:14:05Z

Author Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12002-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-12-23T12:14:05Z

Author Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12029-9
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

2024-12-23T12:14:05Z

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

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

2024-12-23T12:14:05Z

Author Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11355-0
Format: Electronic Resources
Availability Online Library~1

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings

2024-12-23T12:14:05Z

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

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings

2024-12-23T12:14:05Z

Author Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13977-2
Format: Electronic Resources
Availability Online Library~1

New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

2024-12-23T12:14:05Z

Author Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14347-2
Format: Electronic Resources
Availability Online Library~1

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers

2024-12-23T12:14:05Z

Author Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14684-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

2024-12-23T12:14:05Z

Author Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14186-7
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

2024-12-23T12:14:05Z

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

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

2024-12-23T12:14:05Z

Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15057-9
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

2024-12-23T12:14:05Z

Author Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15349-5
Format: Electronic Resources
Availability Online Library~1

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

2024-12-23T12:14:05Z

Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15375-4
Format: Electronic Resources
Availability Online Library~1

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

2024-12-23T12:14:05Z

Author Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15114-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

2024-12-23T12:14:05Z

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

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2024-12-23T12:14:05Z

Author Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16086-8
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

2024-12-23T12:14:05Z

Author Hutter, Marcus. editor. Stephan, Frank. editor. Vovk, Vladimir. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16108-7
Format: Electronic Resources
Availability Online Library~1

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

2024-12-23T12:14:05Z

Author Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17322-6
Format: Electronic Resources
Availability Online Library~1

The Vienna Circle in the Nordic Countries

2024-12-23T12:14:05Z

Author Manninen, Juha. editor. Stadler, Friedrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3683-4
Format: Electronic Resources
Availability Online Library~1

Phenomenology and Mathematics

2024-12-23T12:14:05Z

Author Hartimo, Mirja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3729-9
Format: Electronic Resources
Availability Online Library~1

The force of argument essays in honor of Timothy Smiley

2024-12-23T12:14:05Z

Author Smiley, T. J. (Timothy John) Lear, Jonathan. Oliver, Alex.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Multi-sensor data fusion with MATLAB

2024-12-23T12:14:05Z

Author Raol, J. R. (Jitendra R.), 1947-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1