Search Results for Logic. - Narrowed by: 2006
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-11-12T04:53:55Z
Philosophy of logic
ent://SD_ILS/0/SD_ILS:148381
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Jacquette, Dale.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444515414">http://www.sciencedirect.com/science/book/9780444515414</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Programmable logic controllers
ent://SD_ILS/0/SD_ILS:254481
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bolton, W. (William), 1933-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750681124">http://www.sciencedirect.com/science/book/9780750681124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A Companion to philosophical logic
ent://SD_ILS/0/SD_ILS:300081
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Jacquette, Dale. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470996751">http://dx.doi.org/10.1002/9780470996751</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number BC 108 A55 1972<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Preferred Shelf Number QA 273.4 C37 1971-<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Preferred Shelf Number B 945.P43 C5 1923 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A Concise Introduction to Mathematical Logic
ent://SD_ILS/0/SD_ILS:166020
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34241-9">http://dx.doi.org/10.1007/0-387-34241-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic Applications in Engineering Science
ent://SD_ILS/0/SD_ILS:169075
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4078-4">http://dx.doi.org/10.1007/1-4020-4078-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigid Flexibility The Logic of Intelligence
ent://SD_ILS/0/SD_ILS:169355
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Wang, Pei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5045-3">http://dx.doi.org/10.1007/1-4020-5045-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Judgment Psychology, Logic, Phenomenology
ent://SD_ILS/0/SD_ILS:238563
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Martin, Wayne.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511487613">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy logic and the semantic web
ent://SD_ILS/0/SD_ILS:253723
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Sanchez, Elie, 1944-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444519481">http://www.sciencedirect.com/science/book/9780444519481</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantifiers in language and logic
ent://SD_ILS/0/SD_ILS:233549
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Peters, Stanley, 1941- Westerståhl, Dag, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199291267.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital logic and microprocessor design with VHDL
ent://SD_ILS/0/SD_ILS:119643
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hwang, Enoch O.<br/>Preferred Shelf Number TK7888.4 .H885 2006<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Computation Engineering Applied Automata Theory and Logic
ent://SD_ILS/0/SD_ILS:165858
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gopalakrishnan, Ganesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-32520-4">http://dx.doi.org/10.1007/0-387-32520-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of Fuzzy Logic and Chaos Theory
ent://SD_ILS/0/SD_ILS:183408
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32502-6">http://dx.doi.org/10.1007/3-540-32502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Fuzzy Logic Technologies in Industrial Applications
ent://SD_ILS/0/SD_ILS:175430
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-469-4">http://dx.doi.org/10.1007/978-1-84628-469-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and the modalities in the twentieth century
ent://SD_ILS/0/SD_ILS:256626
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516220">http://www.sciencedirect.com/science/book/9780444516220</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number BC 108 B65 1928 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The limits of science : outline of logic and of the methodology of the exact sciences
ent://SD_ILS/0/SD_ILS:72557
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number Q 175 C494 1948 A (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Postmodernism, or, The cultural logic of late capitalism
ent://SD_ILS/0/SD_ILS:76042
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Why not kill them all? : the logic and prevention of mass political murder
ent://SD_ILS/0/SD_ILS:375120
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Chirot, Daniel. McCauley, Clark R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7pf8w">http://www.jstor.org/stable/10.2307/j.ctt7pf8w</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and contemporary rhetoric : the use of reason in everyday life
ent://SD_ILS/0/SD_ILS:109119
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Kahane, Howard, 1928- Cavender, Nancy.<br/>Preferred Shelf Number BC177 .K34 2006<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Signs of logic Peircean themes on the philosophy of language, games, and communication
ent://SD_ILS/0/SD_ILS:152176
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Pietarinen, Ahti-Veikko. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3729-5">http://dx.doi.org/10.1007/1-4020-3729-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
ent://SD_ILS/0/SD_ILS:181982
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Lippe, Wolfram-Manfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29274-8">http://dx.doi.org/10.1007/3-540-29274-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183421
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11676935">http://dx.doi.org/10.1007/11676935</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183465
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hill, Patricia M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11680093">http://dx.doi.org/10.1007/11680093</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183474
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/10983652">http://dx.doi.org/10.1007/10983652</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
ent://SD_ILS/0/SD_ILS:183536
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ent://SD_ILS/0/SD_ILS:183555
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183744
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
ent://SD_ILS/0/SD_ILS:183748
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33459-0">http://dx.doi.org/10.1007/978-3-540-33459-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183901
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11750734">http://dx.doi.org/10.1007/11750734</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184312
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786849">http://dx.doi.org/10.1007/11786849</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ent://SD_ILS/0/SD_ILS:184338
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Lau, Dietlinde. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-36023-9">http://dx.doi.org/10.1007/3-540-36023-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ent://SD_ILS/0/SD_ILS:152338
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5012-7">http://dx.doi.org/10.1007/978-1-4020-5012-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Switching Theory and Logic Design A Hands on Approach
ent://SD_ILS/0/SD_ILS:165712
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Astola, Jaakko T. author. Stanković, Radomir S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30311-1">http://dx.doi.org/10.1007/0-387-30311-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183971
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184398
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11799573">http://dx.doi.org/10.1007/11799573</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
ent://SD_ILS/0/SD_ILS:184462
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36874-8">http://dx.doi.org/10.1007/978-3-540-36874-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184845
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874683">http://dx.doi.org/10.1007/11874683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low-power CMOS circuits technology, logic design and CAD tools
ent://SD_ILS/0/SD_ILS:284894
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Piguet, Christian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420036503">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cost optimization of structures fuzzy logic, genetic algorithms, and parallel computing
ent://SD_ILS/0/SD_ILS:302898
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Adeli, Hojjat, 1950- Sarma, Kamal C. (Kamal Chandra), 1955- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/0470867353">http://dx.doi.org/10.1002/0470867353</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
ent://SD_ILS/0/SD_ILS:72527
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number QA 681 N5 1930 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical studies
ent://SD_ILS/0/SD_ILS:72539
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 6 W72 1957 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
A treatise on induction and probability
ent://SD_ILS/0/SD_ILS:55443
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number BC 91 W72 1951 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The foundations of mathematics : and other logical essays
ent://SD_ILS/0/SD_ILS:72541
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number QA 9 R23 1931<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The nature of mathematics : a critical survey
ent://SD_ILS/0/SD_ILS:72542
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number QA 9 H415 1971- V.1<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Intuition and the Axiomatic Method
ent://SD_ILS/0/SD_ILS:152220
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Carson, Emily. Huber, Renate. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4040-7">http://dx.doi.org/10.1007/1-4020-4040-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A logical Approach to Philosophy Essays in Honour of Graham Solomon
ent://SD_ILS/0/SD_ILS:152222
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Devidi, David. Kenyon, Tim. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4054-7">http://dx.doi.org/10.1007/1-4020-4054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CAMEL intelligent networks for the GSM, GPSR and UMTS network
ent://SD_ILS/0/SD_ILS:295800
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Noldus, Rogier. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/0470028483">http://dx.doi.org/10.1002/0470028483</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471">http://www3.interscience.wiley.com/cgi-bin/bookhome/112633471</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lectures on the Curry-Howard isomorphism
ent://SD_ILS/0/SD_ILS:256636
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Sørensen, Morten Heine. Urzyczyn, Paweł.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relation algebras
ent://SD_ILS/0/SD_ILS:256531
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Maddux, R. D. (Roger D.), 1948-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520135">http://www.sciencedirect.com/science/book/9780444520135</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Britton, Karl, 1909-<br/>Preferred Shelf Number P 105 B75 1939 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Dialectic
ent://SD_ILS/0/SD_ILS:72501
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number BC 177 A4 1927 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The logical syntax of language
ent://SD_ILS/0/SD_ILS:72509
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:76943
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Akay, Metin.<br/>Preferred Shelf Number QT 26.5 N813 2000-<br/>Format: Books<br/>Availability Health Sciences Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:79068
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number R 857.S47 N66 2000- V.2<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
İslam mantık tarihi ve Farabi mantığı
ent://SD_ILS/0/SD_ILS:85159
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The proceedings of the twenty-first World Congress of Philosophy
ent://SD_ILS/0/SD_ILS:119401
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author World Congress of Philosophy (21st : 2003 : Istanbul, Turkey) Kuçuradi, Ioanna. Türkiye Felsefe Kurumu.<br/>Preferred Shelf Number B20 .W68 2006-07 V.1<br/>Format: Books<br/>Availability Beytepe Library~13<br/>
Intelligence, destiny, and education : the ideological roots of intelligence testing
ent://SD_ILS/0/SD_ILS:120082
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author White, John, 1934-<br/>Preferred Shelf Number BF431 .W532 2006<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION
ent://SD_ILS/0/SD_ILS:152207
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author ALISEDA, ATOCHA. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3907-7">http://dx.doi.org/10.1007/1-4020-3907-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analogy in Indian and Western Philosophical Thought
ent://SD_ILS/0/SD_ILS:152127
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Zilberman, David B. Gourko, Helena. Cohen, Robert S. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3340-0">http://dx.doi.org/10.1007/1-4020-3340-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logos of Phenomenology and Phenomenology of the Logos. Book Four The Logos of Scientific Interrogation. Participating in Nature-Life-Sharing in Life
ent://SD_ILS/0/SD_ILS:152177
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Tymieniecka, Anna-Teresa. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3737-6">http://dx.doi.org/10.1007/1-4020-3737-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fault-Tolerance Techniques for SRAM-based FPGAs
ent://SD_ILS/0/SD_ILS:165779
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-31069-5">http://dx.doi.org/10.1007/978-0-387-31069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Problems and Theorems in Classical Set Theory
ent://SD_ILS/0/SD_ILS:166139
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-36219-3">http://dx.doi.org/10.1007/0-387-36219-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Techniques of Constructive Analysis
ent://SD_ILS/0/SD_ILS:166228
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-38147-3">http://dx.doi.org/10.1007/978-0-387-38147-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Congruences of a Finite Lattice A Proof-by-Picture Approach
ent://SD_ILS/0/SD_ILS:168148
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Grätzer, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-8176-4462-8">http://dx.doi.org/10.1007/0-8176-4462-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
ent://SD_ILS/0/SD_ILS:175386
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-336-1">http://dx.doi.org/10.1007/1-84628-336-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
ent://SD_ILS/0/SD_ILS:182190
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Lienig, Jens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 1 Abstraction and Modelling
ent://SD_ILS/0/SD_ILS:182582
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182627
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11617990">http://dx.doi.org/10.1007/11617990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:182789
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:182831
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:182884
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Dix, Jürgen. editor. Hegner, Stephen J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
ent://SD_ILS/0/SD_ILS:183380
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32439-3">http://dx.doi.org/10.1007/978-3-540-32439-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183445
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183451
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183496
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183516
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183600
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183602
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183604
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183616
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183617
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183618
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11605157">http://dx.doi.org/10.1007/11605157</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183621
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Valmari, Antti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691617">http://dx.doi.org/10.1007/11691617</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
ent://SD_ILS/0/SD_ILS:183623
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183645
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
ent://SD_ILS/0/SD_ILS:183707
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 3 Domains, Requirements, and Software Design
ent://SD_ILS/0/SD_ILS:183791
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bjøner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183805
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Théorie des ensembles
ent://SD_ILS/0/SD_ILS:183915
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bourbaki, N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34035-5">http://dx.doi.org/10.1007/978-3-540-34035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183925
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183938
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:183952
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184062
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184185
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184201
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184208
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184216
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184242
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184249
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:184259
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:184261
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184281
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184282
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Uustalu, Tarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184283
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184297
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Thomas, Dave. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184309
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184322
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11787044">http://dx.doi.org/10.1007/11787044</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185128
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers
ent://SD_ILS/0/SD_ILS:185130
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185152
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185155
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185165
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Cruz, Isabel. editor. Decker, Stefan. editor. Allemang, Dean. editor. Preist, Chris. editor. Schwabe, Daniel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185247
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185310
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:185665
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
ent://SD_ILS/0/SD_ILS:197974
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7692-9">http://dx.doi.org/10.1007/3-7643-7692-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Introduction to Programming
ent://SD_ILS/0/SD_ILS:175351
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Mills, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logischer Entwurf digitaler Systeme
ent://SD_ILS/0/SD_ILS:182032
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Liebig, Hans. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29430-9">http://dx.doi.org/10.1007/3-540-29430-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Algebraic Graph Transformation
ent://SD_ILS/0/SD_ILS:182540
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation
ent://SD_ILS/0/SD_ILS:152329
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hitchcock, David. Verheij, Bart. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4938-5">http://dx.doi.org/10.1007/978-1-4020-4938-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods of legal reasoning
ent://SD_ILS/0/SD_ILS:152330
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4939-0">http://dx.doi.org/10.1007/1-4020-4939-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
18 Unconventional Essays on the Nature of Mathematics
ent://SD_ILS/0/SD_ILS:165677
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hersh, Reuben. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-29831-2">http://dx.doi.org/10.1007/0-387-29831-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Notes on Set Theory
ent://SD_ILS/0/SD_ILS:165825
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Moschovakis, Yiannis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31609-4">http://dx.doi.org/10.1007/0-387-31609-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Formal Methods and Applications
ent://SD_ILS/0/SD_ILS:169114
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gabbar, Hossam A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4223-X">http://dx.doi.org/10.1007/1-4020-4223-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty, Rationality, and Agency
ent://SD_ILS/0/SD_ILS:169236
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Hoek, Wiebe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4631-6">http://dx.doi.org/10.1007/1-4020-4631-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Roadmap for Formal Property Verification
ent://SD_ILS/0/SD_ILS:169271
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author DasGupta, Pallab. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tracking reason proof, consequence, and truth
ent://SD_ILS/0/SD_ILS:231352
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Azzouni, Jody.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195187137.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical pluralism
ent://SD_ILS/0/SD_ILS:233320
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Beall, J. C. Restall, Greg, 1969-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199288403.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199288403.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Attitude problems an essay on linguistic intensionality
ent://SD_ILS/0/SD_ILS:233761
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Forbes, Graeme.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199274949.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199274949.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Commonsense reasoning
ent://SD_ILS/0/SD_ILS:253776
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Mueller, Erik T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123693884">http://www.sciencedirect.com/science/book/9780123693884</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle
ent://SD_ILS/0/SD_ILS:152228
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Galavotti, Maria Carla. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4101-2">http://dx.doi.org/10.1007/1-4020-4101-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
THE LIMITS OF LOGICAL EMPIRICISM SELECTED PAPERS OF ARTHUR PAP
ent://SD_ILS/0/SD_ILS:152257
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author KEUPINK, ALFONS. SHIEH, SANFORD. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4299-X">http://dx.doi.org/10.1007/1-4020-4299-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory
ent://SD_ILS/0/SD_ILS:181857
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28788-4">http://dx.doi.org/10.1007/3-540-28788-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183274
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 2 Specification of Systems and Languages
ent://SD_ILS/0/SD_ILS:183656
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Axiom of Choice
ent://SD_ILS/0/SD_ILS:183983
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Herrlich, Horst. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601562">http://dx.doi.org/10.1007/11601562</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
ent://SD_ILS/0/SD_ILS:184002
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184122
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:184426
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184447
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805618">http://dx.doi.org/10.1007/11805618</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184457
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11802372">http://dx.doi.org/10.1007/11802372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184493
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184501
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11812128">http://dx.doi.org/10.1007/11812128</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184502
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184536
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Baier, Christel. editor. Hermanns, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184539
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
ent://SD_ILS/0/SD_ILS:184585
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184601
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184632
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184636
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184676
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Mizoguchi, Riichiro. editor. Shi, Zhongzhi. editor. Giunchiglia, Fausto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184696
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184697
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184718
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184758
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11859802">http://dx.doi.org/10.1007/11859802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184764
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184820
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184828
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Sakakibara, Yasubumi. editor. Kobayashi, Satoshi. editor. Sato, Kengo. editor. Nishino, Tetsuro. editor. Tomita, Etsuji. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11872436">http://dx.doi.org/10.1007/11872436</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Variations on Constants Flow Analysis of Sequential and Parallel Programs
ent://SD_ILS/0/SD_ILS:184841
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Müller-Olm, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184846
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Sichman, Jaime Simão. editor. Coelho, Helder. editor. Rezende, Solange Oliveira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184859
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Górski, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11875567">http://dx.doi.org/10.1007/11875567</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184890
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184911
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Benhamou, Frédéric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11889205">http://dx.doi.org/10.1007/11889205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184972
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185008
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185017
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
ent://SD_ILS/0/SD_ILS:185372
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185459
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185576
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185733
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Butterfield, Andrew. editor. Grelck, Clemens. editor. Huch, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964681">http://dx.doi.org/10.1007/11964681</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking about acting logical foundations for rational decision making
ent://SD_ILS/0/SD_ILS:232026
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Pollock, John L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision diagram techniques for micro- and nanoelectronic design handbook
ent://SD_ILS/0/SD_ILS:290534
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Yanushkevich, Svetlana N.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420037586">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Synthesis of arithmetic circuits FPGA, ASIC and embedded systems
ent://SD_ILS/0/SD_ILS:303042
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Deschamps, Jean-Pierre, 1945- Bioul, Géry Jean Antoine. Sutter, Gustavo D. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={9B847F1D-7655-49AF-84E0-C6142303ACD3}&Format=50">Click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471687832">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471741426">http://dx.doi.org/10.1002/0471741426</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650">http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html">http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorems, corollaries, lemmas, and methods of proof
ent://SD_ILS/0/SD_ILS:303091
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Rossi, Richard J., 1956-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=694434">Click here to view book</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118031575">http://dx.doi.org/10.1002/9781118031575</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10503020">http://site.ebrary.com/lib/alltitles/Doc?id=10503020</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physics with MAPLE the computer algebra resource for mathematical methods in physics
ent://SD_ILS/0/SD_ILS:303562
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Wang, Frank Y. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9783527618934">http://dx.doi.org/10.1002/9783527618934</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html">http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and common sense a case of creative tension
ent://SD_ILS/0/SD_ILS:289848
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Davis, Philip J., 1923-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439864326">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Plays. 5 / Tom Murphy ; with an introduction by Nicholas Grene.
ent://SD_ILS/0/SD_ILS:342398
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Murphy, Tom.<br/>Preferred Shelf Number PR6063.U736 A6 2006<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Yargı yetisinin eleştrisi = Kritik der Urteilskraft
ent://SD_ILS/0/SD_ILS:490320
2024-11-12T04:53:55Z
2024-11-12T04:53:55Z
Author Kant, Immanuel, 11724-1804 Yardımlı, Aziz.<br/>Preferred Shelf Number B2783 K36 2006<br/>Format: Books<br/>Availability Beytepe Library~1<br/>