Search Results for Logic. - Narrowed by: 2005SirsiDynix Enterprisehttp://librarycatalog.yyu.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092005$0025092005$0026ps$003d300$0026isd$003dtrue?dt=list2025-02-15T17:26:32ZContemporary logic designent://SD_ILS/0/SD_ILS:850842025-02-15T17:26:32Z2025-02-15T17:26:32Zby Katz, Randy H., 1955-<br/>Format: Books<br/>Fuzzy Equational Logicent://SD_ILS/0/SD_ILS:1422032025-02-15T17:26:32Z2025-02-15T17:26:32Zby Belohlávek, Radim. author.<br/><a href="https://doi.org/10.1007/b105121">https://doi.org/10.1007/b105121</a><br/>Format: Electronic Resources<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:1548932025-02-15T17:26:32Z2025-02-15T17:26:32Zby Vanderveken, Daniel. editor.<br/><a href="https://doi.org/10.1007/1-4020-3167-X">https://doi.org/10.1007/1-4020-3167-X</a><br/>Format: Electronic Resources<br/>Studies in Legal Logicent://SD_ILS/0/SD_ILS:1549392025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hage, Jaap. author.<br/><a href="https://doi.org/10.1007/1-4020-3552-7">https://doi.org/10.1007/1-4020-3552-7</a><br/>Format: Electronic Resources<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:1468372025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bramer, Max. author.<br/><a href="https://doi.org/10.1007/1-84628-212-8">https://doi.org/10.1007/1-84628-212-8</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 12ent://SD_ILS/0/SD_ILS:1548872025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gabbay, D.M. editor.<br/><a href="https://doi.org/10.1007/1-4020-3092-4">https://doi.org/10.1007/1-4020-3092-4</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 13ent://SD_ILS/0/SD_ILS:1549352025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gabbay, D.M. editor.<br/><a href="https://doi.org/10.1007/1-4020-3521-7">https://doi.org/10.1007/1-4020-3521-7</a><br/>Format: Electronic Resources<br/>Fuzzy Logic in Financial Analysisent://SD_ILS/0/SD_ILS:1458222025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929<br/><a href="https://doi.org/10.1007/3-540-32368-6">https://doi.org/10.1007/3-540-32368-6</a><br/>Format: Electronic Resources<br/>Fuzzy Logic, Identification and Predictive Controlent://SD_ILS/0/SD_ILS:1494122025-02-15T17:26:32Z2025-02-15T17:26:32Zby Espinosa Oviedo, Jairo Jose. author.<br/><a href="https://doi.org/10.1007/b138626">https://doi.org/10.1007/b138626</a><br/>Format: Electronic Resources<br/>Quantifying Environmental Impact Assessments Using Fuzzy Logicent://SD_ILS/0/SD_ILS:1524592025-02-15T17:26:32Z2025-02-15T17:26:32Zby Shepard, Richard B. author.<br/><a href="https://doi.org/10.1007/0-387-28098-7">https://doi.org/10.1007/0-387-28098-7</a><br/>Format: Electronic Resources<br/>Proofs and refutations : the logic of mathematical discoveryent://SD_ILS/0/SD_ILS:796562025-02-15T17:26:32Z2025-02-15T17:26:32Zby Lakatos, Imre<br/>Format: Books<br/>Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1696442025-02-15T17:26:32Z2025-02-15T17:26:32Zby Baral, Chitta. editor.<br/><a href="https://doi.org/10.1007/11546207">https://doi.org/10.1007/11546207</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1703072025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kramer, Stefan. editor.<br/><a href="https://doi.org/10.1007/11536314">https://doi.org/10.1007/11536314</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1709232025-02-15T17:26:32Z2025-02-15T17:26:32Zby Leite, João. editor.<br/><a href="https://doi.org/10.1007/11533092">https://doi.org/10.1007/11533092</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:1711892025-02-15T17:26:32Z2025-02-15T17:26:32Zby Faltings, Boi. editor.<br/><a href="https://doi.org/10.1007/b106890">https://doi.org/10.1007/b106890</a><br/>Format: Electronic Resources<br/>Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1718572025-02-15T17:26:32Z2025-02-15T17:26:32Zby Ong, Luke. editor.<br/><a href="https://doi.org/10.1007/11538363">https://doi.org/10.1007/11538363</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1719522025-02-15T17:26:32Z2025-02-15T17:26:32Zby Baader, Franz. editor.<br/><a href="https://doi.org/10.1007/b106931">https://doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1720362025-02-15T17:26:32Z2025-02-15T17:26:32Zby Sutcliffe, Geoff. editor.<br/><a href="https://doi.org/10.1007/11591191">https://doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1721322025-02-15T17:26:32Z2025-02-15T17:26:32Zby Etalle, Sandro. editor.<br/><a href="https://doi.org/10.1007/b137785">https://doi.org/10.1007/b137785</a><br/>Format: Electronic Resources<br/>Logica Universalis Towards a General Theory of Logicent://SD_ILS/0/SD_ILS:1675772025-02-15T17:26:32Z2025-02-15T17:26:32Zby Beziau, Jean-Yves. editor.<br/><a href="https://doi.org/10.1007/b137041">https://doi.org/10.1007/b137041</a><br/>Format: Electronic Resources<br/>Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoningent://SD_ILS/0/SD_ILS:1632562025-02-15T17:26:32Z2025-02-15T17:26:32Zby Chen-Burger, Yun-Heh. author.<br/><a href="https://doi.org/10.1007/b138799">https://doi.org/10.1007/b138799</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1513162025-02-15T17:26:32Z2025-02-15T17:26:32Zby Leite, João. editor.<br/><a href="https://doi.org/10.1007/b104175">https://doi.org/10.1007/b104175</a><br/>Format: Electronic Resources<br/>The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Managementent://SD_ILS/0/SD_ILS:1519862025-02-15T17:26:32Z2025-02-15T17:26:32Zby Simchi-Levi, David. author.<br/><a href="https://doi.org/10.1007/b97669">https://doi.org/10.1007/b97669</a><br/>Format: Electronic Resources<br/>Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1430232025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gabbrielli, Maurizio. editor. (orcid)0000-0003-0609-8662<br/><a href="https://doi.org/10.1007/11562931">https://doi.org/10.1007/11562931</a><br/>Format: Electronic Resources<br/>Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuitsent://SD_ILS/0/SD_ILS:1434612025-02-15T17:26:32Z2025-02-15T17:26:32Zby Alioto, Massimo. author.<br/><a href="https://doi.org/10.1007/1-4020-2888-1">https://doi.org/10.1007/1-4020-2888-1</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:1352152025-02-15T17:26:32Z2025-02-15T17:26:32Zby Seipel, Dietmar. editor.<br/><a href="https://doi.org/10.1007/b135595">https://doi.org/10.1007/b135595</a><br/>Format: Electronic Resources<br/>Scenario Logic and Probabilistic Management of Risk in Business and Engineeringent://SD_ILS/0/SD_ILS:1369922025-02-15T17:26:32Z2025-02-15T17:26:32Zby Solojentsev, Evgueni D. author.<br/><a href="https://doi.org/10.1007/1-4020-2978-0">https://doi.org/10.1007/1-4020-2978-0</a><br/>Format: Electronic Resources<br/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1400632025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kamareddine, F.D. author.<br/><a href="https://doi.org/10.1007/1-4020-2335-9">https://doi.org/10.1007/1-4020-2335-9</a><br/>Format: Electronic Resources<br/>Reasoning Robots The Art and Science of Programming Robotic Agentsent://SD_ILS/0/SD_ILS:1369962025-02-15T17:26:32Z2025-02-15T17:26:32Zby Thielscher, Michael. author.<br/><a href="https://doi.org/10.1007/1-4020-3069-X">https://doi.org/10.1007/1-4020-3069-X</a><br/>Format: Electronic Resources<br/>Anaphora and Type Logical Grammarent://SD_ILS/0/SD_ILS:1398872025-02-15T17:26:32Z2025-02-15T17:26:32Zby Jäger, Gerhard. author.<br/><a href="https://doi.org/10.1007/1-4020-3905-0">https://doi.org/10.1007/1-4020-3905-0</a><br/>Format: Electronic Resources<br/>Nature's Principlesent://SD_ILS/0/SD_ILS:1549062025-02-15T17:26:32Z2025-02-15T17:26:32Zby Faye, Jan. editor.<br/><a href="https://doi.org/10.1007/1-4020-3258-7">https://doi.org/10.1007/1-4020-3258-7</a><br/>Format: Electronic Resources<br/>The Dynamics of Thoughtent://SD_ILS/0/SD_ILS:1549222025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gardenfors, Peter. author.<br/><a href="https://doi.org/10.1007/1-4020-3399-0">https://doi.org/10.1007/1-4020-3399-0</a><br/>Format: Electronic Resources<br/>Visualization, Explanation and Reasoning Styles in Mathematicsent://SD_ILS/0/SD_ILS:1372662025-02-15T17:26:32Z2025-02-15T17:26:32Zby Mancosu, P. editor.<br/><a href="https://doi.org/10.1007/1-4020-3335-4">https://doi.org/10.1007/1-4020-3335-4</a><br/>Format: Electronic Resources<br/>Theoretical Knowledgeent://SD_ILS/0/SD_ILS:1548742025-02-15T17:26:32Z2025-02-15T17:26:32Zby Stepin, Vyacheslav S. author.<br/><a href="https://doi.org/10.1007/1-4020-3046-0">https://doi.org/10.1007/1-4020-3046-0</a><br/>Format: Electronic Resources<br/>From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarskient://SD_ILS/0/SD_ILS:1549202025-02-15T17:26:32Z2025-02-15T17:26:32Zby Rojszczak, Artur. author.<br/><a href="https://doi.org/10.1007/1-4020-3397-4">https://doi.org/10.1007/1-4020-3397-4</a><br/>Format: Electronic Resources<br/>An introduction to mathematical thinking : algebra and number systemsent://SD_ILS/0/SD_ILS:804032025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gilbert, William J., 1941-<br/>Format: Books<br/>Marmara Bölgesi’ nde şarap tüketimini etkileyen faktörler : multinominal ve sıralı logit modellerient://SD_ILS/0/SD_ILS:863902025-02-15T17:26:32Z2025-02-15T17:26:32Zby Çağlayan, Ebru<br/>Format: Books<br/>Ürün seçiminin adjacent categories logit yoluyla modellenmesi = the modelingof the product choices by way of adjacent categoriec logit modelent://SD_ILS/0/SD_ILS:1103132025-02-15T17:26:32Z2025-02-15T17:26:32Zby Berber, Şerife<br/>Format: Books<br/>Categories for Software Engineeringent://SD_ILS/0/SD_ILS:1688322025-02-15T17:26:32Z2025-02-15T17:26:32Zby Fiadeiro, Jose Luiz. author.<br/><a href="https://doi.org/10.1007/b138249">https://doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1694802025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hung, Dang Van. editor.<br/><a href="https://doi.org/10.1007/11560647">https://doi.org/10.1007/11560647</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1695312025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hoos, Holger H. editor.<br/><a href="https://doi.org/10.1007/11527695">https://doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1695632025-02-15T17:26:32Z2025-02-15T17:26:32Zby Ramanujam, R. editor.<br/><a href="https://doi.org/10.1007/11590156">https://doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1699052025-02-15T17:26:32Z2025-02-15T17:26:32Zby Lau, Kung-Kiu. editor.<br/><a href="https://doi.org/10.1007/11576280">https://doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1699492025-02-15T17:26:32Z2025-02-15T17:26:32Zby Caires, Luis. editor.<br/><a href="https://doi.org/10.1007/11523468">https://doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1699872025-02-15T17:26:32Z2025-02-15T17:26:32Zby Guelfi, Nicolas. editor.<br/><a href="https://doi.org/10.1007/b136153">https://doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Model Driven Architecture - Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1700782025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hartman, Alan. editor.<br/><a href="https://doi.org/10.1007/11581741">https://doi.org/10.1007/11581741</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1702192025-02-15T17:26:32Z2025-02-15T17:26:32Zby Odell, James. editor.<br/><a href="https://doi.org/10.1007/b105022">https://doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1703062025-02-15T17:26:32Z2025-02-15T17:26:32Zby Di Martino, Beniamino. editor.<br/><a href="https://doi.org/10.1007/11557265">https://doi.org/10.1007/11557265</a><br/>Format: Electronic Resources<br/>Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1703652025-02-15T17:26:32Z2025-02-15T17:26:32Zby Godefroid, Patrick. editor.<br/><a href="https://doi.org/10.1007/11537328">https://doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1704172025-02-15T17:26:32Z2025-02-15T17:26:32Zby Margenstern, Maurice. editor.<br/><a href="https://doi.org/10.1007/b106980">https://doi.org/10.1007/b106980</a><br/>Format: Electronic Resources<br/>Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1705792025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hinchey, Michael G. editor.<br/><a href="https://doi.org/10.1007/b105317">https://doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1706102025-02-15T17:26:32Z2025-02-15T17:26:32Zby Etessami, Kousha. editor.<br/><a href="https://doi.org/10.1007/b138445">https://doi.org/10.1007/b138445</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1707052025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hermenegildo, Manuel. editor.<br/><a href="https://doi.org/10.1007/b105205">https://doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1707432025-02-15T17:26:32Z2025-02-15T17:26:32Zby Grelck, Clemens. editor.<br/><a href="https://doi.org/10.1007/b136772">https://doi.org/10.1007/b136772</a><br/>Format: Electronic Resources<br/>Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1707472025-02-15T17:26:32Z2025-02-15T17:26:32Zby Dearle, Alan. editor.<br/><a href="https://doi.org/10.1007/11590712">https://doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1707782025-02-15T17:26:32Z2025-02-15T17:26:32Zby Maziero, Carlos Alberto. editor.<br/><a href="https://doi.org/10.1007/11572329">https://doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1708292025-02-15T17:26:32Z2025-02-15T17:26:32Zby Borrione, Dominique. editor.<br/><a href="https://doi.org/10.1007/11560548">https://doi.org/10.1007/11560548</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedingsent://SD_ILS/0/SD_ILS:1709142025-02-15T17:26:32Z2025-02-15T17:26:32Zby Halbwachs, Nicolas. editor.<br/><a href="https://doi.org/10.1007/b107194">https://doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1709202025-02-15T17:26:32Z2025-02-15T17:26:32Zby Conte, Tom. editor.<br/><a href="https://doi.org/10.1007/11587514">https://doi.org/10.1007/11587514</a><br/>Format: Electronic Resources<br/>Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1709222025-02-15T17:26:32Z2025-02-15T17:26:32Zby Moreno, J. Manuel. editor.<br/><a href="https://doi.org/10.1007/11549703">https://doi.org/10.1007/11549703</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1710052025-02-15T17:26:32Z2025-02-15T17:26:32Zby Wang, Farn. editor.<br/><a href="https://doi.org/10.1007/11562436">https://doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:1710272025-02-15T17:26:32Z2025-02-15T17:26:32Zby Sagiv, Mooly. editor.<br/><a href="https://doi.org/10.1007/b107380">https://doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:1710332025-02-15T17:26:32Z2025-02-15T17:26:32Zby Montoyo, Andrés. editor.<br/><a href="https://doi.org/10.1007/b136569">https://doi.org/10.1007/b136569</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005ent://SD_ILS/0/SD_ILS:1710502025-02-15T17:26:32Z2025-02-15T17:26:32Zby Heineman, George. editor.<br/><a href="https://doi.org/10.1007/b136248">https://doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1711172025-02-15T17:26:32Z2025-02-15T17:26:32Zby Cousot, Radhia. editor.<br/><a href="https://doi.org/10.1007/b105073">https://doi.org/10.1007/b105073</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1711462025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kutvonen, Lea. editor.<br/><a href="https://doi.org/10.1007/b137217">https://doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1711622025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hankin, Chris. editor. (orcid)0000-0001-9149-8577<br/><a href="https://doi.org/10.1007/11547662">https://doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1711812025-02-15T17:26:32Z2025-02-15T17:26:32Zby Nieuwenhuis, Robert. editor.<br/><a href="https://doi.org/10.1007/11532231">https://doi.org/10.1007/11532231</a><br/>Format: Electronic Resources<br/>Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1714172025-02-15T17:26:32Z2025-02-15T17:26:32Zby Eisinger, Norbert. editor.<br/><a href="https://doi.org/10.1007/11526988">https://doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedingsent://SD_ILS/0/SD_ILS:1714472025-02-15T17:26:32Z2025-02-15T17:26:32Zby Jedrzejowicz, Joanna. editor.<br/><a href="https://doi.org/10.1007/11549345">https://doi.org/10.1007/11549345</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1714822025-02-15T17:26:32Z2025-02-15T17:26:32Zby De Felice, Clelia. editor.<br/><a href="https://doi.org/10.1007/b137735">https://doi.org/10.1007/b137735</a><br/>Format: Electronic Resources<br/>Cryptographic Hardware and Embedded Systems - CHES 2005 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1714622025-02-15T17:26:32Z2025-02-15T17:26:32Zby Rao, Josyula R. editor.<br/><a href="https://doi.org/10.1007/11545262">https://doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1716652025-02-15T17:26:32Z2025-02-15T17:26:32Zby Gschwind, Thomas. editor.<br/><a href="https://doi.org/10.1007/11550679">https://doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papersent://SD_ILS/0/SD_ILS:1717172025-02-15T17:26:32Z2025-02-15T17:26:32Zby Pugh, Bill. editor.<br/><a href="https://doi.org/10.1007/11596110">https://doi.org/10.1007/11596110</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1717202025-02-15T17:26:32Z2025-02-15T17:26:32Zby Winther, Rune. editor.<br/><a href="https://doi.org/10.1007/11563228">https://doi.org/10.1007/11563228</a><br/>Format: Electronic Resources<br/>Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1717922025-02-15T17:26:32Z2025-02-15T17:26:32Zby Adi, Asaf. editor.<br/><a href="https://doi.org/10.1007/11580072">https://doi.org/10.1007/11580072</a><br/>Format: Electronic Resources<br/>Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1718442025-02-15T17:26:32Z2025-02-15T17:26:32Zby Zucker, Jean-Daniel. editor.<br/><a href="https://doi.org/10.1007/11527862">https://doi.org/10.1007/11527862</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:1719112025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bordini, Rafael H. editor.<br/><a href="https://doi.org/10.1007/b105887">https://doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1719312025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bacchus, Fahiem. editor.<br/><a href="https://doi.org/10.1007/b137280">https://doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1724762025-02-15T17:26:32Z2025-02-15T17:26:32Zby Peled, Doron A. editor.<br/><a href="https://doi.org/10.1007/11562948">https://doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004ent://SD_ILS/0/SD_ILS:1724842025-02-15T17:26:32Z2025-02-15T17:26:32Zby van Eijk, Rogier M. editor.<br/><a href="https://doi.org/10.1007/b106468">https://doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1721102025-02-15T17:26:32Z2025-02-15T17:26:32Zby Fiadeiro, José Luis. editor.<br/><a href="https://doi.org/10.1007/11548133">https://doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1725872025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hurd, Joe. editor.<br/><a href="https://doi.org/10.1007/11541868">https://doi.org/10.1007/11541868</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005ent://SD_ILS/0/SD_ILS:1723002025-02-15T17:26:32Z2025-02-15T17:26:32Zby van Beek, Peter. editor.<br/><a href="https://doi.org/10.1007/11564751">https://doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1722082025-02-15T17:26:32Z2025-02-15T17:26:32Zby Coppo, Mario. editor.<br/><a href="https://doi.org/10.1007/11560586">https://doi.org/10.1007/11560586</a><br/>Format: Electronic Resources<br/>Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1722352025-02-15T17:26:32Z2025-02-15T17:26:32Zby Van Roy, Peter. editor.<br/><a href="https://doi.org/10.1007/b106627">https://doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1724402025-02-15T17:26:32Z2025-02-15T17:26:32Zby Urzyczyn, Pawel. editor.<br/><a href="https://doi.org/10.1007/b135690">https://doi.org/10.1007/b135690</a><br/>Format: Electronic Resources<br/>Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1721712025-02-15T17:26:32Z2025-02-15T17:26:32Zby Eigenmann, Rudolf. editor.<br/><a href="https://doi.org/10.1007/11532378">https://doi.org/10.1007/11532378</a><br/>Format: Electronic Resources<br/>FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1723512025-02-15T17:26:32Z2025-02-15T17:26:32Zby Fitzgerald, John. editor.<br/><a href="https://doi.org/10.1007/b27882">https://doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:1725562025-02-15T17:26:32Z2025-02-15T17:26:32Zby Aßmann, Uwe. editor.<br/><a href="https://doi.org/10.1007/11538097">https://doi.org/10.1007/11538097</a><br/>Format: Electronic Resources<br/>Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1726682025-02-15T17:26:32Z2025-02-15T17:26:32Zby Morari, Manfred. editor.<br/><a href="https://doi.org/10.1007/b106766">https://doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Complexity Theory Exploring the Limits of Efficient Algorithmsent://SD_ILS/0/SD_ILS:1734322025-02-15T17:26:32Z2025-02-15T17:26:32Zby Wegener, Ingo. author.<br/><a href="https://doi.org/10.1007/3-540-27477-4">https://doi.org/10.1007/3-540-27477-4</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1734732025-02-15T17:26:32Z2025-02-15T17:26:32Zby Romijn, Judi M.T. editor.<br/><a href="https://doi.org/10.1007/11589976">https://doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1736622025-02-15T17:26:32Z2025-02-15T17:26:32Zby Fiadeiro, José Luiz. editor.<br/><a href="https://doi.org/10.1007/b107129">https://doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Fuzzy Modeling with Spatial Information for Geographic Problemsent://SD_ILS/0/SD_ILS:1739352025-02-15T17:26:32Z2025-02-15T17:26:32Zby Petry, Frederick E. editor.<br/><a href="https://doi.org/10.1007/b138243">https://doi.org/10.1007/b138243</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1753272025-02-15T17:26:32Z2025-02-15T17:26:32Zby Feitelson, Dror. editor.<br/><a href="https://doi.org/10.1007/b107134">https://doi.org/10.1007/b107134</a><br/>Format: Electronic Resources<br/>Argumentation Methods for Artificial Intelligence in Lawent://SD_ILS/0/SD_ILS:1657062025-02-15T17:26:32Z2025-02-15T17:26:32Zby Walton, Douglas. author.<br/><a href="https://doi.org/10.1007/3-540-27881-8">https://doi.org/10.1007/3-540-27881-8</a><br/>Format: Electronic Resources<br/>A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviorsent://SD_ILS/0/SD_ILS:1663902025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kurki-Suonio, R. author.<br/><a href="https://doi.org/10.1007/b138956">https://doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Abstract Computing Machines A Lambda Calculus Perspectiveent://SD_ILS/0/SD_ILS:1594132025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kluge, Werner. author.<br/><a href="https://doi.org/10.1007/b138965">https://doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1596802025-02-15T17:26:32Z2025-02-15T17:26:32Zby Manin, Yu. I. author.<br/><a href="https://doi.org/10.1007/3-540-27692-0">https://doi.org/10.1007/3-540-27692-0</a><br/>Format: Electronic Resources<br/>Regionalismus im Wandel Die neue Logik der Region in einer globalen Ökonomieent://SD_ILS/0/SD_ILS:1803022025-02-15T17:26:32Z2025-02-15T17:26:32Zby Spindler, Manuela. author.<br/><a href="https://doi.org/10.1007/978-3-322-80773-1">https://doi.org/10.1007/978-3-322-80773-1</a><br/>Format: Electronic Resources<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:1823562025-02-15T17:26:32Z2025-02-15T17:26:32Zby Husserl, Edmund. author.<br/><a href="https://doi.org/10.1007/1-4020-3574-8">https://doi.org/10.1007/1-4020-3574-8</a><br/>Format: Electronic Resources<br/>Einführung in die Informatik Objektorientiert mit Javaent://SD_ILS/0/SD_ILS:1865902025-02-15T17:26:32Z2025-02-15T17:26:32Zby Küchlin, Wolfgang. author.<br/><a href="https://doi.org/10.1007/b138253">https://doi.org/10.1007/b138253</a><br/>Format: Electronic Resources<br/>Logik im Recht Grundlagen und Anwendungsbeispieleent://SD_ILS/0/SD_ILS:1867992025-02-15T17:26:32Z2025-02-15T17:26:32Zby Joerden, Jan C. author.<br/><a href="https://doi.org/10.1007/b138344">https://doi.org/10.1007/b138344</a><br/>Format: Electronic Resources<br/>Die Logik der Marke Wie Sie systematisch Markenhöchstleistungen erzielenent://SD_ILS/0/SD_ILS:1905862025-02-15T17:26:32Z2025-02-15T17:26:32Zby Wichert, Christine. author.<br/><a href="https://doi.org/10.1007/978-3-322-83478-2">https://doi.org/10.1007/978-3-322-83478-2</a><br/>Format: Electronic Resources<br/>Mikrorechner-Technik Übungen und Lösungenent://SD_ILS/0/SD_ILS:1911982025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bähring, Helmut. author.<br/><a href="https://doi.org/10.1007/b138234">https://doi.org/10.1007/b138234</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1758062025-02-15T17:26:32Z2025-02-15T17:26:32Zby Yi, Kwangkeun. editor.<br/><a href="https://doi.org/10.1007/11575467">https://doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Propositional and Predicate Calculus: A Model of Argumentent://SD_ILS/0/SD_ILS:1761132025-02-15T17:26:32Z2025-02-15T17:26:32Zby Goldrei, Derek. author.<br/><a href="https://doi.org/10.1007/1-84628-229-2">https://doi.org/10.1007/1-84628-229-2</a><br/>Format: Electronic Resources<br/>Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learningent://SD_ILS/0/SD_ILS:1757642025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kudenko, Daniel. editor.<br/><a href="https://doi.org/10.1007/b106974">https://doi.org/10.1007/b106974</a><br/>Format: Electronic Resources<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 2005ent://SD_ILS/0/SD_ILS:1764362025-02-15T17:26:32Z2025-02-15T17:26:32Zby Sassone, Vladimiro. editor.<br/><a href="https://doi.org/10.1007/b106850">https://doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1765992025-02-15T17:26:32Z2025-02-15T17:26:32Zby Leite, João. editor.<br/><a href="https://doi.org/10.1007/b136890">https://doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1767512025-02-15T17:26:32Z2025-02-15T17:26:32Zby Prinz, Andreas. editor.<br/><a href="https://doi.org/10.1007/b137793">https://doi.org/10.1007/b137793</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:1767842025-02-15T17:26:32Z2025-02-15T17:26:32Zby Treharne, Helen. editor.<br/><a href="https://doi.org/10.1007/b135596">https://doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:1771662025-02-15T17:26:32Z2025-02-15T17:26:32Zby Jermann, Christophe. editor.<br/><a href="https://doi.org/10.1007/b136292">https://doi.org/10.1007/b136292</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reportsent://SD_ILS/0/SD_ILS:1779712025-02-15T17:26:32Z2025-02-15T17:26:32Zby Malenfant, Jacques. editor.<br/><a href="https://doi.org/10.1007/b104146">https://doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Language, Meaning, Interpretationent://SD_ILS/0/SD_ILS:1547992025-02-15T17:26:32Z2025-02-15T17:26:32Zby Fløistad, Guttorm. editor.<br/><a href="https://doi.org/10.1007/1-4020-2195-X">https://doi.org/10.1007/1-4020-2195-X</a><br/>Format: Electronic Resources<br/>Information, Interaction, and Agencyent://SD_ILS/0/SD_ILS:1550172025-02-15T17:26:32Z2025-02-15T17:26:32Zby van der Hoek, Wiebe. editor.<br/><a href="https://doi.org/10.1007/1-4020-4094-6">https://doi.org/10.1007/1-4020-4094-6</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:1413152025-02-15T17:26:32Z2025-02-15T17:26:32Zby Reussner, Ralf H. editor.<br/><a href="https://doi.org/10.1007/11558569">https://doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1413172025-02-15T17:26:32Z2025-02-15T17:26:32Zby Kreowski, Hans-Jörg. editor.<br/><a href="https://doi.org/10.1007/b106390">https://doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1463902025-02-15T17:26:32Z2025-02-15T17:26:32Zby Baumeister, Hubert. editor.<br/><a href="https://doi.org/10.1007/b137278">https://doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1463972025-02-15T17:26:32Z2025-02-15T17:26:32Zby Engler, Antonio J. author.<br/><a href="https://doi.org/10.1007/3-540-30035-X">https://doi.org/10.1007/3-540-30035-X</a><br/>Format: Electronic Resources<br/>CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1464662025-02-15T17:26:32Z2025-02-15T17:26:32Zby Abadi, Martín. editor.<br/><a href="https://doi.org/10.1007/11539452">https://doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:1464702025-02-15T17:26:32Z2025-02-15T17:26:32Zby Barley, Michael Wayne. editor.<br/><a href="https://doi.org/10.1007/b107183">https://doi.org/10.1007/b107183</a><br/>Format: Electronic Resources<br/>Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:1467872025-02-15T17:26:32Z2025-02-15T17:26:32Zby Leue, Stefan. editor.<br/><a href="https://doi.org/10.1007/b137052">https://doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1471142025-02-15T17:26:32Z2025-02-15T17:26:32Zby Giesl, Jürgen. editor.<br/><a href="https://doi.org/10.1007/b135673">https://doi.org/10.1007/b135673</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:1476872025-02-15T17:26:32Z2025-02-15T17:26:32Zby Moreno-Díaz, Roberto. editor.<br/><a href="https://doi.org/10.1007/11556985">https://doi.org/10.1007/11556985</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:1481072025-02-15T17:26:32Z2025-02-15T17:26:32Zby Cerioli, Maura. editor.<br/><a href="https://doi.org/10.1007/b107062">https://doi.org/10.1007/b107062</a><br/>Format: Electronic Resources<br/>A Theory of Distributed Objects Asynchrony - Mobility - Groups - Componentsent://SD_ILS/0/SD_ILS:1499292025-02-15T17:26:32Z2025-02-15T17:26:32Zby Caromel, Denis. author.<br/><a href="https://doi.org/10.1007/b138812">https://doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1498672025-02-15T17:26:32Z2025-02-15T17:26:32Zby Liu, Zhiming. editor.<br/><a href="https://doi.org/10.1007/b107116">https://doi.org/10.1007/b107116</a><br/>Format: Electronic Resources<br/>Inconsistency Toleranceent://SD_ILS/0/SD_ILS:1499892025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bertossi, Leopoldo. editor.<br/><a href="https://doi.org/10.1007/b104925">https://doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:1502002025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bravetti, Mario. editor.<br/><a href="https://doi.org/10.1007/11549970">https://doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedingsent://SD_ILS/0/SD_ILS:1502052025-02-15T17:26:32Z2025-02-15T17:26:32Zby Lodaya, Kamal. editor.<br/><a href="https://doi.org/10.1007/b104325">https://doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedingsent://SD_ILS/0/SD_ILS:1511452025-02-15T17:26:32Z2025-02-15T17:26:32Zby Calude, Cristian S. editor.<br/><a href="https://doi.org/10.1007/b103739">https://doi.org/10.1007/b103739</a><br/>Format: Electronic Resources<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 Lecturesent://SD_ILS/0/SD_ILS:1514452025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bernardo, Marco. editor.<br/><a href="https://doi.org/10.1007/b135888">https://doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthdayent://SD_ILS/0/SD_ILS:1517022025-02-15T17:26:32Z2025-02-15T17:26:32Zby Middeldorp, Aart. editor.<br/><a href="https://doi.org/10.1007/11601548">https://doi.org/10.1007/11601548</a><br/>Format: Electronic Resources<br/>Abstraction, Refinement and Proof for Probabilistic Systemsent://SD_ILS/0/SD_ILS:1523502025-02-15T17:26:32Z2025-02-15T17:26:32Zby McIver, Annabelle. author.<br/><a href="https://doi.org/10.1007/b138392">https://doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>Essays in Constructive Mathematicsent://SD_ILS/0/SD_ILS:1523702025-02-15T17:26:32Z2025-02-15T17:26:32Zby Edwards, Harold M. author.<br/><a href="https://doi.org/10.1007/b138656">https://doi.org/10.1007/b138656</a><br/>Format: Electronic Resources<br/>Adapting Proofs-as-Programs The Curry--Howard Protocolent://SD_ILS/0/SD_ILS:1524742025-02-15T17:26:32Z2025-02-15T17:26:32Zby Poernomo, Iman. author.<br/><a href="https://doi.org/10.1007/0-387-28183-5">https://doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<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. Proceedingsent://SD_ILS/0/SD_ILS:1422292025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bodik, Rastislav. editor.<br/><a href="https://doi.org/10.1007/b107108">https://doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1421342025-02-15T17:26:32Z2025-02-15T17:26:32Zby Pettersson, Paul. editor.<br/><a href="https://doi.org/10.1007/11603009">https://doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1421412025-02-15T17:26:32Z2025-02-15T17:26:32Zby Feitelson, Dror. editor.<br/><a href="https://doi.org/10.1007/11605300">https://doi.org/10.1007/11605300</a><br/>Format: Electronic Resources<br/>Model-Based Testing of Reactive Systems Advanced Lecturesent://SD_ILS/0/SD_ILS:1422422025-02-15T17:26:32Z2025-02-15T17:26:32Zby Broy, Manfred. editor.<br/><a href="https://doi.org/10.1007/b137241">https://doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papersent://SD_ILS/0/SD_ILS:1421502025-02-15T17:26:32Z2025-02-15T17:26:32Zby Trinder, Phil. editor.<br/><a href="https://doi.org/10.1007/b102274">https://doi.org/10.1007/b102274</a><br/>Format: Electronic Resources<br/>Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1422532025-02-15T17:26:32Z2025-02-15T17:26:32Zby Hutter, Dieter. editor.<br/><a href="https://doi.org/10.1007/b106663">https://doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1422572025-02-15T17:26:32Z2025-02-15T17:26:32Zby Srikanthan, Thambipillai. editor.<br/><a href="https://doi.org/10.1007/11572961">https://doi.org/10.1007/11572961</a><br/>Format: Electronic Resources<br/>Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1431572025-02-15T17:26:32Z2025-02-15T17:26:32Zby Paliouras, Vassilis. editor.<br/><a href="https://doi.org/10.1007/11556930">https://doi.org/10.1007/11556930</a><br/>Format: Electronic Resources<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 Papersent://SD_ILS/0/SD_ILS:1432022025-02-15T17:26:32Z2025-02-15T17:26:32Zby Abdallah, Ali E. editor.<br/><a href="https://doi.org/10.1007/b136154">https://doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lecturesent://SD_ILS/0/SD_ILS:1437472025-02-15T17:26:32Z2025-02-15T17:26:32Zby Aldini, Alessandro. editor.<br/><a href="https://doi.org/10.1007/11554578">https://doi.org/10.1007/11554578</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:1439312025-02-15T17:26:32Z2025-02-15T17:26:32Zby de Boer, Frank S. editor.<br/><a href="https://doi.org/10.1007/11561163">https://doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Field Arithmeticent://SD_ILS/0/SD_ILS:1446272025-02-15T17:26:32Z2025-02-15T17:26:32Zby Fried, Michael D. author.<br/><a href="https://doi.org/10.1007/b138352">https://doi.org/10.1007/b138352</a><br/>Format: Electronic Resources<br/>ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1352262025-02-15T17:26:32Z2025-02-15T17:26:32Zby Black, Andrew. editor.<br/><a href="https://doi.org/10.1007/11531142">https://doi.org/10.1007/11531142</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedingsent://SD_ILS/0/SD_ILS:1352402025-02-15T17:26:32Z2025-02-15T17:26:32Zby Steffen, Martin. editor.<br/><a href="https://doi.org/10.1007/b136996">https://doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1353392025-02-15T17:26:32Z2025-02-15T17:26:32Zby Grabowski, Jens. editor.<br/><a href="https://doi.org/10.1007/b106767">https://doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Taxonomies for the Development and Verification of Digital Systemsent://SD_ILS/0/SD_ILS:1361132025-02-15T17:26:32Z2025-02-15T17:26:32Zby Bailey, Brian. editor.<br/><a href="https://doi.org/10.1007/b104217">https://doi.org/10.1007/b104217</a><br/>Format: Electronic Resources<br/>New Algorithms, Architectures and Applications for Reconfigurable Computingent://SD_ILS/0/SD_ILS:1370032025-02-15T17:26:32Z2025-02-15T17:26:32Zby Lysaght, Patrick. editor.<br/><a href="https://doi.org/10.1007/1-4020-3128-9">https://doi.org/10.1007/1-4020-3128-9</a><br/>Format: Electronic Resources<br/>Trends in Continuum Mechanics of Porous Mediaent://SD_ILS/0/SD_ILS:1370052025-02-15T17:26:32Z2025-02-15T17:26:32Zby de Boer, Reint. author.<br/><a href="https://doi.org/10.1007/1-4020-3144-0">https://doi.org/10.1007/1-4020-3144-0</a><br/>Format: Electronic Resources<br/>Kitabu’r-Red ale’l-mantıkiyyin : el-Musemma Nasihatu ehli’l-iman fi’r-red ala mantıki’l-Yunanent://SD_ILS/0/SD_ILS:259702025-02-15T17:26:32Z2025-02-15T17:26:32Zby Teymiyye, Ebü’l-Abbas Takıyyüddin Ahmed b. Abdülhalim İbn, 728/1328<br/>Format: Books<br/>