Search Results for Logic. - Narrowed by: 2011 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T07:50:28Z Logic demystified ent://SD_ILS/0/SD_ILS:294115 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Boutelle, Anthony.&#160;Gibilisco, Stan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</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-23T07:50:28Z 2024-12-23T07:50: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/> VHDL for logic synthesis ent://SD_ILS/0/SD_ILS:305729 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Rushton, Andrew.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41715">http://www.books24x7.com/marc.asp?bookid=41715</a> John Wiley <a href="http://dx.doi.org/10.1002/9781119995852">http://dx.doi.org/10.1002/9781119995852</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780470688472">http://proquest.safaribooksonline.com/?fpi=9780470688472</a> Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg</a> <a href="http://proquest.safaribooksonline.com/9780470688472">http://proquest.safaribooksonline.com/9780470688472</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-23T07:50:28Z 2024-12-23T07:50: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/> Aspects of Mathematical Logic ent://SD_ILS/0/SD_ILS:191571 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Casari, E. 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-11080-1">http://dx.doi.org/10.1007/978-3-642-11080-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memory-Based Logic Synthesis ent://SD_ILS/0/SD_ILS:173066 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Sasao, Tsutomu. 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-4419-8104-2">http://dx.doi.org/10.1007/978-1-4419-8104-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The logic of practice ent://SD_ILS/0/SD_ILS:90557 2024-12-23T07:50:28Z 2024-12-23T07:50: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/> Hybrid Logic and its Proof-Theory ent://SD_ILS/0/SD_ILS:205716 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bra&uuml;ner, Torben. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gentzen Calculi for Modal Propositional Logic ent://SD_ILS/0/SD_ILS:205557 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Poggiolesi, Francesca. 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-9670-8">http://dx.doi.org/10.1007/978-90-481-9670-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Philosophical Logic Volume 16 ent://SD_ILS/0/SD_ILS:205856 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gabbay, Dov M. editor.&#160;Guenthner, Franz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0479-4">http://dx.doi.org/10.1007/978-94-007-0479-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Philosophical Logic Volume 15 ent://SD_ILS/0/SD_ILS:205858 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gabbay, Dov M. editor.&#160;Guenthner, Franz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0485-5">http://dx.doi.org/10.1007/978-94-007-0485-5</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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:148146 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Benthem, J. F. A. K. van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical aspects of logic programming semantics ent://SD_ILS/0/SD_ILS:285188 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hitzler, Pascal.&#160;Seda, Anthony.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439829622">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/> Lollipop logic : grades K-2 ent://SD_ILS/0/SD_ILS:386782 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Risby, Bonnie.&#160;Risby, Robert K.&#160;Draze, Dianne.&#160;Morrison, Sarah.<br/>Preferred Shelf Number&#160;BC71 R57 2011 V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> The logic of positive engagement ent://SD_ILS/0/SD_ILS:376132 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Nincic, Miroslav.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7591/j.ctt7v74h">http://www.jstor.org/stable/10.7591/j.ctt7v74h</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> McGraw-Hill's conquering LSAT logic games ent://SD_ILS/0/SD_ILS:294045 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Curvebreakers.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/mcgrawhills-conquering-lsat-logic-games-third-edition">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Independence-Friendly Logic A Game-Theoretic Approach ent://SD_ILS/0/SD_ILS:237414 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mann, Allen L..&#160;Sandu, Gabriel.&#160;Sevenster, Merlijn.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The rise of modern logic from Leibniz to Frege ent://SD_ILS/0/SD_ILS:256625 2024-12-23T07:50:28Z 2024-12-23T07:50: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/> An introduction to practical formal methods using temporal logic ent://SD_ILS/0/SD_ILS:305703 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Fisher, Michael, 1962-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781119991472">http://dx.doi.org/10.1002/9781119991472</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780470027882">http://proquest.safaribooksonline.com/?fpi=9780470027882</a> Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=46822">http://www.books24x7.com/marc.asp?bookid=46822</a> <a href="http://proquest.safaribooksonline.com/9780470027882">http://proquest.safaribooksonline.com/9780470027882</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9780470027882">http://proquest.tech.safaribooksonline.de/9780470027882</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic based on Schaum's Outline of theory and problems of logic ent://SD_ILS/0/SD_ILS:293904 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Nolt, John, 1950-&#160;Rohatyn, Dennis A.&#160;Varzi, Achille C.&#160;McAllister, Alex M.&#160;Nolt, John, 1950- Outline of theory and problems of logic.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/schaums-easy-outline-logic">Subscription required</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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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/> Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase ent://SD_ILS/0/SD_ILS:147517 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Pejrolo, Andrea.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240522166">http://www.sciencedirect.com/science/book/9780240522166</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games, Norms and Reasons Logic at the Crossroads ent://SD_ILS/0/SD_ILS:205924 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;van Benthem, Johan. editor.&#160;Gupta, Amitabha. 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-94-007-0714-6">http://dx.doi.org/10.1007/978-94-007-0714-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Strict Finitism and the Logic of Mathematical Applications ent://SD_ILS/0/SD_ILS:206041 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ye, Feng. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1347-5">http://dx.doi.org/10.1007/978-94-007-1347-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Schaum's outline of theory and problems of logic ent://SD_ILS/0/SD_ILS:293959 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Nolt, John, 1950-&#160;Rohatyn, Dennis A.&#160;Varzi, Achille C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof, Computation and Agency Logic at the Crossroads ent://SD_ILS/0/SD_ILS:205741 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;van Benthem, Johan. editor.&#160;Gupta, Amitabha. editor.&#160;Parikh, Rohit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Postmodernism, or, The cultural logic of late capitalism ent://SD_ILS/0/SD_ILS:76042 2024-12-23T07:50:28Z 2024-12-23T07:50: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/> After G&ouml;del : Platonism and rationalism in mathematics and logic ent://SD_ILS/0/SD_ILS:371616 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Tieszen, Richard L., author.<br/>Preferred Shelf Number&#160;QA9 T54 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> A Science of Operations Machines, Logic and the Invention of Programming ent://SD_ILS/0/SD_ILS:176007 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Priestley, Mark. 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-555-0">http://dx.doi.org/10.1007/978-1-84882-555-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194411 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Alpuente, Mar&iacute;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-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194483 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mari&ntilde;o, Julio. 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-20775-4">http://dx.doi.org/10.1007/978-3-642-20775-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:194501 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Balduccini, Marcello. editor.&#160;Son, Tran Cao. 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-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194523 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Delgrande, James P. editor.&#160;Faber, Wolfgang. 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-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings ent://SD_ILS/0/SD_ILS:194531 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Beklemishev, Lev D. 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-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194672 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Blackburn, Patrick. editor.&#160;Ditmarsch, Hans. editor.&#160;Manzano, Mar&iacute;a. editor.&#160;Soler-Toscano, Fernando. 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-21350-2">http://dx.doi.org/10.1007/978-3-642-21350-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings ent://SD_ILS/0/SD_ILS:195055 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kuchen, Herbert. 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-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions ent://SD_ILS/0/SD_ILS:195145 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kaiser, &#321;ukasz. 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-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp ent://SD_ILS/0/SD_ILS:195153 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Perlovsky, Leonid. author.&#160;Deming, Ross. author.&#160;Ilin, Roman. 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-22830-8">http://dx.doi.org/10.1007/978-3-642-22830-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195554 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ditmarsch, Hans. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Ju, Shier. 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-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic and Set Theory Applying Formalized Logic to Analysis ent://SD_ILS/0/SD_ILS:168601 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Schwartz, Jacob T. author.&#160;Cantone, Domenico. author.&#160;Omodeo, Eugenio 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-0-85729-808-9">http://dx.doi.org/10.1007/978-0-85729-808-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Techniques in Logic Synthesis, Optimizations and Applications ent://SD_ILS/0/SD_ILS:172897 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gulati, Kanupriya. 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-4419-7518-8">http://dx.doi.org/10.1007/978-1-4419-7518-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Logic and Model Theory A Brief Introduction ent://SD_ILS/0/SD_ILS:173380 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Prestel, Alexander. author.&#160;Delzell, Charles N. 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-4471-2176-3">http://dx.doi.org/10.1007/978-1-4471-2176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bulan&#305;k Mant&#305;&#287;a Dayal&#305; kontrol Kartlar&#305; ve S&uuml;re&ccedil; Yeterlili&#287;i = Control Charts and Process Capability Based on Fuzzy Logic ent://SD_ILS/0/SD_ILS:140042 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;A&ccedil;&#305;l, Yasemin Burcu.<br/>Preferred Shelf Number&#160;TEZ 10207 .A25 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology ent://SD_ILS/0/SD_ILS:191764 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Stankovi&#263;, Radomir S. author.&#160;Astola, Jaakko. 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-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Value Determination of Supply Chain Initiatives A Quantification Approach Based on Fuzzy Logic and System Dynamics ent://SD_ILS/0/SD_ILS:200528 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Wessely, Philip. 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-8349-6323-9">http://dx.doi.org/10.1007/978-3-8349-6323-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2&ndash;3,2008 ent://SD_ILS/0/SD_ILS:204527 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Skof, Fulvia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-1836-5">http://dx.doi.org/10.1007/978-88-470-1836-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> After G&ouml;del Platonism and rationalism in mathematics and logic ent://SD_ILS/0/SD_ILS:232029 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Tieszen, Richard L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The logic of the Trinity Augustine to Ockham ent://SD_ILS/0/SD_ILS:239534 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Thom, Paul.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780823253623/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein ent://SD_ILS/0/SD_ILS:247311 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hopkins, Burt C.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780253005274/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational logic and human thinking how to be artificially intelligent ent://SD_ILS/0/SD_ILS:278748 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kowalski, Robert.<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=375916">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375916</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs and Algorithms An Introduction to Logic and Computability ent://SD_ILS/0/SD_ILS:168427 2024-12-23T07:50:28Z 2024-12-23T07:50: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-0-85729-121-9">http://dx.doi.org/10.1007/978-0-85729-121-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Why civil resistance works : the strategic logic of nonviolent conflict ent://SD_ILS/0/SD_ILS:375712 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Chenoweth, Erica, 1980- author.&#160;Stephan, Maria J., author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/chen15682">http://www.jstor.org/stable/10.7312/chen15682</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The great chocolate caper : a mystery that teaches logic skills ent://SD_ILS/0/SD_ILS:386791 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Carr, Mary.<br/>Preferred Shelf Number&#160;BC108 C3773 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193781 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Banerjee, Mohua. editor.&#160;Seth, 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-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193987 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Balasubramaniam, 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-19263-0">http://dx.doi.org/10.1007/978-3-642-19263-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194060 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Larrosa, Javier. editor.&#160;O&rsquo;Sullivan, 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-19486-3">http://dx.doi.org/10.1007/978-3-642-19486-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:194655 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Frasconi, Paolo. editor.&#160;Lisi, Francesca 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-21295-6">http://dx.doi.org/10.1007/978-3-642-21295-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:194717 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Pogodalla, Sylvain. editor.&#160;Quatrini, Myriam. editor.&#160;Retor&eacute;, 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-3-642-21490-5">http://dx.doi.org/10.1007/978-3-642-21490-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Asynchronous Operators of Sequential Logic: Venjunction &amp; Sequention Digital Circuit Analysis and Design ent://SD_ILS/0/SD_ILS:194757 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Vasyukevich, Vadim. 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-21611-4">http://dx.doi.org/10.1007/978-3-642-21611-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194981 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bezhanishvili, Nick. editor.&#160;L&ouml;bner, Sebastian. editor.&#160;Schwabe, Kerstin. editor.&#160;Spada, 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-22303-7">http://dx.doi.org/10.1007/978-3-642-22303-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195000 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Torroni, Paolo. editor.&#160;&Aring;gotnes, Thomas. editor.&#160;Boella, Guido. editor.&#160;Torre, Leon. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22359-4">http://dx.doi.org/10.1007/978-3-642-22359-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings ent://SD_ILS/0/SD_ILS:195424 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Fanelli, Anna Maria. editor.&#160;Pedrycz, Witold. 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-23713-3">http://dx.doi.org/10.1007/978-3-642-23713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic ent://SD_ILS/0/SD_ILS:205731 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Rini, Adriane. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0050-5">http://dx.doi.org/10.1007/978-94-007-0050-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell ent://SD_ILS/0/SD_ILS:205780 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;DeVidi, David. editor.&#160;Hallett, Michael. editor.&#160;Clarke, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0214-1">http://dx.doi.org/10.1007/978-94-007-0214-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic with a probability semantics including solutions to some philosophical problems ent://SD_ILS/0/SD_ILS:278532 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hailperin, Theodore.<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=383891">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=383891</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paradoxes ent://SD_ILS/0/SD_ILS:206078 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;&#321;ukowski, Piotr. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1476-2">http://dx.doi.org/10.1007/978-94-007-1476-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs and Computations ent://SD_ILS/0/SD_ILS:236373 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Schwichtenberg, Helmut.&#160;Wainer, Stanley S..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9781139031905">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced &#321;ukasiewicz calculus and MV-algebras ent://SD_ILS/0/SD_ILS:205949 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mundici, 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-94-007-0840-2">http://dx.doi.org/10.1007/978-94-007-0840-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dual Tableaux: Foundations, Methodology, Case Studies ent://SD_ILS/0/SD_ILS:205717 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Orlowska, Ewa. author.&#160;Goli&#324;ska Pilarek, Joanna. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods of Cut-Elimination ent://SD_ILS/0/SD_ILS:205808 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Leitsch, Alexander. author.&#160;Baaz, Matthias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0320-9">http://dx.doi.org/10.1007/978-94-007-0320-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics ent://SD_ILS/0/SD_ILS:236304 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Goldblatt, Robert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies ent://SD_ILS/0/SD_ILS:237938 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kennedy, Juliette.&#160;Kossak, Roman.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511910616">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II ent://SD_ILS/0/SD_ILS:236370 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kechris, Alexander S..&#160;L&ouml;we, Benedikt.&#160;Steel, John R..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9781139028073">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simple Theories and Hyperimaginaries ent://SD_ILS/0/SD_ILS:237435 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Casanovas, Enrique.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Civic talk peers, politics, and the future of democracy ent://SD_ILS/0/SD_ILS:245961 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Klofstad, Casey A. (Casey Andrew), 1976-&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9781439902745/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Civic talk: peers, politics, and the future of democracy ent://SD_ILS/0/SD_ILS:311958 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Klofstad, Casey A.<br/>Preferred Shelf Number&#160;JA85.2.U6 K56 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Approaches to Legal Rationality ent://SD_ILS/0/SD_ILS:205533 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gabbay, Dov M. editor.&#160;Canivez, Patrice. editor.&#160;Rahman, Shahid. editor.&#160;Thiercelin, Alexandre. 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-9588-6">http://dx.doi.org/10.1007/978-90-481-9588-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Belief Revision meets Philosophy of Science ent://SD_ILS/0/SD_ILS:205540 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Olsson, Erik J. editor.&#160;Enqvist, 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-90-481-9609-8">http://dx.doi.org/10.1007/978-90-481-9609-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Treatise on Intuitionistic Type Theory ent://SD_ILS/0/SD_ILS:206159 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Granstr&ouml;m, Johan Georg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Otto Neurath and the Unity of Science ent://SD_ILS/0/SD_ILS:205761 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Symons, John. editor.&#160;Pombo, Olga. editor.&#160;Torres, Juan Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0143-4">http://dx.doi.org/10.1007/978-94-007-0143-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vagueness: A Guide ent://SD_ILS/0/SD_ILS:205826 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ronzitti, Giuseppina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0375-9">http://dx.doi.org/10.1007/978-94-007-0375-9</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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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/> Probabilities, Causes and Propensities in Physics ent://SD_ILS/0/SD_ILS:170679 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Su&aacute;rez, Mauricio. 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-9904-5">http://dx.doi.org/10.1007/978-1-4020-9904-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Wittgenstein Essays in Memory of Georg Henrik von Wright ent://SD_ILS/0/SD_ILS:170681 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;De Pellegrin, Enzo. 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-9909-0">http://dx.doi.org/10.1007/978-1-4020-9909-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning about Preference Dynamics ent://SD_ILS/0/SD_ILS:206040 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Liu, Fenrong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1344-4">http://dx.doi.org/10.1007/978-94-007-1344-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Science Studies as Naturalized Philosophy ent://SD_ILS/0/SD_ILS:205577 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Collin, Finn. 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-9741-5">http://dx.doi.org/10.1007/978-90-481-9741-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probabilistic Logics and Probabilistic Networks ent://SD_ILS/0/SD_ILS:205718 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Haenni, Rolf. author.&#160;Romeijn, Jan-Willem. author.&#160;Wheeler, Gregory. author.&#160;Williamson, Jon. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0008-6">http://dx.doi.org/10.1007/978-94-007-0008-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Formal Epistemology ent://SD_ILS/0/SD_ILS:205739 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Girard, Patrick. editor.&#160;Roy, Olivier. editor.&#160;Marion, Mathieu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0074-1">http://dx.doi.org/10.1007/978-94-007-0074-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Children of the corn genesis M&#305;s&#305;r &ccedil;ocuklar&#305; yarad&#305;l&#305;&#351; ent://SD_ILS/0/SD_ILS:320106 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mikkelsen, Monika&#160;Ermando Di Febo-Orsini&#160;Mangano, Philip&#160;Lehhman, Alexandre&#160;Soisson, Joel.<br/>Preferred Shelf Number&#160;PN1995.9.H6 C45 2011<br/>Format:&#160;Visual Materials<br/>Availability&#160;Beytepe Library~1<br/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:76943 2024-12-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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-23T07:50:28Z 2024-12-23T07:50: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/> Kurt G&ouml;del and the Foundations of Mathematics Horizons of Truth ent://SD_ILS/0/SD_ILS:237387 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Baaz, Matthias.&#160;Papadimitriou, Christos H..&#160;Putnam, Hilary W..&#160;Scott, Dana S..&#160;Harper, Jr, Charles L..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511974236">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Selected Correspondence of L.E.J. Brouwer ent://SD_ILS/0/SD_ILS:168529 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Dalen, Dirk. 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-85729-537-8">http://dx.doi.org/10.1007/978-0-85729-537-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs and Fundamentals A First Course in Abstract Mathematics ent://SD_ILS/0/SD_ILS:172780 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bloch, Ethan 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-1-4419-7127-2">http://dx.doi.org/10.1007/978-1-4419-7127-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recursion Theory and Computational Complexity ent://SD_ILS/0/SD_ILS:191568 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Lolli, 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-11072-6">http://dx.doi.org/10.1007/978-3-642-11072-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles ent://SD_ILS/0/SD_ILS:192389 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bartocci, Claudio. editor.&#160;Betti, Renato. editor.&#160;Guerraggio, Angelo. editor.&#160;Lucchetti, 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-13606-1">http://dx.doi.org/10.1007/978-3-642-13606-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193070 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Das, Vinu V. editor.&#160;Stephen, Janahanlal. editor.&#160;Thankachan, Nessy. 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-15739-4">http://dx.doi.org/10.1007/978-3-642-15739-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193308 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Moraz&aacute;n, Marco T. editor.&#160;Scholz, Sven-Bodo. 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-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technische Informatik Band 2: Entwurf digitaler Schaltungen ent://SD_ILS/0/SD_ILS:193603 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kemnitz, G&uuml;nter. 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-17447-6">http://dx.doi.org/10.1007/978-3-642-17447-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Working with Preferences: Less Is More Less Is More ent://SD_ILS/0/SD_ILS:193554 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kaci, Souhila. 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-17280-9">http://dx.doi.org/10.1007/978-3-642-17280-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193920 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Natarajan, Raja. editor.&#160;Ojo, Adegboyega. 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-19056-8">http://dx.doi.org/10.1007/978-3-642-19056-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conditionals and Modularity in General Logics ent://SD_ILS/0/SD_ILS:193923 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. 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-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194090 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Barner, Sharon. editor.&#160;Harris, Ian. editor.&#160;Kroening, Daniel. editor.&#160;Raz, Orna. 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-19583-9">http://dx.doi.org/10.1007/978-3-642-19583-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hyperfinite Dirichlet Forms and Stochastic Processes ent://SD_ILS/0/SD_ILS:194114 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Albeverio, Sergio. author.&#160;Fan, Ruzong. author.&#160;Herzberg, Frederik. 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-19659-1">http://dx.doi.org/10.1007/978-3-642-19659-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194133 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Barthe, Gilles. 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-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194170 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Davies, Jim. editor.&#160;Silva, Leila. editor.&#160;Simao, Adenilso. 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-19829-8">http://dx.doi.org/10.1007/978-3-642-19829-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194357 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bobaru, Mihaela. editor.&#160;Havelund, Klaus. editor.&#160;Holzmann, Gerard J. editor.&#160;Joshi, Rajeev. 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-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:194449 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Meyden, Ron. editor.&#160;Smaus, Jan-Georg. 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-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194462 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kulikov, Alexander. editor.&#160;Vereshchagin, Nikolay. 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-20712-9">http://dx.doi.org/10.1007/978-3-642-20712-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers ent://SD_ILS/0/SD_ILS:194463 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Omicini, Andrea. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. 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-20715-0">http://dx.doi.org/10.1007/978-3-642-20715-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194517 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ogihara, Mitsunori. editor.&#160;Tarui, Jun. 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-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194701 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Butler, Michael. editor.&#160;Schulte, Wolfram. 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-21437-0">http://dx.doi.org/10.1007/978-3-642-21437-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194708 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bruni, Roberto. editor.&#160;Dingel, Juergen. 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-21461-5">http://dx.doi.org/10.1007/978-3-642-21461-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings ent://SD_ILS/0/SD_ILS:194711 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;France, Robert B. editor.&#160;Kuester, Jochen M. editor.&#160;Bordbar, Behzad. editor.&#160;Paige, Richard F. 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-21470-7">http://dx.doi.org/10.1007/978-3-642-21470-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194889 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Aceto, Luca. editor.&#160;Henzinger, Monika. editor.&#160;Sgall, Ji&#345;&iacute;. 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-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Aspect-Oriented Software Development VIII ent://SD_ILS/0/SD_ILS:194895 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Katz, Shmuel. editor.&#160;Mezini, Mira. editor.&#160;Schwanninger, Christine. editor.&#160;Joosen, Wouter. 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-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194899 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Apel, Sven. editor.&#160;Jackson, Ethan. 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-22045-6">http://dx.doi.org/10.1007/978-3-642-22045-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194918 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gopalakrishnan, Ganesh. editor.&#160;Qadeer, Shaz. 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-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194920 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Br&uuml;nnler, Kai. editor.&#160;Metcalfe, 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-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29&ndash;July 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194930 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Liu, Weiru. 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-22152-1">http://dx.doi.org/10.1007/978-3-642-22152-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194965 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bouchou-Markhoff, B&eacute;atrice. editor.&#160;Caron, Pascal. editor.&#160;Champarnaud, Jean-Marc. editor.&#160;Maurel, Denis. 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-22256-6">http://dx.doi.org/10.1007/978-3-642-22256-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Apartness and Uniformity A Constructive Development ent://SD_ILS/0/SD_ILS:195019 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bridges, Douglas S. author.&#160;V&icirc;&#355;&#259;, Lumini&#355;a Simona. 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-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-23 23rd International Conference on Automated Deduction, Wroc&#322;aw, Poland, July 31 - August 5, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195027 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bj&oslash;rner, Nikolaj. editor.&#160;Sofronie-Stokkermans, Viorica. 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-22438-6">http://dx.doi.org/10.1007/978-3-642-22438-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gie&szlig;en/Limburg, Germany, July 25-27, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195078 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Holzer, Markus. editor.&#160;Kutrib, Martin. editor.&#160;Pighizzini, 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-22600-7">http://dx.doi.org/10.1007/978-3-642-22600-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195090 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Weyns, Danny. editor.&#160;Gleizes, Marie-Pierre. 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-22636-6">http://dx.doi.org/10.1007/978-3-642-22636-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2011 &ndash; Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings ent://SD_ILS/0/SD_ILS:195095 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mezini, Mira. 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-22655-7">http://dx.doi.org/10.1007/978-3-642-22655-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 &ndash; September 1, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195117 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Dastani, Mehdi. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;H&uuml;bner, Jomi. editor.&#160;Leite, Jo&atilde;o. 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-22723-3">http://dx.doi.org/10.1007/978-3-642-22723-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195188 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Page, Rex. editor.&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. 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-22941-1">http://dx.doi.org/10.1007/978-3-642-22941-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 &ndash; September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195189 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Corradini, Andrea. editor.&#160;Klin, Bartek. editor.&#160;C&icirc;rstea, Corina. 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-22944-2">http://dx.doi.org/10.1007/978-3-642-22944-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195192 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Owe, Olaf. editor.&#160;Steffen, Martin. editor.&#160;Telle, Jan Arne. 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-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195206 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Murlak, Filip. editor.&#160;Sankowski, Piotr. 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-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195225 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Rinderle-Ma, Stefanie. editor.&#160;Toumani, Farouk. 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-23059-2">http://dx.doi.org/10.1007/978-3-642-23059-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures ent://SD_ILS/0/SD_ILS:195231 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Aldini, Alessandro. 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-23082-0">http://dx.doi.org/10.1007/978-3-642-23082-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195273 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kanazawa, Makoto. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Kracht, Marcus. editor.&#160;Seki, Hiroyuki. 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-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2011 &ndash; Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195275 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Katoen, Joost-Pieter. editor.&#160;K&ouml;nig, Barbara. 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-23217-6">http://dx.doi.org/10.1007/978-3-642-23217-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 &ndash; September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195296 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Cerone, Antonio. editor.&#160;Pihlajasaari, Pekka. 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-23283-1">http://dx.doi.org/10.1007/978-3-642-23283-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195331 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Maciaszek, Leszek A. editor.&#160;Loucopoulos, Pericles. 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-23391-3">http://dx.doi.org/10.1007/978-3-642-23391-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195420 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Yahav, Eran. 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-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming &ndash; CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195446 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Lee, Jimmy. 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-23786-7">http://dx.doi.org/10.1007/978-3-642-23786-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195450 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Crnkovic, Ivica. editor.&#160;Gruhn, Volker. editor.&#160;Book, Matthias. 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-23798-0">http://dx.doi.org/10.1007/978-3-642-23798-0</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 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195588 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hage, Jurriaan. editor.&#160;Moraz&aacute;n, Marco T. 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-24276-2">http://dx.doi.org/10.1007/978-3-642-24276-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195591 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Delzanno, Giorgio. 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-24288-5">http://dx.doi.org/10.1007/978-3-642-24288-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195599 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Fahrenberg, Uli. editor.&#160;Tripakis, Stavros. 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-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbr&uuml;cken, Germany, October 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195616 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Tinelli, Cesare. editor.&#160;Sofronie-Stokkermans, Viorica. 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-24364-6">http://dx.doi.org/10.1007/978-3-642-24364-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195619 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bultan, Tevfik. editor.&#160;Hsiung, Pao-Ann. 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-24372-1">http://dx.doi.org/10.1007/978-3-642-24372-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195629 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kivinen, Jyrki. editor.&#160;Szepesv&aacute;ri, Csaba. editor.&#160;Ukkonen, Esko. editor.&#160;Zeugmann, Thomas. 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-24412-4">http://dx.doi.org/10.1007/978-3-642-24412-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195636 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Sala&uuml;n, Gwen. editor.&#160;Sch&auml;tz, 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-24431-5">http://dx.doi.org/10.1007/978-3-642-24431-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:195642 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Scholz, Sven-Bodo. editor.&#160;Chitil, Olaf. 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-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers IV ent://SD_ILS/0/SD_ILS:195677 2024-12-23T07:50:28Z 2024-12-23T07:50: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-24568-8">http://dx.doi.org/10.1007/978-3-642-24568-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195681 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Wolff, Burkhart. editor.&#160;Za&iuml;di, Fatiha. 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-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195687 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kl&uuml;gl, Franziska. editor.&#160;Ossowski, Sascha. 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-24603-6">http://dx.doi.org/10.1007/978-3-642-24603-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling &ndash; ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195688 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Jeusfeld, Manfred. editor.&#160;Delcambre, Lois. editor.&#160;Ling, Tok-Wang. 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-24606-7">http://dx.doi.org/10.1007/978-3-642-24606-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195716 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Barthe, Gilles. editor.&#160;Pardo, Alberto. editor.&#160;Schneider, Gerardo. 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-24690-6">http://dx.doi.org/10.1007/978-3-642-24690-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195734 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Thomas, Nigel. 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-24749-1">http://dx.doi.org/10.1007/978-3-642-24749-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification of Software Systems ent://SD_ILS/0/SD_ILS:168476 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Alagar, V.S. author.&#160;Periyasamy, K. 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-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reading, Writing, and Proving A Closer Look at Mathematics ent://SD_ILS/0/SD_ILS:173223 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Daepp, Ulrich. author.&#160;Gorkin, Pamela. 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-4419-9479-0">http://dx.doi.org/10.1007/978-1-4419-9479-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193079 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Cousot, Radhia. editor.&#160;Martel, Matthieu. 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-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193244 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Giese, Holger. editor.&#160;Karsai, Gabor. editor.&#160;Lee, Edward. editor.&#160;Rumpe, Bernhard. editor.&#160;Sch&auml;tz, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193795 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Beckert, Bernhard. editor.&#160;March&eacute;, Claude. 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-18070-5">http://dx.doi.org/10.1007/978-3-642-18070-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193805 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Domaratzki, Michael. editor.&#160;Salomaa, 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-642-18098-9">http://dx.doi.org/10.1007/978-3-642-18098-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193840 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Jhala, Ranjit. editor.&#160;Schmidt, David. 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-18275-4">http://dx.doi.org/10.1007/978-3-642-18275-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193874 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Rocha, Ricardo. editor.&#160;Launchbury, John. 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-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193968 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gleizes, Marie-Pierre. 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-19208-1">http://dx.doi.org/10.1007/978-3-642-19208-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Brazilian Studies in Philosophy and History of Science An account of recent works ent://SD_ILS/0/SD_ILS:205491 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Krause, D&eacute;cio. editor.&#160;Videira, Antonio. 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-9422-3">http://dx.doi.org/10.1007/978-90-481-9422-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Prospects of Legal Semiotics ent://SD_ILS/0/SD_ILS:205467 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Wagner, Anne. editor.&#160;Broekman, 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-90-481-9343-1">http://dx.doi.org/10.1007/978-90-481-9343-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik ent://SD_ILS/0/SD_ILS:198771 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hoffmann, Dirk W. 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-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Un mondo di idee La matematica ovunque ent://SD_ILS/0/SD_ILS:204501 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ciliberto, Ciro. editor.&#160;Lucchetti, 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-88-470-1744-3">http://dx.doi.org/10.1007/978-88-470-1744-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica: Metodo Breve ent://SD_ILS/0/SD_ILS:204542 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mundici, Daniele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essays on Anscombe's Intention ent://SD_ILS/0/SD_ILS:230411 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ford, Anton.&#160;Hornsby, Jennifer.&#160;Stoutland, Frederick.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.4159/harvard.9780674060913">http://dx.doi.org/10.4159/harvard.9780674060913</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding counterfactuals, understanding causation issues in philosophy and psychology ent://SD_ILS/0/SD_ILS:230689 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hoerl, Christoph.&#160;McCormack, Teresa.&#160;Beck, Sarah.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199590698.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199590698.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1. ent://SD_ILS/0/SD_ILS:237277 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Cluckers, Raf.&#160;Nicaise, Johannes.&#160;Sebag, Julien.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511667534">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Deep Beauty Understanding the Quantum World through Mathematical Innovation ent://SD_ILS/0/SD_ILS:237420 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Halvorson, Hans.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511976971">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proof Analysis A Contribution to Hilbert's Last Problem ent://SD_ILS/0/SD_ILS:239026 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Negri, Sara.&#160;von Plato, Jan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9781139003513">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits ent://SD_ILS/0/SD_ILS:205904 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ben Jamaa, M. Haykel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0650-7">http://dx.doi.org/10.1007/978-94-007-0650-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Controversy as News Discourse ent://SD_ILS/0/SD_ILS:206022 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Cramer, Peter A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1288-1">http://dx.doi.org/10.1007/978-94-007-1288-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Giving Reasons A Linguistic-Pragmatic Approach to Argumentation Theory ent://SD_ILS/0/SD_ILS:206167 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bermejo Luque, Lilian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1761-9">http://dx.doi.org/10.1007/978-94-007-1761-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interpreted Languages and Compositionality ent://SD_ILS/0/SD_ILS:206265 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kracht, Marcus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-2108-1">http://dx.doi.org/10.1007/978-94-007-2108-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Dynamics of Information and Interaction ent://SD_ILS/0/SD_ILS:236844 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;van Benthem, Johan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511974533">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Evolution of Principia Mathematica Bertrand Russell's Manuscripts and Notes for the Second Edition ent://SD_ILS/0/SD_ILS:238953 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Linsky, Bernard.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511760181">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Requirements Engineering ent://SD_ILS/0/SD_ILS:247874 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Holt, Jon&#160;Perry, Simon A&#160;Brownsword, Mike<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBPC009E">http://dx.doi.org/10.1049/PBPC009E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Yarg&#305; yetisinin ele&#351;trisi = Kritik der Urteilskraft ent://SD_ILS/0/SD_ILS:317279 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kant, Immanuel, 11724-1804&#160;Yard&#305;ml&#305;, Aziz<br/>Preferred Shelf Number&#160;B2783 K36 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Digital protective relays problems and solutions ent://SD_ILS/0/SD_ILS:287043 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gurevich, Vladimir, 1956-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439837863">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/> GIS applications in agriculture. Volume two, Nutrient management for energy efficiency ent://SD_ILS/0/SD_ILS:290650 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Clay, David (David E.)&#160;Shanahan, John Francis, 1955-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420092714">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/> McGraw-Hill's MAT Miller analogies test ent://SD_ILS/0/SD_ILS:294047 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Zahler, Kathy A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/mcgrawhills-mat-miller-analogies-test-second-edition">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> McGraw-Hill's LSAT ent://SD_ILS/0/SD_ILS:294072 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Curvebreakers.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/mcgrawhills-lsat-2012-edition">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital electronics demystified a self-teaching guide ent://SD_ILS/0/SD_ILS:294154 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Predko, Michael.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/digital-electronics-demystified">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to logical theory ent://SD_ILS/0/SD_ILS:260400 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Strawson, P. F.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203828779">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The promise of reason studies in The new rhetoric ent://SD_ILS/0/SD_ILS:245033 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Perelman, Cha&iuml;m New rhetoric.&#160;Gage, John T., 1947-&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780809386284/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Proof is in the Pudding The Changing Nature of Mathematical Proof ent://SD_ILS/0/SD_ILS:166423 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Krantz, Steven 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-0-387-48744-1">http://dx.doi.org/10.1007/978-0-387-48744-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics ent://SD_ILS/0/SD_ILS:167264 2024-12-23T07:50:28Z 2024-12-23T07:50: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-75472-7">http://dx.doi.org/10.1007/978-0-387-75472-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Software Development An Introduction to Program Verification ent://SD_ILS/0/SD_ILS:168395 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Almeida, Jos&eacute; Bacelar. author.&#160;Frade, Maria Jo&atilde;o. author.&#160;Pinto, Jorge Sousa. author.&#160;Melo de Sousa, Sim&atilde;o. 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-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to the Theory of Programming Languages ent://SD_ILS/0/SD_ILS:168414 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Dowek, Gilles. author.&#160;L&eacute;vy, Jean-Jacques. 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-85729-076-2">http://dx.doi.org/10.1007/978-0-85729-076-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Why Is Everyone Else Wrong? Explorations in Truth and Reason ent://SD_ILS/0/SD_ILS:173002 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Machan, Tibor R. 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-4419-7859-2">http://dx.doi.org/10.1007/978-1-4419-7859-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The nature of race : how scientists think and teach about human difference ent://SD_ILS/0/SD_ILS:375675 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Morning, Ann Juanita, 1968-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.1525/j.ctt1pnrht">http://www.jstor.org/stable/10.1525/j.ctt1pnrht</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gameplay mode : war, simulation, and technoculture ent://SD_ILS/0/SD_ILS:376194 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Crogan, Patrick.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.5749/j.ctttv857">http://www.jstor.org/stable/10.5749/j.ctttv857</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Oxford handbook of Wittgenstein ent://SD_ILS/0/SD_ILS:357799 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kuusela, Oskari.&#160;McGinn, Marie.<br/>Preferred Shelf Number&#160;B3376.W564 O95 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> After evil : a politics of human rights ent://SD_ILS/0/SD_ILS:375140 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Meister, Robert, 1947-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/meis15036">http://www.jstor.org/stable/10.7312/meis15036</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A radical philosophy of Saint Paul ent://SD_ILS/0/SD_ILS:375739 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Breton, Stanislas.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/bret15104">http://www.jstor.org/stable/10.7312/bret15104</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> China's regulatory state : a new strategy for globalization ent://SD_ILS/0/SD_ILS:375827 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hsueh, Roselyn, 1977-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7591/j.ctt7z6z0">http://www.jstor.org/stable/10.7591/j.ctt7z6z0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Apoha : Buddhist nominalism and human cognition ent://SD_ILS/0/SD_ILS:375965 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Siderits, Mark, 1946-&#160;Tillemans, Tom J. F.&#160;Chakrabarti, Arindam.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/side15360">http://www.jstor.org/stable/10.7312/side15360</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hermeneutic communism : from Heidegger to Marx ent://SD_ILS/0/SD_ILS:376001 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Vattimo, Gianni, 1936-&#160;Zabala, Santiago, 1975-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.jstor.org/stable/10.7312/vatt15802">http://www.jstor.org/stable/10.7312/vatt15802</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced digital design with the Verilog HDL ent://SD_ILS/0/SD_ILS:356329 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ciletti, Michael D.<br/>Preferred Shelf Number&#160;TK7885.7 C5485 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Model Theory and Applications ent://SD_ILS/0/SD_ILS:191585 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mangani, 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-11121-1">http://dx.doi.org/10.1007/978-3-642-11121-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cantor und die Franzosen Mathematik, Philosophie und das Unendliche ent://SD_ILS/0/SD_ILS:192795 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;D&eacute;caillot, Anne-Marie. 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-14869-9">http://dx.doi.org/10.1007/978-3-642-14869-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge in Formation A Computational Theory of Interpretation ent://SD_ILS/0/SD_ILS:193503 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Sarbo, Janos J. author.&#160;Farkas, Jozsef I. author.&#160;Breemen, Auke J.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-3-642-17089-8">http://dx.doi.org/10.1007/978-3-642-17089-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:193780 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Fernandes, Jo&atilde;o M. editor.&#160;L&auml;mmel, Ralf. editor.&#160;Visser, Joost. editor.&#160;Saraiva, Jo&atilde;o. 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-18023-1">http://dx.doi.org/10.1007/978-3-642-18023-1</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 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. 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-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193711 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Johnson, Michael. editor.&#160;Pavlovic, Dusko. 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-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193978 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Namjoshi, Kedar. editor.&#160;Zeller, Andreas. editor.&#160;Ziv, Avi. 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-19237-1">http://dx.doi.org/10.1007/978-3-642-19237-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Mining Discovery, Conformance and Enhancement of Business Processes ent://SD_ILS/0/SD_ILS:194012 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;van der Aalst, Wil M. P. 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-19345-3">http://dx.doi.org/10.1007/978-3-642-19345-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:194028 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Calude, Cristian S. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. 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-19391-0">http://dx.doi.org/10.1007/978-3-642-19391-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194045 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Malloy, Brian. editor.&#160;Staab, Steffen. editor.&#160;Brand, Mark. 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-19440-5">http://dx.doi.org/10.1007/978-3-642-19440-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers III ent://SD_ILS/0/SD_ILS:194048 2024-12-23T07:50:28Z 2024-12-23T07:50: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-19448-1">http://dx.doi.org/10.1007/978-3-642-19448-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194162 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hofmann, 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-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194164 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Orejas, Fernando. 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-19811-3">http://dx.doi.org/10.1007/978-3-642-19811-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194172 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Leino, K. Rustan M. 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-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194393 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Das, Vinu V. editor.&#160;Thankachan, Nessy. editor.&#160;Debnath, Narayan C. 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-20499-9">http://dx.doi.org/10.1007/978-3-642-20499-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:194573 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Sturm, Thomas. editor.&#160;Zengler, 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-3-642-21046-4">http://dx.doi.org/10.1007/978-3-642-21046-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Swart, Harrie. 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-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:194627 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Dingel, Juergen. editor.&#160;Solberg, Arnor. 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-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194668 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Romanovsky, Alexander. editor.&#160;Vardanega, Tullio. 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-21338-0">http://dx.doi.org/10.1007/978-3-642-21338-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194669 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Calude, Cristian S. editor.&#160;Kari, Jarkko. editor.&#160;Petre, Ion. editor.&#160;Rozenberg, Grzegorz. 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-21341-0">http://dx.doi.org/10.1007/978-3-642-21341-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194718 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Winkler, Franz. 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-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194747 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Sakallah, Karem A. editor.&#160;Simon, Laurent. 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-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194771 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kraemer, Frank Alexander. editor.&#160;Herrmann, Peter. 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-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194785 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Ong, Luke. 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-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194799 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Cabot, Jordi. editor.&#160;Visser, Eelco. 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-21732-6">http://dx.doi.org/10.1007/978-3-642-21732-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 &ndash; July 1, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194811 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gogolla, Martin. editor.&#160;Wolff, Burkhart. 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-21768-5">http://dx.doi.org/10.1007/978-3-642-21768-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Objects to Diagrams for Ranges of Functors ent://SD_ILS/0/SD_ILS:194813 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Gillibert, Pierre. author.&#160;Wehrung, Friedrich. 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-21774-6">http://dx.doi.org/10.1007/978-3-642-21774-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194835 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kristensen, Lars M. editor.&#160;Petrucci, Laure. 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-21834-7">http://dx.doi.org/10.1007/978-3-642-21834-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194848 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;L&ouml;we, Benedikt. editor.&#160;Normann, Dag. editor.&#160;Soskov, Ivan. editor.&#160;Soskova, Alexandra. 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-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194871 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bishop, Judith. editor.&#160;Vallecillo, Antonio. 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-21952-8">http://dx.doi.org/10.1007/978-3-642-21952-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194982 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Groce, Alex. editor.&#160;Musuvathi, Madanlal. 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-22306-8">http://dx.doi.org/10.1007/978-3-642-22306-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194987 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Mauri, Giancarlo. editor.&#160;Leporati, Alberto. 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-22321-1">http://dx.doi.org/10.1007/978-3-642-22321-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195009 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Huzar, Zbigniew. editor.&#160;Koci, Radek. editor.&#160;Meyer, Bertrand. editor.&#160;Walter, Bartosz. editor.&#160;Zendulka, Jaroslav. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22386-0">http://dx.doi.org/10.1007/978-3-642-22386-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195162 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Eekelen, Marko. editor.&#160;Geuvers, Herman. editor.&#160;Schmaltz, Julien. editor.&#160;Wiedijk, Freek. 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-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement ent://SD_ILS/0/SD_ILS:195782 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kuich, Werner. 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-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday ent://SD_ILS/0/SD_ILS:195796 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Agha, Gul. editor.&#160;Danvy, Olivier. editor.&#160;Meseguer, 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-642-24933-4">http://dx.doi.org/10.1007/978-3-642-24933-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, S&atilde;o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195825 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Simao, Adenilso. editor.&#160;Morgan, Carroll. 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-25032-3">http://dx.doi.org/10.1007/978-3-642-25032-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195911 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Yang, Hongseok. 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-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195929 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Jouannaud, Jean-Pierre. editor.&#160;Shao, Zhong. 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-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings ent://SD_ILS/0/SD_ILS:196127 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kim, Tai-hoon. editor.&#160;Adeli, Hojjat. editor.&#160;Kim, Haeng-kon. editor.&#160;Kang, Heau-jo. editor.&#160;Kim, Kyung Jung. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27207-3">http://dx.doi.org/10.1007/978-3-642-27207-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Physical Design: From Graph Partitioning to Timing Closure ent://SD_ILS/0/SD_ILS:205534 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Kahng, Andrew B. author.&#160;Lienig, Jens. author.&#160;Markov, Igor L. author.&#160;Hu, Jin. 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-9591-6">http://dx.doi.org/10.1007/978-90-481-9591-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Argument Structure: Representation and Theory ent://SD_ILS/0/SD_ILS:205820 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Freeman, James B. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0357-5">http://dx.doi.org/10.1007/978-94-007-0357-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundational Theories of Classical and Constructive Mathematics ent://SD_ILS/0/SD_ILS:205842 2024-12-23T07:50:28Z 2024-12-23T07:50: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-94-007-0431-2">http://dx.doi.org/10.1007/978-94-007-0431-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trust Networks for Recommender Systems ent://SD_ILS/0/SD_ILS:207017 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Victor, Patricia. author.&#160;Cornelis, Chris. author.&#160;de Cock, Martine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-08-4">http://dx.doi.org/10.2991/978-94-91216-08-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification in economics and history a sequel to 'scientifization' ent://SD_ILS/0/SD_ILS:262049 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Hamouda, O. F.&#160;Price, B. B. (Betsey Barker), 1951-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203721353">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of physical design and query compilation ent://SD_ILS/0/SD_ILS:279182 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Toman, David.&#160;Weddell, Grant E. (Grant Edwin), 1954-<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=440450">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neutrosophic interval bialgebraic structures ent://SD_ILS/0/SD_ILS:280036 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Vasantha Kandasamy, W. B.&#160;Smarandache, Florentin.<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=484382">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=484382</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent automatic generation control ent://SD_ILS/0/SD_ILS:288000 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Bevrani, Hassan.&#160;Hiyama, Takashi.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439849545">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/> Tractatus logico-philosophicus ent://SD_ILS/0/SD_ILS:482602 2024-12-23T07:50:28Z 2024-12-23T07:50:28Z Author&#160;Wittgenstein, Ludwig.&#160;Aruoba, Oru&ccedil;.<br/>Preferred Shelf Number&#160;BC135 W5719 2011<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>