Search Results for Logic. - Narrowed by: 2008

Logic countdown

2024-11-24T02:04:54Z

Author Risby, Bonnie.
Preferred Shelf Number LB1590.3 R57 2008
Format: Books
Availability Beytepe Library~1

Mathematical logic

2024-11-24T02:04:54Z

Author Tourlakis, George J.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118032435
Format: Electronic Resources
Availability Online Library~1

Introduction to logic

2024-11-24T02:04:54Z

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

Logic in Reality

2024-11-24T02:04:54Z

Author Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: Electronic Resources
Availability Online Library~1

Logic for Computer Scientists

2024-11-24T02:04:54Z

Author Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: Electronic Resources
Availability Online Library~1

Advances in modal logic

2024-11-24T02:04:54Z

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

The logic of practice

2024-11-24T02:04:54Z

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

Chance, love and logic : philosophical essays

2024-11-24T02:04:54Z

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

Mathematical logic : A course with exercises

2024-11-24T02:04:54Z

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

Studies in inductive logic and probability

2024-11-24T02:04:54Z

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-11-24T02:04:54Z

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

Logic and computer design fundamentals

2024-11-24T02:04:54Z

Author Mano, M. Morris Kime, Charles R., ort. yaz.
Preferred Shelf Number TK7888.4 M36 2008
Format: Books
Availability Beytepe Library~3

Extensionalism The Revolution in Logic

2024-11-24T02:04:54Z

Author Bar-Am, Nimrod. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: Electronic Resources
Availability Online Library~1

A Course on Mathematical Logic

2024-11-24T02:04:54Z

Author Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76277-7
Format: Electronic Resources
Availability Online Library~1

Sets, Logic and Maths for Computing

2024-11-24T02:04:54Z

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

Elementary Logic For Software Development

2024-11-24T02:04:54Z

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

Temporal Logic and State Systems

2024-11-24T02:04:54Z

Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources
Availability Online Library~1

Lectures on logic : Berlin, 1831

2024-11-24T02:04:54Z

Author Hegel, Georg Wilhelm Friedrich. Butler, Clark, 1944-
Preferred Shelf Number B2944.V652 E5 2008
Format: Books
Availability Beytepe Library~1

Digital electronics and logic design

2024-11-24T02:04:54Z

Author Nair, B. Somanathan.
Preferred Shelf Number TK7868.D5 N35 2008
Format: Books
Availability Beytepe Library~1

Logic Pro 8 audio and music production

2024-11-24T02:04:54Z

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

Logic Synthesis for Compositional Microprogram Control Units

2024-11-24T02:04:54Z

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

Type-2 Fuzzy Logic: Theory and Applications

2024-11-24T02:04:54Z

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

Probabilistic Inductive Logic Programming Theory and Applications

2024-11-24T02:04:54Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Mechatronic system control, logic, and data acquisition

2024-11-24T02:04:54Z

Author Bishop, Robert H., 1957-
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

The rise of modern logic from Leibniz to Frege

2024-11-24T02:04:54Z

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

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

2024-11-24T02:04:54Z

Author Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8622-9
Format: Electronic Resources
Availability Online Library~1

The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions

2024-11-24T02:04:54Z

Author Rahman, Shahid. editor. Street, Tony. editor. Tahiri, Hassan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8405-8
Format: Electronic Resources
Availability Online Library~1

The technique of controversy : principles of dynamic logic

2024-11-24T02:04:54Z

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-11-24T02:04:54Z

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

2024-11-24T02:04:54Z

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

Introduction to Logic and Theory of Knowledge Lectures 1906/07

2024-11-24T02:04:54Z

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

Yeraltısuyu akışı ve kalitesi'nin esnek hesaplama methodları (yapay sinir ağları, bulanık mantık) ile modellenmesi = Modeling of groundwater flow and quality in karstic systems using 'soft computing' methods (Neural networks, fuzzy logic)

2024-11-24T02:04:54Z

Author Kurtuluş, Bedri.
Preferred Shelf Number TEZ 9513 .K87 2008
Format: Books
Availability Beytepe Library~1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-11-24T02:04:54Z

Author Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-11-24T02:04:54Z

Author Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-11-24T02:04:54Z

Author Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-11-24T02:04:54Z

Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

2024-11-24T02:04:54Z

Author Sadri, Fariba. editor. Satoh, Ken. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88833-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Action: Applications in Epidemiology and Beyond

2024-11-24T02:04:54Z

Author Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69094-8
Format: Electronic Resources
Availability Online Library~1

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

2024-11-24T02:04:54Z

Author Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69407-6
Format: Electronic Resources
Availability Online Library~1

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

2024-11-24T02:04:54Z

Author Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-11-24T02:04:54Z

Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources
Availability Online Library~1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-11-24T02:04:54Z

Author Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-11-24T02:04:54Z

Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2024-11-24T02:04:54Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-11-24T02:04:54Z

Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources
Availability Online Library~1

Modal logic an introduction to its syntax and semantics

2024-11-24T02:04:54Z

Author Cocchiarella, Nino B. Freund, Max A., 1954-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195366587.001.0001
Format: Electronic Resources
Availability Online Library~1

High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow

2024-11-24T02:04:54Z

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

Spectral logic and its applications for design of digital devices

2024-11-24T02:04:54Z

Author Karpovsky, Mark G. Stanković, Radomir S. Astola, Jaakko.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=468585 John Wiley http://dx.doi.org/10.1002/9780470289228 MyiLibrary, Table of contents http://www.myilibrary.com?id=236540&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2008002714-b.html
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-11-24T02:04:54Z

Author Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Electronic Resources
Availability Online Library~1

Constructive Negations and Paraconsistency

2024-11-24T02:04:54Z

Author Odintsov, Sergei P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6867-6
Format: Electronic Resources
Availability Online Library~1

Institution-independent Model Theory

2024-11-24T02:04:54Z

Author Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: Electronic Resources
Availability Online Library~1

Completeness Theory for Propositional Logics

2024-11-24T02:04:54Z

Author Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: Electronic Resources
Availability Online Library~1

Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I

2024-11-24T02:04:54Z

Author Kechris, Alexander S.. Löwe, Benedikt. Steel, John R..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox

2024-11-24T02:04:54Z

Author Rahman, Shahid. editor. Tulenheimo, Tero. editor. Genot, Emmanuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8468-3
Format: Electronic Resources
Availability Online Library~1

Information and Knowledge A Constructive Type-theoretical Approach

2024-11-24T02:04:54Z

Author Primiero, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: Electronic Resources
Availability Online Library~1

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

2024-11-24T02:04:54Z

Author Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: Electronic Resources
Availability Online Library~1

Leibniz: What Kind of Rationalist?

2024-11-24T02:04:54Z

Author Dascal, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8668-7
Format: Electronic Resources
Availability Online Library~1

A treatise on induction and probability

2024-11-24T02:04:54Z

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

2024-11-24T02:04:54Z

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

Logical studies

2024-11-24T02:04:54Z

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

2024-11-24T02:04:54Z

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

Cylindric algebras

2024-11-24T02:04:54Z

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

2024-11-24T02:04:54Z

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-11-24T02:04:54Z

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

Philosophical Lectures on Probability

2024-11-24T02:04:54Z

Author Finetti, Bruno de. author. Galavotti, Maria Carla. author. Hosni, Hykel. author. Mura, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8202-3
Format: Electronic Resources
Availability Online Library~1

Communication : a philosophical study of language

2024-11-24T02:04:54Z

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

Dialectic

2024-11-24T02:04:54Z

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-11-24T02:04:54Z

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

Nonlinear biomedical signal processing

2024-11-24T02:04:54Z

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-11-24T02:04:54Z

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

Nonlinear biomedical signal processing

2024-11-24T02:04:54Z

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

Human development from early childhood to early adulthood : findings from a 20 year longitudinal study

2024-11-24T02:04:54Z

Author Schneider, Wolfgang, 1950 June 19- Bullock, Merry.
Format: Books
Availability ~0

New Computational Paradigms Changing Conceptions of What is Computable

2024-11-24T02:04:54Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68546-5
Format: Electronic Resources
Availability Online Library~1

A Modular Calculus for the Average Cost of Data Structuring

2024-11-24T02:04:54Z

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

Programming Languages An Active Learning Approach

2024-11-24T02:04:54Z

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

Combinatorics and Graph Theory

2024-11-24T02:04:54Z

Author Harris, John. author. Hirst, Jeffry L. author. Mossinghoff, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79711-3
Format: Electronic Resources
Availability Online Library~1

Practical Problems in VLSI Physical Design Automation

2024-11-24T02:04:54Z

Author Lim, Sung Kyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: Electronic Resources
Availability Online Library~1

High-Level Synthesis From Algorithm to Digital Circuit

2024-11-24T02:04:54Z

Author Coussy, Philippe. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8588-8
Format: Electronic Resources
Availability Online Library~1

Principles of the Spin Model Checker

2024-11-24T02:04:54Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources
Availability Online Library~1

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

2024-11-24T02:04:54Z

Author Simon, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-017-9
Format: Electronic Resources
Availability Online Library~1

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-11-24T02:04:54Z

Author Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources
Availability Online Library~1

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-11-24T02:04:54Z

Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-11-24T02:04:54Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-24T02:04:54Z

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

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-11-24T02:04:54Z

Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources
Availability Online Library~1

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2024-11-24T02:04:54Z

Author Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2024-11-24T02:04:54Z

Author Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources
Availability Online Library~1

25 Years of Model Checking History, Achievements, Perspectives

2024-11-24T02:04:54Z

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

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

2024-11-24T02:04:54Z

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

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-11-24T02:04:54Z

Author Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Electronic Resources
Availability Online Library~1

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

2024-11-24T02:04:54Z

Author Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70844-5
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

2024-11-24T02:04:54Z

Author Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77442-6
Format: Electronic Resources
Availability Online Library~1

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

2024-11-24T02:04:54Z

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

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2024-11-24T02:04:54Z

Author Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77564-5
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

2024-11-24T02:04:54Z

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

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

2024-11-24T02:04:54Z

Author Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78163-9
Format: Electronic Resources
Availability Online Library~1

Field Arithmetic

2024-11-24T02:04:54Z

Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77270-5
Format: Electronic Resources
Availability Online Library~1

Unfoldings A Partial-Order Approach to Model Checking

2024-11-24T02:04:54Z

Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77426-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2024-11-24T02:04:54Z

Author Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-11-24T02:04:54Z

Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-11-24T02:04:54Z

Author Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78743-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-24T02:04:54Z

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

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-11-24T02:04:54Z

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

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

2024-11-24T02:04:54Z

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

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-11-24T02:04:54Z

Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2024-11-24T02:04:54Z

Author Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-11-24T02:04:54Z

Author Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2024-11-24T02:04:54Z

Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources
Availability Online Library~1

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-11-24T02:04:54Z

Author Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

2024-11-24T02:04:54Z

Author Bui, The Duy. editor. Ho, Tuong Vinh. editor. Ha, Quang Thuy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89674-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-11-24T02:04:54Z

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

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

2024-11-24T02:04:54Z

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

Digital systems design with FPGAs and CPLDs

2024-11-24T02:04:54Z

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

Discrete Thoughts Essays on Mathematics, Science and Philosophy

2024-11-24T02:04:54Z

Author Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4775-9
Format: Electronic Resources
Availability Online Library~1

Indiscrete Thoughts

2024-11-24T02:04:54Z

Author Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4781-0
Format: Electronic Resources
Availability Online Library~1

Algorithms in Invariant Theory

2024-11-24T02:04:54Z

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

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-11-24T02:04:54Z

Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources
Availability Online Library~1

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-11-24T02:04:54Z

Author Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Electronic Resources
Availability Online Library~1

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-11-24T02:04:54Z

Author Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87879-7
Format: Electronic Resources
Availability Online Library~1

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2024-11-24T02:04:54Z

Author Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources
Availability Online Library~1

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2024-11-24T02:04:54Z

Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88808-6
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2024-11-24T02:04:54Z

Author Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Electronic Resources
Availability Online Library~1

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

2024-11-24T02:04:54Z

Author Miculan, Marino. editor. Scagnetto, Ivan. editor. Honsell, Furio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68103-8
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-11-24T02:04:54Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-11-24T02:04:54Z

Author Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-11-24T02:04:54Z

Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-11-24T02:04:54Z

Author Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2024-11-24T02:04:54Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

2024-11-24T02:04:54Z

Author Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69062-7
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-11-24T02:04:54Z

Author Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70545-1
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2024-11-24T02:04:54Z

Author Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources
Availability Online Library~1

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-11-24T02:04:54Z

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

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2024-11-24T02:04:54Z

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/978-3-540-70930-5
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-11-24T02:04:54Z

Author Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-11-24T02:04:54Z

Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources
Availability Online Library~1

Decision Procedures An Algorithmic Point of View

2024-11-24T02:04:54Z

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

Logics of Specification Languages

2024-11-24T02:04:54Z

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

Theoretische Informatik Eine umfassende Einführung

2024-11-24T02:04:54Z

Author Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76320-8
Format: Electronic Resources
Availability Online Library~1

Petri-Netze

2024-11-24T02:04:54Z

Author Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76971-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-11-24T02:04:54Z

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

New Developments in Formal Languages and Applications

2024-11-24T02:04:54Z

Author Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78291-9
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2024-11-24T02:04:54Z

Author Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2024-11-24T02:04:54Z

Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79124-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-11-24T02:04:54Z

Author Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources
Availability Online Library~1

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

2024-11-24T02:04:54Z

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

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2024-11-24T02:04:54Z

Author Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79707-4
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-11-24T02:04:54Z

Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

2024-11-24T02:04:54Z

Author Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85114-1
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-11-24T02:04:54Z

Author Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79488-2
Format: Electronic Resources
Availability Online Library~1

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

2024-11-24T02:04:54Z

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

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

2024-11-24T02:04:54Z

Author Clark, Alexander. editor. Coste, François. editor. Miclet, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88009-7
Format: Electronic Resources
Availability Online Library~1

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-11-24T02:04:54Z

Author Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-11-24T02:04:54Z

Author Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2024-11-24T02:04:54Z

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/978-3-540-92188-2
Format: Electronic Resources
Availability Online Library~1

Nanopathology the health impact of nanoparticles

2024-11-24T02:04:54Z

Author Gatti, Antonietta M. Montanari, Stefano, pharmacist.
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

Guida alla teoria degli insiemi

2024-11-24T02:04:54Z

Author Lolli, Gabriele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0769-7
Format: Electronic Resources
Availability Online Library~1

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

2024-11-24T02:04:54Z

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

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

2024-11-24T02:04:54Z

Author Stenström, Per. editor. Dubois, Michel. editor. Katevenis, Manolis. editor. Gupta, Rajiv. editor. Ungerer, Theo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77560-7
Format: Electronic Resources
Availability Online Library~1

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-11-24T02:04:54Z

Author Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Electronic Resources
Availability Online Library~1

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

2024-11-24T02:04:54Z

Author Hartmann, Sven. editor. Kern-Isberner, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77684-0
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2024-11-24T02:04:54Z

Author Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2024-11-24T02:04:54Z

Author Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-11-24T02:04:54Z

Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-11-24T02:04:54Z

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

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

2024-11-24T02:04:54Z

Author Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78773-0
Format: Electronic Resources
Availability Online Library~1

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2024-11-24T02:04:54Z

Author Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78789-1
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-11-24T02:04:54Z

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

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-11-24T02:04:54Z

Author Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources
Availability Online Library~1

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

2024-11-24T02:04:54Z

Author Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85101-1
Format: Electronic Resources
Availability Online Library~1

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2024-11-24T02:04:54Z

Author Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87603-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2024-11-24T02:04:54Z

Author Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-11-24T02:04:54Z

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

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

2024-11-24T02:04:54Z

Author Sheth, Amit. editor. Staab, Steffen. editor. Dean, Mike. editor. Paolucci, Massimo. editor. Maynard, Diana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88564-1
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-11-24T02:04:54Z

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

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-11-24T02:04:54Z

Author Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Electronic Resources
Availability Online Library~1

Deduction, Computation, Experiment Exploring the Effectiveness of Proof

2024-11-24T02:04:54Z

Author Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0784-0
Format: Electronic Resources
Availability Online Library~1

New essays on Tarski and philosophy

2024-11-24T02:04:54Z

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

Mathematics, Models, and Modality Selected Philosophical Essays

2024-11-24T02:04:54Z

Author Burgess, John P..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Classical algebra its nature, origins, and uses

2024-11-24T02:04:54Z

Author Cooke, Roger, 1942-
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University. John Wiley http://dx.doi.org/10.1002/9780470277980 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html
Format: Electronic Resources
Availability Online Library~1