Search Results for Logic. - Narrowed by: 2007

Logic liftoff

2024-12-23T12:17:27Z

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

Logic Colloquium 2005

2024-12-23T12:17:27Z

Author Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Dynamic Epistemic Logic

2024-12-23T12:17:27Z

Author Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources
Availability Online Library~1

Philosophy of logic

2024-12-23T12:17:27Z

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

Introduction to logic

2024-12-23T12:17:27Z

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

Handbook of Philosophical Logic

2024-12-23T12:17:27Z

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

Handbook of modal logic

2024-12-23T12:17:27Z

Author Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: Electronic Resources
Availability Online Library~1

Advances in modal logic

2024-12-23T12:17:27Z

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-12-23T12:17:27Z

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

Studies in inductive logic and probability

2024-12-23T12:17:27Z

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

Logic : the theory of formal inference

2024-12-23T12:17:27Z

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

Mathematical logic : A course with exercises

2024-12-23T12:17:27Z

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

Chance, love and logic : philosophical essays

2024-12-23T12:17:27Z

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

Logic : informal, symbolic and inductive

2024-12-23T12:17:27Z

Author Chakraborti, Chhanda.
Preferred Shelf Number BC91 C42 2007
Format: Books
Availability Beytepe Library~1

Fuzzy logic with engineering applications

2024-12-23T12:17:27Z

Author Ross, Timothy J.
Preferred Shelf Number TA331 R675 2007
Format: Books
Availability Beytepe Library~1

Introduction to Fuzzy Logic using MATLAB

2024-12-23T12:17:27Z

Author Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35781-0
Format: Electronic Resources
Availability Online Library~1

Truth, etc. six lectures on ancient logic

2024-12-23T12:17:27Z

Author Barnes, Jonathan, 1942-
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001
Format: Electronic Resources
Availability Online Library~1

The rise of modern logic from Leibniz to Frege

2024-12-23T12:17:27Z

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 many valued and non-monotonic turn in logic

2024-12-23T12:17:27Z

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

The many valued and non-monotonic turn in logic

2024-12-23T12:17:27Z

The many valued and non-monotonic turn in logic

2024-12-23T12:17:27Z

The many valued and non-monotonic turn in logic

2024-12-23T12:17:27Z

The technique of controversy : principles of dynamic logic

2024-12-23T12:17:27Z

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

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

2024-12-23T12:17:27Z

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-12-23T12:17:27Z

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

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2024-12-23T12:17:27Z

Author Inoue, Katsumi. editor. Satoh, Ken. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources
Availability Online Library~1

Fuzzy Logic A Spectrum of Theoretical & Practical Issues

2024-12-23T12:17:27Z

Author Wang, Paul P. editor. Ruan, Da. editor. Kerre, Etienne E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71258-9
Format: Electronic Resources
Availability Online Library~1

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-12-23T12:17:27Z

Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-12-23T12:17:27Z

Author Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Problems from Applied Logic II Logics for the XXIst Century

2024-12-23T12:17:27Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-12-23T12:17:27Z

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

Logica Universalis Towards a General Theory of Logic

2024-12-23T12:17:27Z

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

Dependence Logic A New Approach to Independence Friendly Logic

2024-12-23T12:17:27Z

Author Väänänen, Jouko.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Pharmaceuticals--where's the brand logic? branding lessons and strategies

2024-12-23T12:17:27Z

Author Moss, Giles David.
Preferred Shelf Number ONLINE(342711.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

2024-12-23T12:17:27Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Ross, Oscar Montiel. editor. Sepúlveda Cruz, Roberto. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72434-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

2024-12-23T12:17:27Z

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

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2024-12-23T12:17:27Z

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-3-540-73001-9
Format: Electronic Resources
Availability Online Library~1

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

2024-12-23T12:17:27Z

Author Masulli, Francesco. editor. Mitra, Sushmita. editor. Pasi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73400-0
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2024-12-23T12:17:27Z

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

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-12-23T12:17:27Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2024-12-23T12:17:27Z

Author Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-12-23T12:17:27Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

2024-12-23T12:17:27Z

Author Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources
Availability Online Library~1

Handbook of quantum logic and quantum structures quantum structures.

2024-12-23T12:17:27Z

Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444528704
Format: Electronic Resources
Availability Online Library~1

Goguen Categories A Categorical Approach to L-fuzzy Relations

2024-12-23T12:17:27Z

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

Stable Domination and Independence in Algebraically Closed Valued Fields

2024-12-23T12:17:27Z

Author Haskell, Deirdre. Hrushovski, Ehud. Macpherson, Dugald.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes

2024-12-23T12:17:27Z

Author Dutilh Novaes, Catarina. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5853-0
Format: Electronic Resources
Availability Online Library~1

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

2024-12-23T12:17:27Z

Author Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5034-8
Format: Electronic Resources
Availability Online Library~1

Induction, Algorithmic Learning Theory, and Philosophy

2024-12-23T12:17:27Z

Author Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6127-1
Format: Electronic Resources
Availability Online Library~1

The Influence of Genetics on Contemporary Thinking

2024-12-23T12:17:27Z

Author Fagot-Largeault, Anne. editor. Rahman, Shahid. editor. Torres, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5664-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T12:17:27Z

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

Logical studies

2024-12-23T12:17:27Z

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

A treatise on induction and probability

2024-12-23T12:17:27Z

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

Residuated lattices an algebraic glimpse at substructural logics

2024-12-23T12:17:27Z

Author Galatos, Nikolaos.
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: Electronic Resources
Availability Online Library~1

Residuated lattices an algebraic glimpse at substructural logics

2024-12-23T12:17:27Z

The foundations of mathematics : and other logical essays

2024-12-23T12:17:27Z

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

The nature of mathematics : a critical survey

2024-12-23T12:17:27Z

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

An examination of logical positivism

2024-12-23T12:17:27Z

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

Cylindric algebras

2024-12-23T12:17:27Z

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

Diagrammatology An Investigation On The Borderlines Of Phenomenology, Ontology, And Semiotics

2024-12-23T12:17:27Z

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

Formal Ontology and Conceptual Realism

2024-12-23T12:17:27Z

Author Cocchiarella, Nino B. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6204-9
Format: Electronic Resources
Availability Online Library~1

A Graph-Theoretic Approach to Enterprise Network Dynamics

2024-12-23T12:17:27Z

Author Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: Electronic Resources
Availability Online Library~1

Happy feet Neşeli ayaklar

2024-12-23T12:17:27Z

Author Miller, Bill. Miller, George, 1945 Mar. 3- Mitchell, Doug. Coleman, Warren. Collee, John.
Preferred Shelf Number PN1997.5 H37 2007
Format: Video disc
Availability Beytepe Library~1

Nonlinear biomedical signal processing

2024-12-23T12:17:27Z

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

Nonlinear biomedical signal processing

2024-12-23T12:17:27Z

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

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

2024-12-23T12:17:27Z

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

Communication : a philosophical study of language

2024-12-23T12:17:27Z

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

Dialectic

2024-12-23T12:17:27Z

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

The logical syntax of language

2024-12-23T12:17:27Z

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

Nonplussed! : mathematical proof of implausible ideas

2024-12-23T12:17:27Z

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

The Arché Papers on the Mathematics of Abstraction

2024-12-23T12:17:27Z

Author Cook, Roy T. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-4265-2
Format: Electronic Resources
Availability Online Library~1

Passione per Trilli Alcune idee dalla matematica

2024-12-23T12:17:27Z

Author Lucchetti, Roberto. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-88-470-0629-4
Format: Electronic Resources
Availability Online Library~1

The Strength of Nonstandard Analysis

2024-12-23T12:17:27Z

Author Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-49905-4
Format: Electronic Resources
Availability Online Library~1

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

2024-12-23T12:17:27Z

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

Ernst Zermelo An Approach to His Life and Work

2024-12-23T12:17:27Z

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

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-12-23T12:17:27Z

Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources
Availability Online Library~1

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2024-12-23T12:17:27Z

Author Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

Author Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Electronic Resources
Availability Online Library~1

Semantics with Applications: An Appetizer

2024-12-23T12:17:27Z

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

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

2024-12-23T12:17:27Z

Author Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69338-3
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-12-23T12:17:27Z

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

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2024-12-23T12:17:27Z

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

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-12-23T12:17:27Z

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

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2024-12-23T12:17:27Z

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

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-12-23T12:17:27Z

Author Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71156-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-12-23T12:17:27Z

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

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-12-23T12:17:27Z

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

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-12-23T12:17:27Z

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

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-12-23T12:17:27Z

Author Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources
Availability Online Library~1

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-12-23T12:17:27Z

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

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-12-23T12:17:27Z

Author Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources
Availability Online Library~1

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2024-12-23T12:17:27Z

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

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-12-23T12:17:27Z

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

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-12-23T12:17:27Z

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

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-12-23T12:17:27Z

Author Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Electronic Resources
Availability Online Library~1

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2024-12-23T12:17:27Z

Author Caires, Luís. editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2024-12-23T12:17:27Z

Author Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T12:17:27Z

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

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-12-23T12:17:27Z

Author Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources
Availability Online Library~1

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-12-23T12:17:27Z

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

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2024-12-23T12:17:27Z

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

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2024-12-23T12:17:27Z

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

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

2024-12-23T12:17:27Z

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

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-12-23T12:17:27Z

Author Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources
Availability Online Library~1

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-12-23T12:17:27Z

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

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-12-23T12:17:27Z

Author Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources
Availability Online Library~1

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-12-23T12:17:27Z

Author Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources
Availability Online Library~1

Brouwer Meets Husserl On the Phenomenology of Choice Sequences

2024-12-23T12:17:27Z

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

Handbook of Spatial Logics

2024-12-23T12:17:27Z

Author Aiello, Marco. Pratt-Hartmann, Ian. Benthem, Johan. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Electronic Resources
Availability Online Library~1

Argumentative Indicators in Discourse A Pragma-Dialectical Study

2024-12-23T12:17:27Z

Author Eemeren, Frans H. Houtlosser, Peter. Henkemans, A. Francisca Snoeck. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6244-5
Format: Electronic Resources
Availability Online Library~1

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra

2024-12-23T12:17:27Z

Author Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-35651-8
Format: Electronic Resources
Availability Online Library~1

Digital design and computer architecture

2024-12-23T12:17:27Z

Author Harris, David Money. Harris, Sarah L.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123704979
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-12-23T12:17:27Z

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

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-12-23T12:17:27Z

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

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-12-23T12:17:27Z

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

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-12-23T12:17:27Z

Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2024-12-23T12:17:27Z

Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources
Availability Online Library~1

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2024-12-23T12:17:27Z

Author Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-12-23T12:17:27Z

Author Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources
Availability Online Library~1

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2024-12-23T12:17:27Z

Author Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76298-0
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-12-23T12:17:27Z

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

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

2024-12-23T12:17:27Z

Author Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77395-5
Format: Electronic Resources
Availability Online Library~1

Digital design

2024-12-23T12:17:27Z

Author Mano, M. Morris, 1927-
Preferred Shelf Number TK7888.3 M343 2007
Format: Books
Availability Beytepe Library~5

The proceedings of the twenty-first World Congress of Philosophy

2024-12-23T12:17:27Z

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

Mathematical Thought and Its Objects

2024-12-23T12:17:27Z

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

Principles of modern digital design

2024-12-23T12:17:27Z

Author Lala, Parag K., 1948-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=315213 John Wiley http://dx.doi.org/10.1002/0470125217 MyiLibrary, Table of contents http://www.myilibrary.com?id=100216&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006032483-b.html
Format: Electronic Resources
Availability Online Library~1

Handbook of dynamic system modeling

2024-12-23T12:17:27Z

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

The VLSI handbook

2024-12-23T12:17:27Z

Author Chen, Wai-Kai, 1936-
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

Wideband Amplifier Design

2024-12-23T12:17:27Z

Author Hollister, A L
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBCS010E
Format: Electronic Resources
Availability Online Library~1

High-speed VLSI interconnections

2024-12-23T12:17:27Z

Author Goel, Ashok K., 1953-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201516
Format: Electronic Resources
Availability Online Library~1

Number Theory An Introduction via the Distribution of Primes

2024-12-23T12:17:27Z

Author Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4541-0
Format: Electronic Resources
Availability Online Library~1

104 Number Theory Problems From the Training of the USA IMO Team

2024-12-23T12:17:27Z

Author Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4561-8
Format: Electronic Resources
Availability Online Library~1

A Beginner’s Guide to Graph Theory

2024-12-23T12:17:27Z

Author Wallis, W. D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4580-9
Format: Electronic Resources
Availability Online Library~1

The Legacy of Mario Pieri in Geometry and Arithmetic

2024-12-23T12:17:27Z

Author Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4603-5
Format: Electronic Resources
Availability Online Library~1

Transition to higher mathematics : structure and proof

2024-12-23T12:17:27Z

Author Dumas, Bob A. McCarthy, John E.
Preferred Shelf Number QA9 .D863 2007
Format: Books
Availability Beytepe Library~1

Discrete mathematics and its applications

2024-12-23T12:17:27Z

Author Rosen, Kenneth H.
Preferred Shelf Number QA39.3 R674 2007
Format: Books
Availability Beytepe Library~1

Doktorlar nasıl düşünür?

2024-12-23T12:17:27Z

Author Groopman, Jerome E. Ataman, Serhat.
Preferred Shelf Number R723.5 G75 2007
Format: Books
Availability Beytepe Library~1

What the bleep!? Down the rabbit hole

2024-12-23T12:17:27Z

Author Vicente, Mark, 1965- Chasse, Betsy. Arntz, William. Matlin, Marlee. Hendrix, Elaine, 1970-
Preferred Shelf Number PN1995.9.D6 W43 2007
Format: Video disc
Availability Beytepe Library~1

Kolmogorov’s Heritage in Mathematics

2024-12-23T12:17:27Z

Author Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-36351-4
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence

2024-12-23T12:17:27Z

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

Finite Model Theory and Its Applications

2024-12-23T12:17:27Z

Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources
Availability Online Library~1

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-12-23T12:17:27Z

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

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-12-23T12:17:27Z

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

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-12-23T12:17:27Z

Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources
Availability Online Library~1

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-12-23T12:17:27Z

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

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-12-23T12:17:27Z

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

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-12-23T12:17:27Z

Author Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-12-23T12:17:27Z

Author Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-12-23T12:17:27Z

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

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-12-23T12:17:27Z

Author Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-12-23T12:17:27Z

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

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-12-23T12:17:27Z

Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers I

2024-12-23T12:17:27Z

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

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-12-23T12:17:27Z

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

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-12-23T12:17:27Z

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

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

2024-12-23T12:17:27Z

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

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-12-23T12:17:27Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-12-23T12:17:27Z

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

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

2024-12-23T12:17:27Z

Author Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-12-23T12:17:27Z

Author Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-12-23T12:17:27Z

Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-12-23T12:17:27Z

Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-12-23T12:17:27Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-12-23T12:17:27Z

Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-12-23T12:17:27Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-12-23T12:17:27Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-12-23T12:17:27Z

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

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-12-23T12:17:27Z

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

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-12-23T12:17:27Z

Author Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-12-23T12:17:27Z

Author Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2024-12-23T12:17:27Z

Author Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-12-23T12:17:27Z

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

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

2024-12-23T12:17:27Z

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

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-12-23T12:17:27Z

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

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-12-23T12:17:27Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-12-23T12:17:27Z

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

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2024-12-23T12:17:27Z

Author Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-12-23T12:17:27Z

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

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2024-12-23T12:17:27Z

Author Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources
Availability Online Library~1

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-12-23T12:17:27Z

Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources
Availability Online Library~1

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2024-12-23T12:17:27Z

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

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-12-23T12:17:27Z

Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources
Availability Online Library~1

Modelling Distributed Systems

2024-12-23T12:17:27Z

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

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-12-23T12:17:27Z

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

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-12-23T12:17:27Z

Author Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources
Availability Online Library~1

The Calculus of Computation Decision Procedures with Applications to Verification

2024-12-23T12:17:27Z

Author Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources
Availability Online Library~1

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-12-23T12:17:27Z

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

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

2024-12-23T12:17:27Z

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

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-12-23T12:17:27Z

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

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

2024-12-23T12:17:27Z

Author Durand-Lose, Jérôme. editor. Margenstern, Maurice. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74593-8
Format: Electronic Resources
Availability Online Library~1

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-12-23T12:17:27Z

Author Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2024-12-23T12:17:27Z

Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-12-23T12:17:27Z

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

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

2024-12-23T12:17:27Z

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

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-12-23T12:17:27Z

Author George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-12-23T12:17:27Z

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

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-12-23T12:17:27Z

Author Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

2024-12-23T12:17:27Z

Author Holub, Jan. editor. Žďárek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76336-9
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-12-23T12:17:27Z

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

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-12-23T12:17:27Z

Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources
Availability Online Library~1

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2024-12-23T12:17:27Z

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