Search Results for Logic. - Narrowed by: 2006

Philosophy of logic

2025-12-13T20:29:00Z

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

Introduction to logic

2025-12-13T20:29:00Z

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

Programmable logic controllers

2025-12-13T20:29:00Z

Author Bolton, W. (William), 1933-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750681124
Format: Electronic Resources
Availability Online Library~1

Advances in modal logic

2025-12-13T20:29:00Z

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

The logic of practice

2025-12-13T20:29:00Z

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

A Companion to philosophical logic

2025-12-13T20:29:00Z

Author Jacquette, Dale. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470996751
Format: Electronic Resources
Availability Online Library~1

Studies in inductive logic and probability

2025-12-13T20:29:00Z

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

Chance, love and logic : philosophical essays

2025-12-13T20:29:00Z

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

Logic : the theory of formal inference

2025-12-13T20:29:00Z

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

2025-12-13T20:29:00Z

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

A Concise Introduction to Mathematical Logic

2025-12-13T20:29:00Z

Author Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources
Availability Online Library~1

Rigid Flexibility The Logic of Intelligence

2025-12-13T20:29:00Z

Author Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5045-3
Format: Electronic Resources
Availability Online Library~1

Quantifiers in language and logic

2025-12-13T20:29:00Z

Author Peters, Stanley, 1941- Westerståhl, Dag, 1946-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001
Format: Electronic Resources
Availability Online Library~1

Fuzzy logic and the semantic web

2025-12-13T20:29:00Z

Author Sanchez, Elie, 1944-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444519481
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic Applications in Engineering Science

2025-12-13T20:29:00Z

Author Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4078-4
Format: Electronic Resources
Availability Online Library~1

Theories of Judgment Psychology, Logic, Phenomenology

2025-12-13T20:29:00Z

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

Digital logic and microprocessor design with VHDL

2025-12-13T20:29:00Z

Author Hwang, Enoch O.
Preferred Shelf Number TK7888.4 .H885 2006
Format: Books
Availability Beytepe Library~2

Computation Engineering Applied Automata Theory and Logic

2025-12-13T20:29:00Z

Author Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32520-4
Format: Electronic Resources
Availability Online Library~1

Integration of Fuzzy Logic and Chaos Theory

2025-12-13T20:29:00Z

Author Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32502-6
Format: Electronic Resources
Availability Online Library~1

Advanced Fuzzy Logic Technologies in Industrial Applications

2025-12-13T20:29:00Z

Author Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-469-4
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2025-12-13T20:29:00Z

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

Logic and the modalities in the twentieth century

2025-12-13T20:29:00Z

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

The technique of controversy : principles of dynamic logic

2025-12-13T20:29:00Z

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

2025-12-13T20:29:00Z

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

Postmodernism, or, The cultural logic of late capitalism

2025-12-13T20:29:00Z

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

How to Show Things with Words : A Study on Logic, Language and Literature

2025-12-13T20:29:00Z

Author Linhares-Dias, Rui, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110899627 https://www.degruyter.com/isbn/9783110899627 Cover https://www.degruyter.com/document/cover/isbn/9783110899627/original
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T20:29:00Z

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

Logic and contemporary rhetoric : the use of reason in everyday life

2025-12-13T20:29:00Z

Author Kahane, Howard, 1928- Cavender, Nancy.
Preferred Shelf Number BC177 .K34 2006
Format: Books
Availability Beytepe Library~1

Signs of logic Peircean themes on the philosophy of language, games, and communication

2025-12-13T20:29:00Z

Author Pietarinen, Ahti-Veikko. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3729-5
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Switching Theory and Logic Design A Hands on Approach

2025-12-13T20:29:00Z

Author Astola, Jaakko T. author. Stanković, Radomir S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30311-1
Format: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2025-12-13T20:29:00Z

Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31072-X
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11676935
Format: Electronic Resources
Availability Online Library~1

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

2025-12-13T20:29:00Z

Author Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32870-4
Format: Electronic Resources
Availability Online Library~1

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2025-12-13T20:29:00Z

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

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2025-12-13T20:29:00Z

Author Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11737414
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

2025-12-13T20:29:00Z

Author Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33459-0
Format: Electronic Resources
Availability Online Library~1

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-12-13T20:29:00Z

Author Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799573
Format: Electronic Resources
Availability Online Library~1

Cost optimization of structures fuzzy logic, genetic algorithms, and parallel computing

2025-12-13T20:29:00Z

Author Adeli, Hojjat, 1950- Sarma, Kamal C. (Kamal Chandra), 1955- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470867353
Format: Electronic Resources
Availability Online Library~1

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today

2025-12-13T20:29:00Z

Author Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2025-12-13T20:29:00Z

Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754602
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2025-12-13T20:29:00Z

Author Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874683
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2025-12-13T20:29:00Z

Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916277
Format: Electronic Resources
Availability Online Library~1

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

2025-12-13T20:29:00Z

Author Lippe, Wolfram-Manfred. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29274-8
Format: Electronic Resources
Availability Online Library~1

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

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

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

2025-12-13T20:29:00Z

Author Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/10983652
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2025-12-13T20:29:00Z

Author Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750734
Format: Electronic Resources
Availability Online Library~1

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

2025-12-13T20:29:00Z

Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786849
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T20:29:00Z

Author Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36023-9
Format: Electronic Resources
Availability Online Library~1

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

2025-12-13T20:29:00Z

Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-36874-8
Format: Electronic Resources
Availability Online Library~1

Low-power CMOS circuits : technology, logic design and CAD tools

2025-12-13T20:29:00Z

Author Piguet, Christian, author.
Preferred Shelf Number TK7871.99 .M44 P56 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

A treatise on induction and probability

2025-12-13T20:29:00Z

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

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

2025-12-13T20:29:00Z

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

Logical studies

2025-12-13T20:29:00Z

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

An examination of logical positivism

2025-12-13T20:29:00Z

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

The nature of mathematics : a critical survey

2025-12-13T20:29:00Z

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

Cylindric algebras

2025-12-13T20:29:00Z

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

The foundations of mathematics : and other logical essays

2025-12-13T20:29:00Z

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

Intuition and the Axiomatic Method

2025-12-13T20:29:00Z

Author Carson, Emily. Huber, Renate. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4040-7
Format: Electronic Resources
Availability Online Library~1

A logical Approach to Philosophy Essays in Honour of Graham Solomon

2025-12-13T20:29:00Z

Author Devidi, David. Kenyon, Tim. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4054-7
Format: Electronic Resources
Availability Online Library~1

CAMEL intelligent networks for the GSM, GPSR and UMTS network

2025-12-13T20:29:00Z

Author Noldus, Rogier. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470028483 http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471
Format: Electronic Resources
Availability Online Library~1

Relation algebras

2025-12-13T20:29:00Z

Author Maddux, R. D. (Roger D.), 1948-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444520135
Format: Electronic Resources
Availability Online Library~1

Lectures on the Curry-Howard isomorphism

2025-12-13T20:29:00Z

Author Sørensen, Morten Heine. Urzyczyn, Paweł.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444520777
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T20:29:00Z

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

Nonlinear biomedical signal processing

2025-12-13T20:29:00Z

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

Communication : a philosophical study of language

2025-12-13T20:29:00Z

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

Dialectic

2025-12-13T20:29:00Z

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

The logical syntax of language

2025-12-13T20:29:00Z

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

Nonlinear biomedical signal processing

2025-12-13T20:29:00Z

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

The Electrical Engineering Handbook - Six Volume Set

2025-12-13T20:29:00Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Subjectification : Various Paths to Subjectivity

2025-12-13T20:29:00Z

Author Athanasiadou, Angeliki, contributor. Athanasiadou, Angeliki, editor. Breban, Tine, contributor. Brisard, Frank, contributor. Canakis, Costas, contributor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110892970 https://www.degruyter.com/isbn/9783110892970 Cover https://www.degruyter.com/document/cover/isbn/9783110892970/original
Format: Electronic Resources
Availability Online Library~1

Good Humor, Bad Taste : A Sociology of the Joke

2025-12-13T20:29:00Z

Author Kuipers, Giselinde, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1515/9783110898996 https://www.degruyter.com/isbn/9783110898996 Cover https://www.degruyter.com/document/cover/isbn/9783110898996/original
Format: Electronic Resources
Availability Online Library~1

The proceedings of the twenty-first World Congress of Philosophy

2025-12-13T20:29:00Z

Author World Congress of Philosophy (21st : 2003 : Istanbul, Turkey) Kuçuradi, Ioanna. Türkiye Felsefe Kurumu.
Preferred Shelf Number B20 .W68 2006-07 V.1
Format: Books
Availability Beytepe Library~13

Intelligence, destiny, and education : the ideological roots of intelligence testing

2025-12-13T20:29:00Z

Author White, John, 1934-
Preferred Shelf Number BF431 .W532 2006
Format: Books
Availability Beytepe Library~1

Logos of Phenomenology and Phenomenology of the Logos. Book Four The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Life

2025-12-13T20:29:00Z

Author Tymieniecka, Anna-Teresa. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3737-6
Format: Electronic Resources
Availability Online Library~1

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

2025-12-13T20:29:00Z

Author ALISEDA, ATOCHA. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3907-7
Format: Electronic Resources
Availability Online Library~1

Fault-Tolerance Techniques for SRAM-based FPGAs

2025-12-13T20:29:00Z

Author Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-31069-5
Format: Electronic Resources
Availability Online Library~1

Notes on Set Theory

2025-12-13T20:29:00Z

Author Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31609-4
Format: Electronic Resources
Availability Online Library~1

18 Unconventional Essays on the Nature of Mathematics

2025-12-13T20:29:00Z

Author Hersh, Reuben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-29831-2
Format: Electronic Resources
Availability Online Library~1

Problems and Theorems in Classical Set Theory

2025-12-13T20:29:00Z

Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36219-3
Format: Electronic Resources
Availability Online Library~1

Techniques of Constructive Analysis

2025-12-13T20:29:00Z

Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38147-3
Format: Electronic Resources
Availability Online Library~1

Electronics : circuits, amplifiers and gates

2025-12-13T20:29:00Z

Author Bugg, D. V. (David Vernon)
Preferred Shelf Number TK7815 .B83 2006 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367807894 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Yargı yetisinin eleştrisi = Kritik der Urteilskraft

2025-12-13T20:29:00Z

Author Kant, Immanuel, 11724-1804 Yardımlı, Aziz.
Preferred Shelf Number B2783 K36 2006
Format: Books
Availability Beytepe Library~1

The Columbia Guide to Online Style

2025-12-13T20:29:00Z

Author Walker, Janice, author. Taylor, Todd, author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.7312/walk13210 https://www.degruyter.com/isbn/9780231506984 Cover https://www.degruyter.com/document/cover/isbn/9780231506984/original
Format: Electronic Resources
Availability Online Library~1

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

2025-12-13T20:29:00Z

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

Fundamentals of Algebraic Graph Transformation

2025-12-13T20:29:00Z

Author Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31188-2
Format: Electronic Resources
Availability Online Library~1

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

2025-12-13T20:29:00Z

Author Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11617990
Format: Electronic Resources
Availability Online Library~1

Software Engineering 1 Abstraction and Modelling

2025-12-13T20:29:00Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31288-9
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

2025-12-13T20:29:00Z

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

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

2025-12-13T20:29:00Z

Author Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11609773
Format: Electronic Resources
Availability Online Library~1

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2025-12-13T20:29:00Z

Author Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11672142
Format: Electronic Resources
Availability Online Library~1

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2025-12-13T20:29:00Z

Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682462
Format: Electronic Resources
Availability Online Library~1

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2025-12-13T20:29:00Z

Author Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11683704
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-13T20:29:00Z

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

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2025-12-13T20:29:00Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2025-12-13T20:29:00Z

Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11730637
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2025-12-13T20:29:00Z

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

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2025-12-13T20:29:00Z

Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734673
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11741060
Format: Electronic Resources
Availability Online Library~1

Software Engineering 3 Domains, Requirements, and Software Design

2025-12-13T20:29:00Z

Author Bjøner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33653-2
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-12-13T20:29:00Z

Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814771
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2025-12-13T20:29:00Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings

2025-12-13T20:29:00Z

Author Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11812128
Format: Electronic Resources
Availability Online Library~1

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2025-12-13T20:29:00Z

Author Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11813040
Format: Electronic Resources
Availability Online Library~1

Theorems, corollaries, lemmas, and methods of proof

2025-12-13T20:29:00Z

Author Rossi, Richard J., 1956-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library Click here to view book John Wiley http://dx.doi.org/10.1002/9781118031575 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: Electronic Resources
Availability Online Library~1

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

2025-12-13T20:29:00Z

Author Deschamps, Jean-Pierre, 1945- Bioul, Géry Jean Antoine. Sutter, Gustavo D. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Click for information Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471741426 http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html
Format: Electronic Resources
Availability Online Library~1

Physics with MAPLE the computer algebra resource for mathematical methods in physics

2025-12-13T20:29:00Z

Author Wang, Frank Y. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527618934 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357
Format: Electronic Resources
Availability Online Library~1

Plays. 5 / Tom Murphy ; with an introduction by Nicholas Grene.

2025-12-13T20:29:00Z

Author Murphy, Tom.
Preferred Shelf Number PR6063.U736 A6 2006
Format: Books
Availability Beytepe Library~1

Logical pluralism

2025-12-13T20:29:00Z

Author Beall, J. C. Restall, Greg, 1969-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199288403.001.0001
Format: Electronic Resources
Availability Online Library~1

Attitude problems an essay on linguistic intensionality

2025-12-13T20:29:00Z

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

Commonsense reasoning

2025-12-13T20:29:00Z

Author Mueller, Erik T.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: Electronic Resources
Availability Online Library~1

Analogy in Indian and Western Philosophical Thought

2025-12-13T20:29:00Z

Author Zilberman, David B. Gourko, Helena. Cohen, Robert S. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3340-0
Format: Electronic Resources
Availability Online Library~1

Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation

2025-12-13T20:29:00Z

Author Hitchcock, David. Verheij, Bart. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-4938-5
Format: Electronic Resources
Availability Online Library~1

Methods of legal reasoning

2025-12-13T20:29:00Z

Author Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4939-0
Format: Electronic Resources
Availability Online Library~1

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle

2025-12-13T20:29:00Z

Author Galavotti, Maria Carla. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4101-2
Format: Electronic Resources
Availability Online Library~1

THE LIMITS OF LOGICAL EMPIRICISM SELECTED PAPERS OF ARTHUR PAP

2025-12-13T20:29:00Z

Author KEUPINK, ALFONS. SHIEH, SANFORD. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4299-X
Format: Electronic Resources
Availability Online Library~1

The Congruences of a Finite Lattice A Proof-by-Picture Approach

2025-12-13T20:29:00Z

Author Grätzer, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4462-8
Format: Electronic Resources
Availability Online Library~1

Modern Formal Methods and Applications

2025-12-13T20:29:00Z

Author Gabbar, Hossam A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4223-X
Format: Electronic Resources
Availability Online Library~1

Uncertainty, Rationality, and Agency

2025-12-13T20:29:00Z

Author Hoek, Wiebe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4631-6
Format: Electronic Resources
Availability Online Library~1

A Roadmap for Formal Property Verification

2025-12-13T20:29:00Z

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

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678779
Format: Electronic Resources
Availability Online Library~1

Théorie des ensembles

2025-12-13T20:29:00Z

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

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751113
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2025-12-13T20:29:00Z

Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752707
Format: Electronic Resources
Availability Online Library~1

Axiom of Choice

2025-12-13T20:29:00Z

Author Herrlich, Horst. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601562
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2025-12-13T20:29:00Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759744
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2025-12-13T20:29:00Z

Author Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11765448
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-12-13T20:29:00Z

Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768869
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2025-12-13T20:29:00Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774129
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-12-13T20:29:00Z

Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11773887
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11775331
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2025-12-13T20:29:00Z

Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11777830
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

2025-12-13T20:29:00Z

Author Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11779148
Format: Electronic Resources
Availability Online Library~1

Parameterized Complexity Theory

2025-12-13T20:29:00Z

Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29953-X
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2025-12-13T20:29:00Z

Author Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783565
Format: Electronic Resources
Availability Online Library~1

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2025-12-13T20:29:00Z

Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11784180
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2025-12-13T20:29:00Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11804192
Format: Electronic Resources
Availability Online Library~1

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

2025-12-13T20:29:00Z

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

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2025-12-13T20:29:00Z

Author Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11802372
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2025-12-13T20:29:00Z

Author Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11841197
Format: Electronic Resources
Availability Online Library~1

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2025-12-13T20:29:00Z

Author Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11841883
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

2025-12-13T20:29:00Z

Author Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11847083
Format: Electronic Resources
Availability Online Library~1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2025-12-13T20:29:00Z

Author Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11860990
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2025-12-13T20:29:00Z

Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11867340
Format: Electronic Resources
Availability Online Library~1

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings

2025-12-13T20:29:00Z

Author Sakakibara, Yasubumi. editor. Kobayashi, Satoshi. editor. Sato, Kengo. editor. Nishino, Tetsuro. editor. Tomita, Etsuji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872436
Format: Electronic Resources
Availability Online Library~1

Variations on Constants Flow Analysis of Sequential and Parallel Programs

2025-12-13T20:29:00Z

Author Müller-Olm, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11871743
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings

2025-12-13T20:29:00Z

Author Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11874850
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2025-12-13T20:29:00Z

Author Górski, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875567
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2025-12-13T20:29:00Z

Author Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11888116
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2025-12-13T20:29:00Z

Author Benhamou, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889205
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2025-12-13T20:29:00Z

Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11894063
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2025-12-13T20:29:00Z

Author Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901914
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

2025-12-13T20:29:00Z

Author Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901433
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2025-12-13T20:29:00Z

Author Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11921240
Format: Electronic Resources
Availability Online Library~1

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2025-12-13T20:29:00Z

Author Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11921998
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2025-12-13T20:29:00Z

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

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2025-12-13T20:29:00Z

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

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2025-12-13T20:29:00Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Butterfield, Andrew. editor. Grelck, Clemens. editor. Huch, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11964681
Format: Electronic Resources
Availability Online Library~1

Theoretical Introduction to Programming

2025-12-13T20:29:00Z

Author Mills, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources
Availability Online Library~1

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

2025-12-13T20:29:00Z

Author Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-336-1
Format: Electronic Resources
Availability Online Library~1

Finite Model Theory

2025-12-13T20:29:00Z

Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28788-4
Format: Electronic Resources
Availability Online Library~1

Logischer Entwurf digitaler Systeme

2025-12-13T20:29:00Z

Author Liebig, Hans. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29430-9
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-13T20:29:00Z

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

More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal

2025-12-13T20:29:00Z

Author Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32439-3
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2025-12-13T20:29:00Z

Author Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678823
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2025-12-13T20:29:00Z

Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11688839
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-12-13T20:29:00Z

Author Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693017
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-12-13T20:29:00Z

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

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

2025-12-13T20:29:00Z

Author Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605157
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2025-12-13T20:29:00Z

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

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2025-12-13T20:29:00Z

Author Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691792
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2025-12-13T20:29:00Z

Author Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752660
Format: Electronic Resources
Availability Online Library~1

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

2025-12-13T20:29:00Z

Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780274
Format: Electronic Resources
Availability Online Library~1

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

2025-12-13T20:29:00Z

Author Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780885
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2025-12-13T20:29:00Z

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

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2025-12-13T20:29:00Z

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

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2025-12-13T20:29:00Z

Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786160
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-13T20:29:00Z

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

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2025-12-13T20:29:00Z

Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11823063
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2025-12-13T20:29:00Z

Author Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11859802
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2025-12-13T20:29:00Z

Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11940197
Format: Electronic Resources
Availability Online Library~1

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2025-12-13T20:29:00Z

Author Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11926078
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-13T20:29:00Z

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

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2025-12-13T20:29:00Z

Author Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68143-4
Format: Electronic Resources
Availability Online Library~1

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings

2025-12-13T20:29:00Z

Author Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11955757
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2025-12-13T20:29:00Z

Author Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11961536
Format: Electronic Resources
Availability Online Library~1

Thinking about acting logical foundations for rational decision making

2025-12-13T20:29:00Z

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

CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

2025-12-13T20:29:00Z

Author Baier, Christel. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11817949
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-12-13T20:29:00Z

Author Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11817963
Format: Electronic Resources
Availability Online Library~1

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2025-12-13T20:29:00Z

Author Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821946
Format: Electronic Resources
Availability Online Library~1

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

2025-12-13T20:29:00Z

Author Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11823230
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-13T20:29:00Z

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

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings

2025-12-13T20:29:00Z

Author Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11836025
Format: Electronic Resources
Availability Online Library~1

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

2025-12-13T20:29:00Z

Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7692-9
Format: Electronic Resources
Availability Online Library~1

Tracking reason proof, consequence, and truth

2025-12-13T20:29:00Z

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

Hydroinformatics : data integrative approaches in computation, analysis, and modeling

2025-12-13T20:29:00Z

Author Kumar, Praveen.
Preferred Shelf Number GB656.2 .E43 H92 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

GIS and archaeological site location modeling

2025-12-13T20:29:00Z

Author GIS and Archaeological Predictive Modeling Conference (2001 : Argonne National Laboratory) Mehrer, Mark. Wescott, Konnie.
Preferred Shelf Number CC80.4 .G57 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mechatronics : an introduction

2025-12-13T20:29:00Z

Author Bishop, Robert H., 1957-
Preferred Shelf Number TJ163.12 .M4315 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Mathematics and common sense : a case of creative tension

2025-12-13T20:29:00Z

Author Davis, Philip J., 1923, author.
Preferred Shelf Number QA9.2 .D38 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Instrument engineers' handbook. Vol. 2, Process control and optimization

2025-12-13T20:29:00Z

Author Liptak, Bela G.
Preferred Shelf Number TS156.8 .I57 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microelectronics

2025-12-13T20:29:00Z

Author Whitaker, Jerry C.
Preferred Shelf Number TK7874 .M4587 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Decision diagram techniques for micro- and nanoelectronic design handbook

2025-12-13T20:29:00Z

Author Yanushkevich, Svetlana N.
Preferred Shelf Number T57.95 .I549 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Silicon nanoelectronics

2025-12-13T20:29:00Z

Author Oda, Shunri. Ferry, David K.
Preferred Shelf Number TK7874.8 .S55 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

EDA for IC implementation, circuit design, and process technology

2025-12-13T20:29:00Z

Author Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Lou.
Preferred Shelf Number TK7874 .E257 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Quantum communications and cryptography

2025-12-13T20:29:00Z

Author Sergienko, Alexander V.
Preferred Shelf Number TK5102.94 .Q36 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Silicon heterostructure handbook : materials, fabrication, devices, circuits, and applications of SiGe and Si strained-layer epitaxy

2025-12-13T20:29:00Z

Author Cressler, John D.
Preferred Shelf Number TK7871.96 .B55 S55 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1