Search Results for Logic. - Narrowed by: 2009 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T08:02:28Z Logic Colloquium 2006 ent://SD_ILS/0/SD_ILS:237775 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Cooper, S. Barry.&#160;Geuvers, Herman.&#160;Pillay, Anand.&#160;V&auml;&auml;n&auml;nen, Jouko.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511605321">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Suppes, Patrick Colonel, 1922-<br/>Preferred Shelf Number&#160;BC 108 S85 1957<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Programmable logic controllers ent://SD_ILS/0/SD_ILS:147414 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bolton, W. (William), 1933-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177511">http://www.sciencedirect.com/science/book/9781856177511</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Coalgebraic Logic ent://SD_ILS/0/SD_ILS:190484 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Doberkat, Ernst-Erich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02995-0">http://dx.doi.org/10.1007/978-3-642-02995-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in modal logic ent://SD_ILS/0/SD_ILS:78063 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kracht, Marcus, ed.<br/>Preferred Shelf Number&#160;BC 199.M6 A38 1998- V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> The logic of practice ent://SD_ILS/0/SD_ILS:90557 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bourdieu, Pierre, 1930-2002<br/>Preferred Shelf Number&#160;GN 468 B6813 1990<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic and Integer Programming ent://SD_ILS/0/SD_ILS:168006 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Williams, H. Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games: Unifying Logic, Language, and Philosophy ent://SD_ILS/0/SD_ILS:170517 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Majer, Ondrej. editor.&#160;Pietarinen, Ahti-Veikko. editor.&#160;Tulenheimo, Tero. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Studies in inductive logic and probability ent://SD_ILS/0/SD_ILS:35499 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Carnap, Rudolf, 1891-1970.&#160;Jeffrey, Richard C., ed.<br/>Preferred Shelf Number&#160;QA 273.4 C37 1971-<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ambrose, Alice, 1906-&#160;Lazerowitz, Morris, ort. yaz.<br/>Preferred Shelf Number&#160;BC 108 A55 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Chance, love and logic : philosophical essays ent://SD_ILS/0/SD_ILS:67464 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Peirce, Charles Sanders, 1839-1914.&#160;Cohen, Morris Raphael, 1880-1947.&#160;Dewey, John, 1859-1952.<br/>Preferred Shelf Number&#160;B 945.P43 C5 1923 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Neural Cell Behavior and Fuzzy Logic ent://SD_ILS/0/SD_ILS:164685 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Sandler, Uziel. editor.&#160;Tsitolovsky, Lev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09543-1">http://dx.doi.org/10.1007/978-0-387-09543-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of quantum logic and quantum structures quantum logic ent://SD_ILS/0/SD_ILS:145448 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Engesser, Kurt.&#160;Gabbay, Dov M., 1945-&#160;Lehmann, Daniel, 1946-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV ent://SD_ILS/0/SD_ILS:170432 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Makinson, David. editor.&#160;Malinowski, Jacek. editor.&#160;Wansing, Heinrich. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9084-4">http://dx.doi.org/10.1007/978-1-4020-9084-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge-Based Neurocomputing: A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:188985 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kolman, Eyal. author.&#160;Margaliot, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88077-6">http://dx.doi.org/10.1007/978-3-540-88077-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Functions and Equations Examples and Exercises ent://SD_ILS/0/SD_ILS:170583 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Steinbach, Bernd. author.&#160;Posthoff, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9595-5">http://dx.doi.org/10.1007/978-1-4020-9595-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth, etc. six lectures on ancient logic ent://SD_ILS/0/SD_ILS:233643 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Barnes, Jonathan, 1942-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Practical Logic and Automated Reasoning ent://SD_ILS/0/SD_ILS:237206 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Harrison, John.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511576430">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The theory of gambling and statistical logic ent://SD_ILS/0/SD_ILS:146919 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Epstein, Richard A., 1927-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123749406">http://www.sciencedirect.com/science/book/9780123749406</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Synthesis for FSM-Based Control Units ent://SD_ILS/0/SD_ILS:190905 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Barkalov, Alexander. author.&#160;Titarenko, Larysa. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of digital logic with VHDL design ent://SD_ILS/0/SD_ILS:271391 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Brown, Stephen D.&#160;Vranesic, Zvonko G.<br/>Preferred Shelf Number&#160;TK7888.4 B76 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The rise of modern logic from Leibniz to Frege ent://SD_ILS/0/SD_ILS:256625 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The technique of controversy : principles of dynamic logic ent://SD_ILS/0/SD_ILS:72543 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bogoslovsky, Boris Basil, 1890-<br/>Preferred Shelf Number&#160;BC 108 B65 1928 (SET)<br/>Format:&#160;Books<br/>Availability&#160;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-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Preferred Shelf Number&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Postmodernism, or, The cultural logic of late capitalism ent://SD_ILS/0/SD_ILS:76042 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Jameson, Fredric.<br/>Preferred Shelf Number&#160;PN 98.P67 J3 1991<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Duverger's Law of Plurality Voting The Logic of Party Competition in Canada, India, the United Kingdom and the United States ent://SD_ILS/0/SD_ILS:164767 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bowler, Shaun. editor.&#160;Blais, Andr&eacute;. editor.&#160;Grofman, Bernard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09720-6">http://dx.doi.org/10.1007/978-0-387-09720-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications ent://SD_ILS/0/SD_ILS:189362 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Celikyilmaz, Asli. author.&#160;T&uuml;rksen, I. Burhan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89924-2">http://dx.doi.org/10.1007/978-3-540-89924-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189717 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Hanus, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W&uuml;rzburg, Germany, October 4-6, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189769 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor.&#160;Wolf, Armin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00675-3">http://dx.doi.org/10.1007/978-3-642-00675-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications ent://SD_ILS/0/SD_ILS:189511 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Seising, Rudolf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93802-6">http://dx.doi.org/10.1007/978-3-540-93802-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189765 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bosch, Peter. editor.&#160;Gabelaia, David. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00665-4">http://dx.doi.org/10.1007/978-3-642-00665-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190814 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Gr&auml;del, Erich. editor.&#160;Kahle, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04027-6">http://dx.doi.org/10.1007/978-3-642-04027-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191090 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;He, Xiangdong. editor.&#160;Horty, John. editor.&#160;Pacuit, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften ent://SD_ILS/0/SD_ILS:199695 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Noll, Patrick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-9586-8">http://dx.doi.org/10.1007/978-3-8348-9586-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference ent://SD_ILS/0/SD_ILS:167414 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Goertzel, Ben. author.&#160;Ikl&eacute;, Matthew. author.&#160;Goertzel, Izabela Freire. author.&#160;Heljakka, Ari. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76872-4">http://dx.doi.org/10.1007/978-0-387-76872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scenario Logic and Probabilistic Management of Risk in Business and Engineering ent://SD_ILS/0/SD_ILS:167541 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Solojentsev, Evgueni D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-77946-1">http://dx.doi.org/10.1007/978-0-387-77946-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190517 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Archibald, Margaret. editor.&#160;Brattka, Vasco. editor.&#160;Goranko, Valentin. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03092-5">http://dx.doi.org/10.1007/978-3-642-03092-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190568 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Oddi, Angelo. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The pyramid principle : logic in writing and thinking ent://SD_ILS/0/SD_ILS:313423 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Minto, Barbara.<br/>Preferred Shelf Number&#160;PE1115 M54 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A Missing Link in Cybernetics Logic and Continuity ent://SD_ILS/0/SD_ILS:167239 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Andrew, Alex M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75164-1">http://dx.doi.org/10.1007/978-0-387-75164-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189439 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ramanujam, R. editor.&#160;Sarukkai, Sundar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92701-3">http://dx.doi.org/10.1007/978-3-540-92701-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190268 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ono, Hiroakira. editor.&#160;Kanazawa, Makoto. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02261-6">http://dx.doi.org/10.1007/978-3-642-02261-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190275 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ges&ugrave;, Vito. editor.&#160;Pal, Sankar Kumar. editor.&#160;Petrosino, Alfredo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02282-1">http://dx.doi.org/10.1007/978-3-642-02282-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:190413 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Fisher, Michael. editor.&#160;Sadri, Fariba. editor.&#160;Thielscher, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02734-5">http://dx.doi.org/10.1007/978-3-642-02734-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190440 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Hill, Patricia M. editor.&#160;Warren, David S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02846-5">http://dx.doi.org/10.1007/978-3-642-02846-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190883 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Erdem, Esra. editor.&#160;Lin, Fangzhen. editor.&#160;Schaub, Torsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof Theory for Fuzzy Logics ent://SD_ILS/0/SD_ILS:170527 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Metcalfe, George. author.&#160;Olivetti, Nicola. author.&#160;Gabbay, Dov. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9409-5">http://dx.doi.org/10.1007/978-1-4020-9409-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Subsystems of Second Order Arithmetic ent://SD_ILS/0/SD_ILS:237758 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Simpson, Stephen G..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511581007">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Francis Bacon : duyumsaman&#305;n mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:125306 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Deleuze, Gilles.&#160;Bacon, Francis.&#160;Batukan, Can.&#160;Erbay, Ece.<br/>Preferred Shelf Number&#160;ND497.B16 D413 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> From a Geometrical Point of View A Study of the History and Philosophy of Category Theory ent://SD_ILS/0/SD_ILS:170522 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Marquis, Jean-Pierre. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9384-5">http://dx.doi.org/10.1007/978-1-4020-9384-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Golden Age of Polish Philosophy Kazimierz Twardowski&rsquo;s Philosophical Legacy ent://SD_ILS/0/SD_ILS:204776 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Lapointe, Sandra. editor.&#160;Wol&eacute;nski, Jan. editor.&#160;Marion, Mathieu. editor.&#160;Miskiewicz, Wioletta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-2401-5">http://dx.doi.org/10.1007/978-90-481-2401-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction ent://SD_ILS/0/SD_ILS:72527 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Nicod, Jean, 1893-1924.<br/>Preferred Shelf Number&#160;QA 681 N5 1930 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logical studies ent://SD_ILS/0/SD_ILS:72539 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 6 W72 1957 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A treatise on induction and probability ent://SD_ILS/0/SD_ILS:55443 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Wright, Georg Henrik von, 1916-<br/>Preferred Shelf Number&#160;BC 91 W72 1951 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Preferred Shelf Number&#160;QA 9 R23 1931<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Black, Max, 1909-<br/>Preferred Shelf Number&#160;QA 9 B62 1933 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Weinberg, Julius Rudolf, 1908-<br/>Preferred Shelf Number&#160;B 824.6 W434 1936 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Henkin, Leon.&#160;Monk, J. Donald, ort. yaz.&#160;Tarski, Alfred, ort. yaz.<br/>Preferred Shelf Number&#160;QA 9 H415 1971- V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logicism, Intuitionism, and Formalism What has Become of Them? ent://SD_ILS/0/SD_ILS:170380 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Lindstr&ouml;m, Sten. editor.&#160;Palmgren, Erik. editor.&#160;Segerberg, Krister. editor.&#160;Stoltenberg-Hansen, Viggo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8926-8">http://dx.doi.org/10.1007/978-1-4020-8926-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Degrees of Belief ent://SD_ILS/0/SD_ILS:170468 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Huber, Franz. editor.&#160;Schmidt-Petri, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9198-8">http://dx.doi.org/10.1007/978-1-4020-9198-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nominalism and Its Aftermath: The Philosophy of Nelson Goodman ent://SD_ILS/0/SD_ILS:170689 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Shottenkirk, Dena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9931-1">http://dx.doi.org/10.1007/978-1-4020-9931-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Substantive Perspectivism An Essay on Philosophical Concern with Truth ent://SD_ILS/0/SD_ILS:204842 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Mou, Bo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-2623-1">http://dx.doi.org/10.1007/978-90-481-2623-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:76943 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Akay, Metin.<br/>Preferred Shelf Number&#160;QT 26.5 N813 2000-<br/>Format:&#160;Books<br/>Availability&#160;Health Sciences Library~1<br/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:79068 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Akay, Metin, ed.&#160;IEEE Engineering in Medicine and Biology Society.<br/>Preferred Shelf Number&#160;R 857.S47 N66 2000- V.2<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Keklik, Nihat.<br/>Preferred Shelf Number&#160;BC 34 K4 1969-70<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Communication : a philosophical study of language ent://SD_ILS/0/SD_ILS:72500 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Britton, Karl, 1909-<br/>Preferred Shelf Number&#160;P 105 B75 1939 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Dialectic ent://SD_ILS/0/SD_ILS:72501 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Adler, Mortimer Jerome, 1902-<br/>Preferred Shelf Number&#160;BC 177 A4 1927 (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Carnap, Rudolf, 1891-1970.<br/>Preferred Shelf Number&#160;BC 135 C323 1937 P (SET)<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Edmund Husserl. Untersuchungen zur Urteilstheorie Texte aus dem Nachlass (1893-1918) ent://SD_ILS/0/SD_ILS:169986 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Rollinger, Robin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6897-3">http://dx.doi.org/10.1007/978-1-4020-6897-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Law and Reason ent://SD_ILS/0/SD_ILS:170299 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Peczenik, Aleksander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8730-1">http://dx.doi.org/10.1007/978-1-4020-8730-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> German Idealism and the Problem of Knowledge: Kant, Fichte, Schelling, and Hegel ent://SD_ILS/0/SD_ILS:170329 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Limnatis, Nectarios G. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8800-1">http://dx.doi.org/10.1007/978-1-4020-8800-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronics System Design Techniques for Safety Critical Applications ent://SD_ILS/0/SD_ILS:170397 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Sterpone, Luca. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8979-4">http://dx.doi.org/10.1007/978-1-4020-8979-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dissociation In Argumentative Discussions A Pragma-Dialectical Perspective ent://SD_ILS/0/SD_ILS:170454 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Rees, M. Agnes. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9150-6">http://dx.doi.org/10.1007/978-1-4020-9150-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pondering on Problems of Argumentation Twenty Essays on Theoretical Issues ent://SD_ILS/0/SD_ILS:170458 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Eemeren, Frans H. editor.&#160;Garssen, Bart. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9165-0">http://dx.doi.org/10.1007/978-1-4020-9165-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pattern Calculus Computing with Functions and Structures ent://SD_ILS/0/SD_ILS:189215 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Jay, Barry. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89185-7">http://dx.doi.org/10.1007/978-3-540-89185-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189739 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189740 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Chechik, Marsha. editor.&#160;Wirsing, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00593-0">http://dx.doi.org/10.1007/978-3-642-00593-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189741 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Alfaro, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Embedded System Design Using Field Programmable Gate Arrays ent://SD_ILS/0/SD_ILS:175875 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dubey, Rahul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-016-6">http://dx.doi.org/10.1007/978-1-84882-016-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Programming Languages ent://SD_ILS/0/SD_ILS:175880 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dowek, Gilles. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computable Models ent://SD_ILS/0/SD_ILS:175885 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Turner, Raymond. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-052-4">http://dx.doi.org/10.1007/978-1-84882-052-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics ent://SD_ILS/0/SD_ILS:176001 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Constanda, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-539-0">http://dx.doi.org/10.1007/978-1-84882-539-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification of Sequential and Concurrent Programs ent://SD_ILS/0/SD_ILS:176056 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Apt, Krzysztof R. author.&#160;Boer, Frank S. author.&#160;Olderog, Ernst-R&uuml;diger. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-745-5">http://dx.doi.org/10.1007/978-1-84882-745-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof Theory The First Step into Impredicativity ent://SD_ILS/0/SD_ILS:185783 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Pohlers, Wolfram. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69319-2">http://dx.doi.org/10.1007/978-3-540-69319-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities ent://SD_ILS/0/SD_ILS:188988 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dompere, Kofi Kissi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88083-7">http://dx.doi.org/10.1007/978-3-540-88083-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes ent://SD_ILS/0/SD_ILS:188989 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dompere, Kofi Kissi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88085-1">http://dx.doi.org/10.1007/978-3-540-88085-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior ent://SD_ILS/0/SD_ILS:188990 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dompere, Kofi Kissi. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88087-5">http://dx.doi.org/10.1007/978-3-540-88087-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189435 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189501 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Seznec, Andr&eacute;. editor.&#160;Emer, Joel. editor.&#160;O&rsquo;Boyle, Michael. editor.&#160;Martonosi, Margaret. editor.&#160;Ungerer, Theo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92990-1">http://dx.doi.org/10.1007/978-3-540-92990-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189510 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kaeli, David. editor.&#160;Sachs, Kai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93799-9">http://dx.doi.org/10.1007/978-3-540-93799-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189527 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Jones, Neil D. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93900-9">http://dx.doi.org/10.1007/978-3-540-93900-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189534 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Baldoni, Matteo. editor.&#160;Son, Tran Cao. editor.&#160;Riemsdijk, M. Birna. editor.&#160;Winikoff, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93920-7">http://dx.doi.org/10.1007/978-3-540-93920-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 7th International Conference, IFM 2009, D&uuml;sseldorf, Germany, February 16-19, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189626 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Leuschel, Michael. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00255-7">http://dx.doi.org/10.1007/978-3-642-00255-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information ent://SD_ILS/0/SD_ILS:189763 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Sommaruga, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00659-3">http://dx.doi.org/10.1007/978-3-642-00659-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189961 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Luck, Michael. editor.&#160;Gomez-Sanz, Jorge J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01338-6">http://dx.doi.org/10.1007/978-3-642-01338-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:190070 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ghose, Aditya. editor.&#160;Governatori, Guido. editor.&#160;Sadananda, Ramakoti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01639-4">http://dx.doi.org/10.1007/978-3-642-01639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190189 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Chen, Jianer. editor.&#160;Cooper, S. Barry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports ent://SD_ILS/0/SD_ILS:190199 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Eugster, Patrick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02047-6">http://dx.doi.org/10.1007/978-3-642-02047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190388 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02652-2">http://dx.doi.org/10.1007/978-3-642-02652-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190389 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bergel, Alexandre. editor.&#160;Fabry, Johan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02655-3">http://dx.doi.org/10.1007/978-3-642-02655-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190390 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bouajjani, Ahmed. editor.&#160;Maler, Oded. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02658-4">http://dx.doi.org/10.1007/978-3-642-02658-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190395 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Paige, Richard F. editor.&#160;Hartman, Alan. editor.&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02674-4">http://dx.doi.org/10.1007/978-3-642-02674-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers ent://SD_ILS/0/SD_ILS:190574 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Hindriks, Koen V. editor.&#160;Pokahr, Alexander. editor.&#160;Sardina, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03278-3">http://dx.doi.org/10.1007/978-3-642-03278-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190594 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Lukose, Dickson. editor.&#160;Shi, Zhongzhi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03339-1">http://dx.doi.org/10.1007/978-3-642-03339-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190598 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Frid, Anna. editor.&#160;Morozov, Andrey. editor.&#160;Rybalchenko, Andrey. editor.&#160;Wagner, Klaus W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03351-3">http://dx.doi.org/10.1007/978-3-642-03351-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190601 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Berghofer, Stefan. editor.&#160;Nipkow, Tobias. editor.&#160;Urban, Christian. editor.&#160;Wenzel, Makarius. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03359-9">http://dx.doi.org/10.1007/978-3-642-03359-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroc&#322;aw, Poland, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190613 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kuty&#322;owski, Miros&#322;aw. editor.&#160;Charatonik, Witold. editor.&#160;G&#281;bala, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03409-1">http://dx.doi.org/10.1007/978-3-642-03409-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190621 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Corradini, Andrea. editor.&#160;Montanari, Ugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03429-9">http://dx.doi.org/10.1007/978-3-642-03429-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190633 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Albers, Susanne. editor.&#160;Alt, Helmut. editor.&#160;N&auml;her, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ent://SD_ILS/0/SD_ILS:190663 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures ent://SD_ILS/0/SD_ILS:190753 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Aldini, Alessandro. editor.&#160;Barthe, Gilles. editor.&#160;Gorrieri, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03829-7">http://dx.doi.org/10.1007/978-3-642-03829-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190925 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ouaknine, Jo&euml;l. editor.&#160;Vaandrager, Frits W. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191118 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Governatori, Guido. editor.&#160;Hall, John. editor.&#160;Paschke, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04985-9">http://dx.doi.org/10.1007/978-3-642-04985-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191134 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Baker, Paul. editor.&#160;Merayo, Mercedes G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191155 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Cavalcanti, Ana. editor.&#160;Dams, Dennis R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05089-3">http://dx.doi.org/10.1007/978-3-642-05089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Boolean Algebras ent://SD_ILS/0/SD_ILS:166584 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Halmos, Paul. author.&#160;Givant, Steven. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68436-9">http://dx.doi.org/10.1007/978-0-387-68436-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators ent://SD_ILS/0/SD_ILS:167188 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Soifer, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-74642-5">http://dx.doi.org/10.1007/978-0-387-74642-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> More than Moore Creating High Value Micro/Nanoelectronics Systems ent://SD_ILS/0/SD_ILS:167281 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Zhang, Guo Qi. editor.&#160;Roosmalen, Alfred. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75593-9">http://dx.doi.org/10.1007/978-0-387-75593-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized Measure Theory ent://SD_ILS/0/SD_ILS:167412 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Wang, Zhenyuan. author.&#160;Klir, George J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-76852-6">http://dx.doi.org/10.1007/978-0-387-76852-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rethinking Popper ent://SD_ILS/0/SD_ILS:170505 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Parusnikov&aacute;, Zuzana. editor.&#160;Cohen, Robert S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9338-8">http://dx.doi.org/10.1007/978-1-4020-9338-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair ent://SD_ILS/0/SD_ILS:170513 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Chang, Kai-hui. author.&#160;Markov, Igor L. author.&#160;Bertacco, Valeria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9365-4">http://dx.doi.org/10.1007/978-1-4020-9365-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ars Topica The Classical Technique of Constructing Arguments from Aristotle to Cicero ent://SD_ILS/0/SD_ILS:170569 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Rubinelli, Sara. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9549-8">http://dx.doi.org/10.1007/978-1-4020-9549-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz ent://SD_ILS/0/SD_ILS:170617 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ravi, S. S. editor.&#160;Shukla, Sandeep K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9688-4">http://dx.doi.org/10.1007/978-1-4020-9688-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Composition Paradigms of Automated Music Generation ent://SD_ILS/0/SD_ILS:177042 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Nierhaus, Gerhard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-211-75540-2">http://dx.doi.org/10.1007/978-3-211-75540-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FPGAs ent://SD_ILS/0/SD_ILS:144408 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Maxfield, Clive, 1957-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279642">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279642</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189836 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kaklamanis, Christos. editor.&#160;Nielson, Flemming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00945-7">http://dx.doi.org/10.1007/978-3-642-00945-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189743 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Majumdar, Rupak. editor.&#160;Tabuada, Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189848 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dediu, Adrian Horia. editor.&#160;Ionescu, Armand Mihai. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00982-2">http://dx.doi.org/10.1007/978-3-642-00982-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:190091 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Chockler, Hana. editor.&#160;Hu, Alan J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01702-5">http://dx.doi.org/10.1007/978-3-642-01702-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190473 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Wen, Peng. editor.&#160;Li, Yuefeng. editor.&#160;Polkowski, Lech. editor.&#160;Yao, Yiyu. editor.&#160;Tsumoto, Shusaku. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02962-2">http://dx.doi.org/10.1007/978-3-642-02962-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190479 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Maneth, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02979-0">http://dx.doi.org/10.1007/978-3-642-02979-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2009 &ndash; Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190490 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Drossopoulou, Sophia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03013-0">http://dx.doi.org/10.1007/978-3-642-03013-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190497 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Taha, Walid Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03034-5">http://dx.doi.org/10.1007/978-3-642-03034-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190564 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Palsberg, Jens. editor.&#160;Su, Zhendong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03237-0">http://dx.doi.org/10.1007/978-3-642-03237-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L&rsquo;Aquila, Italy, September 15-16, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190565 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Cofer, Darren. editor.&#160;Fantechi, Alessandro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03240-0">http://dx.doi.org/10.1007/978-3-642-03240-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190830 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bravetti, Mario. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04081-8">http://dx.doi.org/10.1007/978-3-642-04081-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191425 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Datta, Anupam. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10622-4">http://dx.doi.org/10.1007/978-3-642-10622-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191428 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dong, Yingfei. editor.&#160;Du, Ding-Zhu. editor.&#160;Ibarra, Oscar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191441 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Hu, Zhenjiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical thinking ent://SD_ILS/0/SD_ILS:114607 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Moore, Brooke Noel.&#160;Parker, Richard.<br/>Preferred Shelf Number&#160;B105.T54 M66 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Preference Change Approaches from Philosophy, Economics and Psychology ent://SD_ILS/0/SD_ILS:204833 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Gr&uuml;ne-Yanoff, Till. editor.&#160;Hansson, Sven Ove. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-2593-7">http://dx.doi.org/10.1007/978-90-481-2593-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fallacies and Judgments of Reasonableness Empirical Research Concerning the Pragma-Dialectical Discussion Rules ent://SD_ILS/0/SD_ILS:204839 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Eemeren, Frans. author.&#160;Garssen, Bart. author.&#160;Meuffels, Bert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-2614-9">http://dx.doi.org/10.1007/978-90-481-2614-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Infinite Regress Arguments ent://SD_ILS/0/SD_ILS:205050 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Gratton, Claude. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3341-3">http://dx.doi.org/10.1007/978-90-481-3341-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rationality and the literate mind ent://SD_ILS/0/SD_ILS:265110 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Harris, Roy, 1931-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203879481">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teaching and learning proof across the grades a K-16 perspective ent://SD_ILS/0/SD_ILS:266955 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Stylianou, Despina A.&#160;Blanton, Maria L.&#160;Knuth, Eric J.&#160;National Council of Teachers of Mathematics.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203882009">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to mathematics of satisfiability ent://SD_ILS/0/SD_ILS:286921 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Marek, V. W. (V. Wiktor), 1943-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439801741">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, puzzles, and computation ent://SD_ILS/0/SD_ILS:287965 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Hearn, Robert A.&#160;Demaine, Erik D., 1981-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865057">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced signal integrity for high-speed digital designs ent://SD_ILS/0/SD_ILS:249561 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Hall, Stephen H.&#160;Heck, Howard L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361024">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361024</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Truth and words ent://SD_ILS/0/SD_ILS:312816 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ebbs, Gary.<br/>Preferred Shelf Number&#160;BC171 E23 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logical labyrinths ent://SD_ILS/0/SD_ILS:287066 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Smullyan, Raymond M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865378">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cross-cultural research methods ent://SD_ILS/0/SD_ILS:268548 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ember, Carol R.&#160;Ember, Melvin.<br/>Preferred Shelf Number&#160;GN345.7 E53 2009<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Transient-induced latchup in CMOS integrated circuits ent://SD_ILS/0/SD_ILS:249785 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ker, Ming-Dou.&#160;Hsu, Sheng-Fu.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5453758">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5453758</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Olympiad Challenges ent://SD_ILS/0/SD_ILS:168224 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Andreescu, Titu. author.&#160;Gelca, R&#259;zvan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-8176-4611-0">http://dx.doi.org/10.1007/978-0-8176-4611-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural-Symbolic Cognitive Reasoning ent://SD_ILS/0/SD_ILS:186786 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;d&rsquo;Avila Garcez, Artur S. author.&#160;Lamb, Lu&iacute;s C. author.&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recasting Reality Wolfgang Pauli&rsquo;s Philosophical Ideas and Contemporary Science ent://SD_ILS/0/SD_ILS:188634 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Atmanspacher, Harald. editor.&#160;Primas, Hans. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85198-1">http://dx.doi.org/10.1007/978-3-540-85198-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logische Grundlagen der Mathematik ent://SD_ILS/0/SD_ILS:189560 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Schindler, Ralf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95932-8">http://dx.doi.org/10.1007/978-3-540-95932-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189565 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Svensson, Lars. editor.&#160;Monteiro, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-95948-9">http://dx.doi.org/10.1007/978-3-540-95948-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189683 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Peled, Doron A. editor.&#160;Wooldridge, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00431-5">http://dx.doi.org/10.1007/978-3-642-00431-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Machine Interaction Research Results of the MMI Program ent://SD_ILS/0/SD_ILS:189685 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Lalanne, Denis. editor.&#160;Kohlas, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189784 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Moor, Oege. editor.&#160;Schwartzbach, Michael I. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00722-4">http://dx.doi.org/10.1007/978-3-642-00722-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189794 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kowalewski, Stefan. editor.&#160;Philippou, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers II ent://SD_ILS/0/SD_ILS:189829 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Stenstr&ouml;m, Per. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00904-4">http://dx.doi.org/10.1007/978-3-642-00904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Weighted Automata ent://SD_ILS/0/SD_ILS:190016 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Droste, Manfred. editor.&#160;Kuich, Werner. editor.&#160;Vogler, Heiko. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01492-5">http://dx.doi.org/10.1007/978-3-642-01492-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189970 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bruni, Roberto. editor.&#160;Wolf, Karsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01364-5">http://dx.doi.org/10.1007/978-3-642-01364-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:190109 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Grumberg, Orna. editor.&#160;Kaminski, Michael. editor.&#160;Katz, Shmuel. editor.&#160;Wintner, Shuly. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190188 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Vahrenhold, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02011-7">http://dx.doi.org/10.1007/978-3-642-02011-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultimate Explanations of the Universe ent://SD_ILS/0/SD_ILS:190217 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Heller, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02103-9">http://dx.doi.org/10.1007/978-3-642-02103-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190228 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Lee, David. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;Poetzsch-Heffter, Arnd. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02138-1">http://dx.doi.org/10.1007/978-3-642-02138-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190272 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Curien, Pierre-Louis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Techniques and Applications 20th International Conference, RTA 2009 Bras&iacute;lia, Brazil, June 29 - July 1, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190296 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Treinen, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190297 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Mirandola, Raffaela. editor.&#160;Gorton, Ian. editor.&#160;Hofmeister, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02351-4">http://dx.doi.org/10.1007/978-3-642-02351-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190314 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Lewis, Grace A. editor.&#160;Poernomo, Iman. editor.&#160;Hofmeister, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190317 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Franceschinis, Giuliana. editor.&#160;Wolf, Karsten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:190323 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Berardi, Stefano. editor.&#160;Damiani, Ferruccio. editor.&#160;de&rsquo;Liguoro, Ugo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02444-3">http://dx.doi.org/10.1007/978-3-642-02444-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190676 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Cao, Longbing. editor.&#160;Gorodetsky, Vladimir. editor.&#160;Liu, Jiming. editor.&#160;Weiss, Gerhard. editor.&#160;Yu, Philip S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03603-3">http://dx.doi.org/10.1007/978-3-642-03603-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190723 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kurz, Alexander. editor.&#160;Lenisa, Marina. editor.&#160;Tarlecki, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03741-2">http://dx.doi.org/10.1007/978-3-642-03741-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190726 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;St&uuml;tzle, Thomas. editor.&#160;Birattari, Mauro. editor.&#160;Hoos, Holger H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03751-1">http://dx.doi.org/10.1007/978-3-642-03751-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures ent://SD_ILS/0/SD_ILS:190727 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Tessaris, Sergio. editor.&#160;Franconi, Enrico. editor.&#160;Eiter, Thomas. editor.&#160;Gutierrez, Claudio. editor.&#160;Handschuh, Siegfried. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03754-2">http://dx.doi.org/10.1007/978-3-642-03754-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190747 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Kr&aacute;lovi&#269;, Rastislav. editor.&#160;Niwi&#324;ski, Damian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03816-7">http://dx.doi.org/10.1007/978-3-642-03816-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190456 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Sossai, Claudio. editor.&#160;Chemello, Gaetano. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02906-6">http://dx.doi.org/10.1007/978-3-642-02906-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190469 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Dubois, Catherine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02949-3">http://dx.doi.org/10.1007/978-3-642-02949-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190876 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Ghilardi, Silvio. editor.&#160;Sebastiani, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04222-5">http://dx.doi.org/10.1007/978-3-642-04222-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190885 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Gent, Ian P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04244-7">http://dx.doi.org/10.1007/978-3-642-04244-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190986 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Reed, Rick. editor.&#160;Bilgic, Attila. editor.&#160;Gotzhein, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04554-7">http://dx.doi.org/10.1007/978-3-642-04554-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190990 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Alpuente, Mar&iacute;a. editor.&#160;Cook, Byron. editor.&#160;Joubert, Christophe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04570-7">http://dx.doi.org/10.1007/978-3-642-04570-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Techniques for the Web The REWERSE Perspective ent://SD_ILS/0/SD_ILS:190993 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bry, Fran&ccedil;ois. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04581-3">http://dx.doi.org/10.1007/978-3-642-04581-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191009 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04633-9">http://dx.doi.org/10.1007/978-3-642-04633-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191011 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Berghammer, Rudolf. editor.&#160;Jaoua, Ali Mohamed. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers ent://SD_ILS/0/SD_ILS:191028 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bensalem, Saddek. editor.&#160;Peled, Doron A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191051 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Liu, Zhiming. editor.&#160;Ravn, Anders P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04761-9">http://dx.doi.org/10.1007/978-3-642-04761-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190942 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Bournez, Olivier. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04420-5">http://dx.doi.org/10.1007/978-3-642-04420-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190857 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Palsberg, Jens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures ent://SD_ILS/0/SD_ILS:190858 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Madelaine, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04167-9">http://dx.doi.org/10.1007/978-3-642-04167-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30&ndash;December 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191068 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;Inuiguchi, Masahiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04820-3">http://dx.doi.org/10.1007/978-3-642-04820-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers ent://SD_ILS/0/SD_ILS:191371 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Oliveira, Marcel Vin&iacute;cius Medeiros. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10452-7">http://dx.doi.org/10.1007/978-3-642-10452-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191634 2024-12-23T08:02:28Z 2024-12-23T08:02:28Z Author&#160;Chen, Jianer. editor.&#160;Fomin, Fedor V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>