Search Results for Logic - Narrowed by: English - 2005

Primarily logic

2024-11-20T00:20:15Z

Author Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.
Preferred Shelf Number LB1590.3 L45 2005
Format: Books
Availability Beytepe Library~1

Logic countdown

2024-11-20T00:20:15Z

Author Risby, Bonnie Lou. Crawford, Dean.
Format: Books
Availability ~0

Logic Safari

2024-11-20T00:20:15Z

Author Risby, Bonnie Lou. Palouda, Annelise.
Preferred Shelf Number BC101 R57 2005 V.1
Format: Books
Availability Beytepe Library~3

Orbiting with logic

2024-11-20T00:20:15Z

Author Risby, Bonnie Lou. Crawford, Dean.
Preferred Shelf Number LB1590.3 R57 2005
Format: Books
Availability Beytepe Library~1

Introduction to logic

2024-11-20T00:20:15Z

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

Fuzzy Equational Logic

2024-11-20T00:20:15Z

Author Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105121
Format: Electronic Resources
Availability Online Library~1

Handbook of Philosophical Logic

2024-11-20T00:20:15Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3092-4
Format: Electronic Resources
Availability Online Library~1

Logic, Thought and Action

2024-11-20T00:20:15Z

Author Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3167-X
Format: Electronic Resources
Availability Online Library~1

Studies in Legal Logic

2024-11-20T00:20:15Z

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

Advances in modal logic

2024-11-20T00:20:15Z

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

Logic design of nanoICs

2024-11-20T00:20:15Z

Author Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.
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

Introduction to logic design

2024-11-20T00:20:15Z

Author Marcovitz, Alan B.
Preferred Shelf Number TK7868 L6 M355 2005
Format: Books
Availability Beytepe Library~1

Logic Programming with Prolog

2024-11-20T00:20:15Z

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

The logic of practice

2024-11-20T00:20:15Z

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-20T00:20:15Z

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-20T00:20:15Z

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

Logic : the theory of formal inference

2024-11-20T00:20:15Z

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

Studies in inductive logic and probability

2024-11-20T00:20:15Z

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

Lollipop logic : grades K-2

2024-11-20T00:20:15Z

Author Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.
Preferred Shelf Number BC71 R57 2011 V.1
Format: Books
Availability Beytepe Library~3

Fuzzy Logic, Identification and Predictive Control

2024-11-20T00:20:15Z

Author Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138626
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic in Financial Analysis

2024-11-20T00:20:15Z

Author Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32368-6
Format: Electronic Resources
Availability Online Library~1

Grounded Consequence for Defeasible Logic

2024-11-20T00:20:15Z

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

Handbook of Philosophical Logic, 2nd Edition

2024-11-20T00:20:15Z

Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3521-7
Format: Electronic Resources
Availability Online Library~1

Fundamentals of digital logic and microcomputer design

2024-11-20T00:20:15Z

Author Rafiquzzaman, Mohamed.
Preferred Shelf Number ONLINE
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609 John Wiley http://dx.doi.org/10.1002/0471733520 John Wiley http://dx.doi.org/10.1002/9780471733522 http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380
Format: Electronic Resources
Availability Online Library~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-11-20T00:20:15Z

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

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2024-11-20T00:20:15Z

Author Shepard, Richard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28098-7
Format: Electronic Resources
Availability Online Library~1

Logic safari. Book 1, grades 2-3

2024-11-20T00:20:15Z

Author Risby, Bonnie Lou. Palouda, Annelise, illustrator.
Format: Books
Availability ~0

The rise of modern logic from Leibniz to Frege

2024-11-20T00:20:15Z

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

The technique of controversy : principles of dynamic logic

2024-11-20T00:20:15Z

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-20T00:20:15Z

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-20T00:20:15Z

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

Logically determined design clockless system design with NULL convention logic

2024-11-20T00:20:15Z

Author Fant, Karl M.
Preferred Shelf Number ONLINE
Electronic Access Click for information Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471702897 MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: Electronic Resources
Availability Online Library~1

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-11-20T00:20:15Z

Author Solojentsev, E. D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2978-0
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2024-11-20T00:20:15Z

Author Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11536314
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2024-11-20T00:20:15Z

Author Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533092
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-11-20T00:20:15Z

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

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2024-11-20T00:20:15Z

Author Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562931
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135595
Format: Electronic Resources
Availability Online Library~1

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits

2024-11-20T00:20:15Z

Author Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2888-1
Format: Electronic Resources
Availability Online Library~1

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

2024-11-20T00:20:15Z

Author Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138799
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-11-20T00:20:15Z

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

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

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

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-11-20T00:20:15Z

Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11546207
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-11-20T00:20:15Z

Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106890
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-11-20T00:20:15Z

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

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

2024-11-20T00:20:15Z

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

Logica Universalis Towards a General Theory of Logic

2024-11-20T00:20:15Z

Author Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137041
Format: Electronic Resources
Availability Online Library~1

The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management

2024-11-20T00:20:15Z

Author Simchi-Levi, David. author. Chen, Xin. author. Bramel, Julien. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b97669
Format: Electronic Resources
Availability Online Library~1

Logic, meaning, and conversation semantical underdeterminacy, implicature, and their interface

2024-11-20T00:20:15Z

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

The logic of environmentalism : anthropology, ecology, and postcoloniality

2024-11-20T00:20:15Z

Author Argyrou, Vassos.
Preferred Shelf Number GF21 .A74 2005
Format: Books
Availability Beytepe Library~1

A Modern Perspective on Type Theory From its Origins until Today

2024-11-20T00:20:15Z

Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2335-9
Format: Electronic Resources
Availability Online Library~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-11-20T00:20:15Z

Author Thielscher, Michael. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3069-X
Format: Electronic Resources
Availability Online Library~1

The reach of abduction insight and trial

2024-11-20T00:20:15Z

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

Anaphora and Type Logical Grammar

2024-11-20T00:20:15Z

Author JÄger, Gerhard. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3905-0
Format: Electronic Resources
Availability Online Library~1

Nature's Principles

2024-11-20T00:20:15Z

Author Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3258-7
Format: Electronic Resources
Availability Online Library~1

Nature's principles

2024-11-20T00:20:15Z

Author Faye, Jan.
Preferred Shelf Number BD581 .B35 2005
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-20T00:20:15Z

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

Logical studies

2024-11-20T00:20:15Z

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

A treatise on induction and probability

2024-11-20T00:20:15Z

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

Cylindric algebras

2024-11-20T00:20:15Z

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-20T00:20:15Z

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-20T00:20:15Z

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

An examination of logical positivism

2024-11-20T00:20:15Z

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

Visualization, Explanation and Reasoning Styles in Mathematics

2024-11-20T00:20:15Z

Author Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3335-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Knowledge

2024-11-20T00:20:15Z

Author Stepin, Vyacheslav. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3046-0
Format: Electronic Resources
Availability Online Library~1

From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski

2024-11-20T00:20:15Z

Author Rojszczak, Artur. Wolenski, Jan. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3397-4
Format: Electronic Resources
Availability Online Library~1

The Dynamics of Thought

2024-11-20T00:20:15Z

Author Gärdenfors, Peter. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3399-0
Format: Electronic Resources
Availability Online Library~1

Communication : a philosophical study of language

2024-11-20T00:20:15Z

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

Dialectic

2024-11-20T00:20:15Z

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-20T00:20:15Z

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-20T00:20:15Z

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

Nonlinear biomedical signal processing

2024-11-20T00:20:15Z

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

Computer-aided intelligent recognition techniques and applications

2024-11-20T00:20:15Z

Author Sarfraz, Muhammad. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470094168
Format: Electronic Resources
Availability Online Library~1

The proper treatment of events

2024-11-20T00:20:15Z

Author Lambalgen, Michiel van, 1954- Hamm, Fritz, 1953- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470759257
Format: Electronic Resources
Availability Online Library~1

Foundations of intensional semantics

2024-11-20T00:20:15Z

Author Fox, Chris, 1965- Lappin, Shalom. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470773543 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html
Format: Electronic Resources
Availability Online Library~1

An introduction to Kant's aesthetics core concepts and problems

2024-11-20T00:20:15Z

Author Wenzel, Christian Helmut. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005009258-b.html John Wiley http://dx.doi.org/10.1002/9780470776599
Format: Electronic Resources
Availability Online Library~1

The Big Typescript, TS. 213

2024-11-20T00:20:15Z

Author Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html John Wiley http://dx.doi.org/10.1002/9780470752906
Format: Electronic Resources
Availability Online Library~1

Fuzzy modeling and genetic algorithms for data mining and exploration

2024-11-20T00:20:15Z

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

Demystifying chipmaking

2024-11-20T00:20:15Z

Author Yanda, Richard F. Heynes, Michael. Miller, Anne K.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677608
Format: Electronic Resources
Availability Online Library~1

A Baker's dozen real analog solutions for digital designers

2024-11-20T00:20:15Z

Author Baker, Bonnie (Bonnie C.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750678193
Format: Electronic Resources
Availability Online Library~1

New Algorithms, Architectures and Applications for Reconfigurable Computing

2024-11-20T00:20:15Z

Author Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3128-9
Format: Electronic Resources
Availability Online Library~1

Categories for Software Engineering

2024-11-20T00:20:15Z

Author Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138249
Format: Electronic Resources
Availability Online Library~1

Field Arithmetic

2024-11-20T00:20:15Z

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

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

2024-11-20T00:20:15Z

Author Trinder, Phil. editor. Michaelson, Greg J. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102274
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2024-11-20T00:20:15Z

Author Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549703
Format: Electronic Resources
Availability Online Library~1

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

2024-11-20T00:20:15Z

Author Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550679
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T00:20:15Z

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

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

2024-11-20T00:20:15Z

Author Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103739
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-11-20T00:20:15Z

Author Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104146
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

2024-11-20T00:20:15Z

Author Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105205
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105030
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-11-20T00:20:15Z

Author Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136996
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527695
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-11-20T00:20:15Z

Author Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137217
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2024-11-20T00:20:15Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556985
Format: Electronic Resources
Availability Online Library~1

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

2024-11-20T00:20:15Z

Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b27882
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

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

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2024-11-20T00:20:15Z

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

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-11-20T00:20:15Z

Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106390
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106767
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

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

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2024-11-20T00:20:15Z

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

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

2024-11-20T00:20:15Z

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

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2024-11-20T00:20:15Z

Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11548133
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

2024-11-20T00:20:15Z

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

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2024-11-20T00:20:15Z

Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549970
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136890
Format: Electronic Resources
Availability Online Library~1

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

2024-11-20T00:20:15Z

Author Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539452
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T00:20:15Z

Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554578
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-11-20T00:20:15Z

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/11561163
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-11-20T00:20:15Z

Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11545262
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-11-20T00:20:15Z

Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106766
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2024-11-20T00:20:15Z

Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107129
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-11-20T00:20:15Z

Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562948
Format: Electronic Resources
Availability Online Library~1

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

2024-11-20T00:20:15Z

Author Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11547662
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-20T00:20:15Z

Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107194
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T00:20:15Z

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

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

2024-11-20T00:20:15Z

Author Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135596
Format: Electronic Resources
Availability Online Library~1

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

2024-11-20T00:20:15Z

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

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2024-11-20T00:20:15Z

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

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-20T00:20:15Z

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

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-20T00:20:15Z

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

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-11-20T00:20:15Z

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

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-11-20T00:20:15Z

Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560548
Format: Electronic Resources
Availability Online Library~1

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

2024-11-20T00:20:15Z

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

Model-Based Testing of Reactive Systems Advanced Lectures

2024-11-20T00:20:15Z

Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137241
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2024-11-20T00:20:15Z

Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11563228
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2024-11-20T00:20:15Z

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

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

2024-11-20T00:20:15Z

Author Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136292
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

2024-11-20T00:20:15Z

Author Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136248
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2024-11-20T00:20:15Z

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

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2024-11-20T00:20:15Z

Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558569
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2024-11-20T00:20:15Z

Author Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560647
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2024-11-20T00:20:15Z

Author Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556930
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2024-11-20T00:20:15Z

Author Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11574620
Format: Electronic Resources
Availability Online Library~1

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-11-20T00:20:15Z

Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572329
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T00:20:15Z

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

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-11-20T00:20:15Z

Author Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572961
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T00:20:15Z

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

Language, Meaning, Interpretation

2024-11-20T00:20:15Z

Author Fløistad, Guttorm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2195-X
Format: Electronic Resources
Availability Online Library~1

Propositional and Predicate Calculus A Model of Argument

2024-11-20T00:20:15Z

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

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2024-11-20T00:20:15Z

Author Kurki-Suonio, Reino. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138956
Format: Electronic Resources
Availability Online Library~1

Abstract Computing Machines A Lambda Calculus Perspective

2024-11-20T00:20:15Z

Author Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138965
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-11-20T00:20:15Z

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

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

2024-11-20T00:20:15Z

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

Inconsistency Tolerance

2024-11-20T00:20:15Z

Author Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104925
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2024-11-20T00:20:15Z

Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137278
Format: Electronic Resources
Availability Online Library~1

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-11-20T00:20:15Z

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

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-11-20T00:20:15Z

Author Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11580850
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2024-11-20T00:20:15Z

Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603009
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2024-11-20T00:20:15Z

Author Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605300
Format: Electronic Resources
Availability Online Library~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-11-20T00:20:15Z

Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11526988
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-11-20T00:20:15Z

Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137280
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

2024-11-20T00:20:15Z

Author Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137735
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2024-11-20T00:20:15Z

Author Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138445
Format: Electronic Resources
Availability Online Library~1

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-11-20T00:20:15Z

Author Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103251
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

2024-11-20T00:20:15Z

Author Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107134
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T00:20:15Z

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

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-11-20T00:20:15Z

Author Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11541868
Format: Electronic Resources
Availability Online Library~1

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-11-20T00:20:15Z

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

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

2024-11-20T00:20:15Z

Author Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527862
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2024-11-20T00:20:15Z

Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560586
Format: Electronic Resources
Availability Online Library~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-11-20T00:20:15Z

Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137052
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

2024-11-20T00:20:15Z

Author Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136772
Format: Electronic Resources
Availability Online Library~1

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2024-11-20T00:20:15Z

Author Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136569
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-11-20T00:20:15Z

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

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107183
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2024-11-20T00:20:15Z

Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11589976
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-11-20T00:20:15Z

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

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

2024-11-20T00:20:15Z

Author Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576280
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-11-20T00:20:15Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2024-11-20T00:20:15Z

Author Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106468
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-11-20T00:20:15Z

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

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

2024-11-20T00:20:15Z

Author Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136154
Format: Electronic Resources
Availability Online Library~1

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

2024-11-20T00:20:15Z

Author Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11580072
Format: Electronic Resources
Availability Online Library~1

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

2024-11-20T00:20:15Z

Author Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11587514
Format: Electronic Resources
Availability Online Library~1

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2024-11-20T00:20:15Z

Author Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106974
Format: Electronic Resources
Availability Online Library~1

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2024-11-20T00:20:15Z

Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590712
Format: Electronic Resources
Availability Online Library~1

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2024-11-20T00:20:15Z

Author Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601548
Format: Electronic Resources
Availability Online Library~1

Complexity Theory Exploring the Limits of Efficient Algorithms

2024-11-20T00:20:15Z

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

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

2024-11-20T00:20:15Z

Author Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27692-0
Format: Electronic Resources
Availability Online Library~1

Valued Fields

2024-11-20T00:20:15Z

Author Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30035-X
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-11-20T00:20:15Z

Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105317
Format: Electronic Resources
Availability Online Library~1

Rippling: Meta-Level Guidance for Mathematical Reasoning

2024-11-20T00:20:15Z

Author Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Information, Interaction and Agency

2024-11-20T00:20:15Z

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

Taxonomies for the Development and Verification of Digital Systems

2024-11-20T00:20:15Z

Author Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104217
Format: Electronic Resources
Availability Online Library~1

Abstraction, Refinement and Proof for Probabilistic Systems

2024-11-20T00:20:15Z

Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138392
Format: Electronic Resources
Availability Online Library~1

Essays in Constructive Mathematics

2024-11-20T00:20:15Z

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

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-11-20T00:20:15Z

Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28183-5
Format: Electronic Resources
Availability Online Library~1

Trends in Continuum Mechanics of Porous Media

2024-11-20T00:20:15Z

Author Boer, Reint. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3144-0
Format: Electronic Resources
Availability Online Library~1

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

2024-11-20T00:20:15Z

Author Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138812
Format: Electronic Resources
Availability Online Library~1

Argumentation Methods for Artificial Intelligence in Law

2024-11-20T00:20:15Z

Author Walton, Douglas. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27881-8
Format: Electronic Resources
Availability Online Library~1

Laws of Nature

2024-11-20T00:20:15Z

Author Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28303-X
Format: Electronic Resources
Availability Online Library~1