Search Results for Logic - Narrowed by: 2005
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026te$003dILS$0026ps$003d300?dt=list
2024-12-23T10:00:51Z
Primarily logic
ent://SD_ILS/0/SD_ILS:386742
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.<br/>Preferred Shelf Number LB1590.3 L45 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic countdown
ent://SD_ILS/0/SD_ILS:386745
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Risby, Bonnie Lou. Crawford, Dean.<br/>Format: Books<br/>Availability ~0<br/>
Logic Safari
ent://SD_ILS/0/SD_ILS:386788
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Risby, Bonnie Lou. Palouda, Annelise.<br/>Preferred Shelf Number BC101 R57 2005 V.1<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Orbiting with logic
ent://SD_ILS/0/SD_ILS:386741
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Risby, Bonnie Lou. Crawford, Dean.<br/>Preferred Shelf Number LB1590.3 R57 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Introduction to logic
ent://SD_ILS/0/SD_ILS:748
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number BC 108 S85 1957<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Fuzzy Equational Logic
ent://SD_ILS/0/SD_ILS:183348
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic
ent://SD_ILS/0/SD_ILS:152113
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3092-4">http://dx.doi.org/10.1007/1-4020-3092-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Thought and Action
ent://SD_ILS/0/SD_ILS:152117
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Vanderveken, Daniel. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3167-X">http://dx.doi.org/10.1007/1-4020-3167-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Studies in Legal Logic
ent://SD_ILS/0/SD_ILS:152153
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hage, Jaap. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3552-7">http://dx.doi.org/10.1007/1-4020-3552-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in modal logic
ent://SD_ILS/0/SD_ILS:78063
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kracht, Marcus, ed.<br/>Preferred Shelf Number BC 199.M6 A38 1998- V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Logic design of nanoICs
ent://SD_ILS/0/SD_ILS:286784
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420038293">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to logic design
ent://SD_ILS/0/SD_ILS:312389
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Marcovitz, Alan B.<br/>Preferred Shelf Number TK7868 L6 M355 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic Programming with Prolog
ent://SD_ILS/0/SD_ILS:175316
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bramer, Max. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-212-8">http://dx.doi.org/10.1007/1-84628-212-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of practice
ent://SD_ILS/0/SD_ILS:90557
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number GN 468 B6813 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Studies in inductive logic and probability
ent://SD_ILS/0/SD_ILS:35499
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/>
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/>
Chance, love and logic : philosophical essays
ent://SD_ILS/0/SD_ILS:67464
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/>
Lollipop logic : grades K-2
ent://SD_ILS/0/SD_ILS:386782
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.<br/>Preferred Shelf Number BC71 R57 2011 V.1<br/>Format: Books<br/>Availability Beytepe Library~3<br/>
Fuzzy Logic in Financial Analysis
ent://SD_ILS/0/SD_ILS:183311
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Philosophical Logic, 2nd Edition
ent://SD_ILS/0/SD_ILS:152150
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gabbay, D.M. Guenthner, F. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3521-7">http://dx.doi.org/10.1007/1-4020-3521-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grounded Consequence for Defeasible Logic
ent://SD_ILS/0/SD_ILS:234960
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Antonelli, Aldo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498411">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy Logic, Identification and Predictive Control
ent://SD_ILS/0/SD_ILS:175220
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of digital logic and microcomputer design
ent://SD_ILS/0/SD_ILS:301766
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Rafiquzzaman, Mohamed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={2ED0D2CE-7D20-4839-ABEF-9FDF71A0D9B8}&Format=50">Click for information</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471733520">http://dx.doi.org/10.1002/0471733520</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780471733522">http://dx.doi.org/10.1002/9780471733522</a>
<a href="http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380">http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantifying Environmental Impact Assessments Using Fuzzy Logic
ent://SD_ILS/0/SD_ILS:165468
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Shepard, Richard B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28098-7">http://dx.doi.org/10.1007/0-387-28098-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Phenomenology, Logic, and the Philosophy of Mathematics
ent://SD_ILS/0/SD_ILS:237047
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Tieszen, Richard.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511498589">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic safari. Book 1, grades 2-3
ent://SD_ILS/0/SD_ILS:386726
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Risby, Bonnie Lou. Palouda, Annelise, illustrator.<br/>Format: Books<br/>Availability ~0<br/>
The rise of modern logic from Leibniz to Frege
ent://SD_ILS/0/SD_ILS:256625
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/>
The technique of controversy : principles of dynamic logic
ent://SD_ILS/0/SD_ILS:72543
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Jameson, Fredric.<br/>Preferred Shelf Number PN 98.P67 J3 1991<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management
ent://SD_ILS/0/SD_ILS:164815
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Simchi-Levi, David. author. Chen, Xin. author. Bramel, Julien. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b97669">http://dx.doi.org/10.1007/b97669</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
ent://SD_ILS/0/SD_ILS:168770
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2888-1">http://dx.doi.org/10.1007/1-4020-2888-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182913
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182937
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11536314">http://dx.doi.org/10.1007/11536314</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182943
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11533092">http://dx.doi.org/10.1007/11533092</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logica Universalis Towards a General Theory of Logic
ent://SD_ILS/0/SD_ILS:197838
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Beziau, Jean-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137041">http://dx.doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183019
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183183
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135595">http://dx.doi.org/10.1007/b135595</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 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183239
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Faltings, Boi V. editor. Petcu, Adrian. 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/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The logic of environmentalism : anthropology, ecology, and postcoloniality
ent://SD_ILS/0/SD_ILS:114476
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Argyrou, Vassos.<br/>Preferred Shelf Number GF21 .A74 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic, meaning, and conversation semantical underdeterminacy, implicature, and their interface
ent://SD_ILS/0/SD_ILS:232209
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Atlas, Jay David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195133004.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195133004.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logically determined design clockless system design with NULL convention logic
ent://SD_ILS/0/SD_ILS:301645
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fant, Karl M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a>
Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
ent://SD_ILS/0/SD_ILS:168782
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Solojentsev, E. D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2978-0">http://dx.doi.org/10.1007/1-4020-2978-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning
ent://SD_ILS/0/SD_ILS:175236
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138799">http://dx.doi.org/10.1007/b138799</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182272
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104175">http://dx.doi.org/10.1007/b104175</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182829
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Etalle, Sandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182983
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Modern Perspective on Type Theory From its Origins until Today
ent://SD_ILS/0/SD_ILS:168693
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Robots The Art and Science of Programming Robotic Agents
ent://SD_ILS/0/SD_ILS:152109
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Thielscher, Michael. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3069-X">http://dx.doi.org/10.1007/1-4020-3069-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The reach of abduction insight and trial
ent://SD_ILS/0/SD_ILS:256628
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/9780444517913">http://www.sciencedirect.com/science/book/9780444517913</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Anaphora and Type Logical Grammar
ent://SD_ILS/0/SD_ILS:152206
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author JÄger, Gerhard. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3905-0">http://dx.doi.org/10.1007/1-4020-3905-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature's Principles
ent://SD_ILS/0/SD_ILS:152122
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3258-7">http://dx.doi.org/10.1007/1-4020-3258-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature's principles
ent://SD_ILS/0/SD_ILS:110609
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Faye, Jan.<br/>Preferred Shelf Number BD581 .B35 2005<br/>Format: Books<br/>Availability Beytepe 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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Black, Max, 1909-<br/>Preferred Shelf Number QA 9 B62 1933 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An examination of logical positivism
ent://SD_ILS/0/SD_ILS:44223
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number B 824.6 W434 1936 (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Cylindric algebras
ent://SD_ILS/0/SD_ILS:46044
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/>
Visualization, Explanation and Reasoning Styles in Mathematics
ent://SD_ILS/0/SD_ILS:168874
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3335-4">http://dx.doi.org/10.1007/1-4020-3335-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Knowledge
ent://SD_ILS/0/SD_ILS:152104
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Stepin, Vyacheslav. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3046-0">http://dx.doi.org/10.1007/1-4020-3046-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski
ent://SD_ILS/0/SD_ILS:152136
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Rojszczak, Artur. Wolenski, Jan. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3397-4">http://dx.doi.org/10.1007/1-4020-3397-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Dynamics of Thought
ent://SD_ILS/0/SD_ILS:152137
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gärdenfors, Peter. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3399-0">http://dx.doi.org/10.1007/1-4020-3399-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear biomedical signal processing
ent://SD_ILS/0/SD_ILS:76943
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Keklik, Nihat.<br/>Preferred Shelf Number BC 34 K4 1969-70<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Communication : a philosophical study of language
ent://SD_ILS/0/SD_ILS:72500
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
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-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number BC 135 C323 1937 P (SET)<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Information, Interaction and Agency
ent://SD_ILS/0/SD_ILS:152227
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hoek, Wiebe. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4094-6">http://dx.doi.org/10.1007/1-4020-4094-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction, Refinement and Proof for Probabilistic Systems
ent://SD_ILS/0/SD_ILS:165310
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essays in Constructive Mathematics
ent://SD_ILS/0/SD_ILS:165337
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Edwards, Harold M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138656">http://dx.doi.org/10.1007/b138656</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:165486
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Argumentation Methods for Artificial Intelligence in Law
ent://SD_ILS/0/SD_ILS:152562
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Walton, Douglas. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27881-8">http://dx.doi.org/10.1007/3-540-27881-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Laws of Nature
ent://SD_ILS/0/SD_ILS:152564
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28303-X">http://dx.doi.org/10.1007/3-540-28303-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taxonomies for the Development and Verification of Digital Systems
ent://SD_ILS/0/SD_ILS:165002
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104217">http://dx.doi.org/10.1007/b104217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ent://SD_ILS/0/SD_ILS:181352
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kurki-Suonio, Reino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complexity Theory Exploring the Limits of Efficient Algorithms
ent://SD_ILS/0/SD_ILS:181425
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Wegener, Ingo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27477-4">http://dx.doi.org/10.1007/3-540-27477-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
ent://SD_ILS/0/SD_ILS:181540
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
ent://SD_ILS/0/SD_ILS:181586
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Trinder, Phil. editor. Michaelson, Greg J. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102274">http://dx.doi.org/10.1007/b102274</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182343
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
ent://SD_ILS/0/SD_ILS:182354
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182357
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182366
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182375
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182376
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Cousot, Radhia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105073">http://dx.doi.org/10.1007/b105073</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inconsistency Tolerance
ent://SD_ILS/0/SD_ILS:182393
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182479
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182668
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182671
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182887
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182888
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107134">http://dx.doi.org/10.1007/b107134</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182906
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182907
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182915
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182920
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Margenstern, Maurice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106980">http://dx.doi.org/10.1007/b106980</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182931
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Roy, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:182933
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182934
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182948
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182950
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Nieuwenhuis, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182953
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182962
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182968
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527862">http://dx.doi.org/10.1007/11527862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field Arithmetic
ent://SD_ILS/0/SD_ILS:181100
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138352">http://dx.doi.org/10.1007/b138352</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
ent://SD_ILS/0/SD_ILS:181284
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Categories for Software Engineering
ent://SD_ILS/0/SD_ILS:181067
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fiadeiro, José Luiz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Informatik Objektorientiert mit Java
ent://SD_ILS/0/SD_ILS:181070
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138253">http://dx.doi.org/10.1007/b138253</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183075
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183082
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Urzyczyn, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135690">http://dx.doi.org/10.1007/b135690</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183013
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183026
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183031
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183041
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183043
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
ent://SD_ILS/0/SD_ILS:183088
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183091
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183051
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183053
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183055
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Cerioli, Maura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107062">http://dx.doi.org/10.1007/b107062</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183097
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183098
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Giesl, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Testing of Reactive Systems Advanced Lectures
ent://SD_ILS/0/SD_ILS:183102
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137241">http://dx.doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183103
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136772">http://dx.doi.org/10.1007/b136772</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183068
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11563228">http://dx.doi.org/10.1007/11563228</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183172
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183187
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107183">http://dx.doi.org/10.1007/b107183</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183227
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183234
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183237
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183245
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183247
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. 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/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
ent://SD_ILS/0/SD_ILS:183252
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136154">http://dx.doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183257
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183259
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11587514">http://dx.doi.org/10.1007/11587514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
ent://SD_ILS/0/SD_ILS:183261
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106974">http://dx.doi.org/10.1007/b106974</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183268
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rippling: Meta-Level Guidance for Mathematical Reasoning
ent://SD_ILS/0/SD_ILS:238201
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511543326">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Demystifying chipmaking
ent://SD_ILS/0/SD_ILS:254726
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Yanda, Richard F. Heynes, Michael. Miller, Anne K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750677608">http://www.sciencedirect.com/science/book/9780750677608</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Big Typescript, TS. 213
ent://SD_ILS/0/SD_ILS:296244
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html">http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470752906">http://dx.doi.org/10.1002/9780470752906</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The proper treatment of events
ent://SD_ILS/0/SD_ILS:296431
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Lambalgen, Michiel van, 1954- Hamm, Fritz, 1953- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470759257">http://dx.doi.org/10.1002/9780470759257</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of intensional semantics
ent://SD_ILS/0/SD_ILS:296482
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fox, Chris, 1965- Lappin, Shalom. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470773543">http://dx.doi.org/10.1002/9780470773543</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html">http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computationally intelligent hybrid systems the fusion of soft computing and hard computing
ent://SD_ILS/0/SD_ILS:249373
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Ovaska, Seppo J., 1956- Institute of Electrical and Electronics Engineers. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=6218879">http://ieeexplore.ieee.org/servlet/opac?bknumber=6218879</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An introduction to Kant's aesthetics core concepts and problems
ent://SD_ILS/0/SD_ILS:301007
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Wenzel, Christian Helmut. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0802/2005009258-b.html">http://catdir.loc.gov/catdir/enhancements/fy0802/2005009258-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470776599">http://dx.doi.org/10.1002/9780470776599</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fuzzy modeling and genetic algorithms for data mining and exploration
ent://SD_ILS/0/SD_ILS:253771
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Cox, Earl.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780121942755">http://www.sciencedirect.com/science/book/9780121942755</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Baker's dozen real analog solutions for digital designers
ent://SD_ILS/0/SD_ILS:254733
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Baker, Bonnie (Bonnie C.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750678193">http://www.sciencedirect.com/science/book/9780750678193</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language, Meaning, Interpretation
ent://SD_ILS/0/SD_ILS:168671
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fløistad, Guttorm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2195-X">http://dx.doi.org/10.1007/1-4020-2195-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Algorithms, Architectures and Applications for Reconfigurable Computing
ent://SD_ILS/0/SD_ILS:168817
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Continuum Mechanics of Porous Media
ent://SD_ILS/0/SD_ILS:168821
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Boer, Reint. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3144-0">http://dx.doi.org/10.1007/1-4020-3144-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)
ent://SD_ILS/0/SD_ILS:168934
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Melle, Ullrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3574-8">http://dx.doi.org/10.1007/1-4020-3574-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Propositional and Predicate Calculus A Model of Argument
ent://SD_ILS/0/SD_ILS:175328
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Goldrei, Derek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-229-2">http://dx.doi.org/10.1007/1-84628-229-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bilimsel araştırmanın mantığı
ent://SD_ILS/0/SD_ILS:506209
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.<br/>Preferred Shelf Number Q175.3 P67 2005<br/>Format: Books<br/>Availability Law Library~1 Beytepe Library~1<br/>
Abstract Computing Machines A Lambda Calculus Perspective
ent://SD_ILS/0/SD_ILS:181360
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:181842
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:181846
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11550679">http://dx.doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Valued Fields
ent://SD_ILS/0/SD_ILS:182242
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182351
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182718
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137793">http://dx.doi.org/10.1007/b137793</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182735
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182752
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182754
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182783
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182784
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11605300">http://dx.doi.org/10.1007/11605300</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:182822
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182828
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137735">http://dx.doi.org/10.1007/b137735</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182832
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138445">http://dx.doi.org/10.1007/b138445</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182846
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182853
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Black, Andrew P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182985
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Godefroid, Patrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182989
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183000
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183007
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
ent://SD_ILS/0/SD_ILS:183009
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:183012
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
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/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183095
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183056
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183058
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183104
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Guelfi, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183106
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183114
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183115
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Beek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183121
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183136
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183143
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556930">http://dx.doi.org/10.1007/11556930</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183145
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183147
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183155
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183156
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183170
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572961">http://dx.doi.org/10.1007/11572961</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183361
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183367
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-aided intelligent recognition techniques and applications
ent://SD_ILS/0/SD_ILS:295892
2024-12-23T10:00:51Z
2024-12-23T10:00:51Z
Author Sarfraz, Muhammad. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/0470094168">http://dx.doi.org/10.1002/0470094168</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>