Search Results for Logic. - Narrowed by: 2013 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092013$0025092013$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-11-09T05:53:29Z Logic and Structure ent://SD_ILS/0/SD_ILS:331010 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Dalen, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331010.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4558-5">http://dx.doi.org/10.1007/978-1-4471-4558-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Paraconsistency: Logic and Applications ent://SD_ILS/0/SD_ILS:335759 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Tanaka, Koji. editor.&#160;Berto, Francesco. editor.&#160;Mares, Edwin. editor.&#160;Paoli, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335759.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Logic Programming with Prolog ent://SD_ILS/0/SD_ILS:331207 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bramer, Max. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331207.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5487-7">http://dx.doi.org/10.1007/978-1-4471-5487-7</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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Chance, love and logic : philosophical essays ent://SD_ILS/0/SD_ILS:67464 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Studies in inductive logic and probability ent://SD_ILS/0/SD_ILS:35499 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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 of analog and digital machines ent://SD_ILS/0/SD_ILS:281465 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Rocchi, Paolo.<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=581746">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=581746</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Course on Mathematical Logic ent://SD_ILS/0/SD_ILS:331853 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Srivastava, Shashi Mohan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331853.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cylindric-like Algebras and Algebraic Logic ent://SD_ILS/0/SD_ILS:333922 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Andr&eacute;ka, Hajnal. editor.&#160;Ferenczi, Mikl&oacute;s. editor.&#160;N&eacute;meti, Istv&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333922.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechanical logic in three-dimensional space ent://SD_ILS/0/SD_ILS:342612 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Auletta, Gennaro, author.<br/>Preferred Shelf Number&#160;ONLINE(342612.1)<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9789814411516">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/> Judgement and the Epistemic Foundation of Logic ent://SD_ILS/0/SD_ILS:335895 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;van der Schaar, Maria. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335895.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5137-8">http://dx.doi.org/10.1007/978-94-007-5137-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Later medieval metaphysics ontology, language, and logic ent://SD_ILS/0/SD_ILS:239904 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Keele, Rondo, 1968-&#160;Bolyard, Charles.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780823250233/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Fuzzy Sets and Fuzzy Logic ent://SD_ILS/0/SD_ILS:333950 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bede, Barnabas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</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-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The technique of controversy : principles of dynamic logic ent://SD_ILS/0/SD_ILS:72543 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method ent://SD_ILS/0/SD_ILS:336157 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Cellucci, Carlo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336157.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Making sense of Micronesia the logic of Pacific island culture ent://SD_ILS/0/SD_ILS:239851 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hezel, Francis X.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780824837815/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Home is where the school is the logic of homeschooling and the emotional labor of mothering ent://SD_ILS/0/SD_ILS:239723 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Lois, Jennifer.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780814789438/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Action and character according to Aristotle the logic of the moral life ent://SD_ILS/0/SD_ILS:241673 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Flannery, Kevin L.&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780813221618/">Full text available: </a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions ent://SD_ILS/0/SD_ILS:333898 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Aliev, Rafik Aziz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333898.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34895-2">http://dx.doi.org/10.1007/978-3-642-34895-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334875 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Libkin, Leonid. editor.&#160;Kohlenbach, Ulrich. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334875.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335032 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335032.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335196 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;McMillan, Ken. editor.&#160;Middeldorp, Aart. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335196.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 ent://SD_ILS/0/SD_ILS:336850 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ewald, William. editor.&#160;Sieg, Wilfried. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336850.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69444-1">http://dx.doi.org/10.1007/978-3-540-69444-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332970 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Masulli, Francesco. editor.&#160;Pasi, Gabriella. editor.&#160;Yager, Ronald. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332970.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03200-9">http://dx.doi.org/10.1007/978-3-319-03200-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty ent://SD_ILS/0/SD_ILS:333243 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Starczewski, Janusz T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333243.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29520-1">http://dx.doi.org/10.1007/978-3-642-29520-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected Advances in Nanoelectronic Devices Logic, Memory and RF ent://SD_ILS/0/SD_ILS:333427 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Joodaki, Mojtaba. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333427.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31350-9">http://dx.doi.org/10.1007/978-3-642-31350-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334105 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite State Machine Logic Synthesis for Complex Programmable Logic Devices ent://SD_ILS/0/SD_ILS:334139 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Czerwinski, Robert. author.&#160;Kania, Dariusz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334139.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36166-1">http://dx.doi.org/10.1007/978-3-642-36166-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:334547 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334718 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334718.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Early Software Reliability Prediction A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:335512 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Pandey, Ajeet Kumar. author.&#160;Goyal, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Markenkommunikation mit Sport Wirkungsmodell f&uuml;r die Markenf&uuml;hrung aus Sicht der Service-Dominant Logic ent://SD_ILS/0/SD_ILS:338483 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Drengner, Jan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338483.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8349-4198-5">http://dx.doi.org/10.1007/978-3-8349-4198-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic ent://SD_ILS/0/SD_ILS:331780 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ollongren, Alexander. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331780.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5468-7">http://dx.doi.org/10.1007/978-1-4614-5468-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop ent://SD_ILS/0/SD_ILS:333670 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Lorente, Nicolas. editor.&#160;Joachim, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333670.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33137-4">http://dx.doi.org/10.1007/978-3-642-33137-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Puzzles in Logic, Languages and Computation The Green Book ent://SD_ILS/0/SD_ILS:333840 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Radev, Dragomir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333840.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34372-8">http://dx.doi.org/10.1007/978-3-642-34372-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Puzzles in Logic, Languages and Computation The Red Book ent://SD_ILS/0/SD_ILS:333842 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Radev, Dragomir. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333842.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34378-0">http://dx.doi.org/10.1007/978-3-642-34378-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334337 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bezhanishvili, Guram. editor.&#160;L&ouml;bner, Sebastian. editor.&#160;Marra, Vincenzo. editor.&#160;Richter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334337.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36976-6">http://dx.doi.org/10.1007/978-3-642-36976-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334673 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Riguzzi, Fabrizio. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334673.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334979 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Leite, Jo&atilde;o. editor.&#160;Son, Tran Cao. editor.&#160;Torroni, Paolo. editor.&#160;Torre, Leon. editor.&#160;Woltran, Stefan. editor.<br/>Preferred Shelf Number&#160;ONLINE(334979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335118 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Tompits, Hans. editor.&#160;Abreu, Salvador. editor.&#160;Oetsch, Johannes. editor.&#160;P&uuml;hrer, J&ouml;rg. editor.&#160;Seipel, Dietmar. editor.<br/>Preferred Shelf Number&#160;ONLINE(335118.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41524-1">http://dx.doi.org/10.1007/978-3-642-41524-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570&ndash;1689) ent://SD_ILS/0/SD_ILS:335856 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Sgarbi, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335856.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4951-1">http://dx.doi.org/10.1007/978-94-007-4951-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The World-Time Parallel Tense and Modality in Logic and Metaphysics ent://SD_ILS/0/SD_ILS:235840 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Rini, A. A..&#160;Cresswell, M. J..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9781139084215">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The outer limits of reason what science, mathematics, and logic cannot tell us ent://SD_ILS/0/SD_ILS:241102 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Yanofsky, Noson S., 1967-&#160;Project Muse.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://muse.jhu.edu/books/9780262316774/">Full text available: </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:371616 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334969 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334969.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Kurt G&ouml;del Essays for his Centennial ent://SD_ILS/0/SD_ILS:236216 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Feferman, Solomon.&#160;Parsons, Charles.&#160;Simpson, Stephen G..<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visual Reasoning with Diagrams ent://SD_ILS/0/SD_ILS:332637 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Moktefi, Amirouche. editor.&#160;Shin, Sun-Joo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332637.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0600-8">http://dx.doi.org/10.1007/978-3-0348-0600-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards a General Theory of Classifications ent://SD_ILS/0/SD_ILS:332639 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Parrochia, Daniel. author.&#160;Neuville, Pierre. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332639.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0609-1">http://dx.doi.org/10.1007/978-3-0348-0609-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Nature of Truth An updated approach to the meaning of truth ascriptions ent://SD_ILS/0/SD_ILS:335763 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Frapolli, Maria Jose. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335763.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4464-6">http://dx.doi.org/10.1007/978-94-007-4464-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Argument of Mathematics ent://SD_ILS/0/SD_ILS:336263 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Aberdein, Andrew. editor.&#160;Dove, Ian J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336263.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-6534-4">http://dx.doi.org/10.1007/978-94-007-6534-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A treatise on induction and probability ent://SD_ILS/0/SD_ILS:55443 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction ent://SD_ILS/0/SD_ILS:72527 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Debate Dynamics: How Controversy Improves Our Beliefs ent://SD_ILS/0/SD_ILS:335787 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Betz, Gregor. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335787.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4599-5">http://dx.doi.org/10.1007/978-94-007-4599-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Existence as a Real Property The Ontology of Meinongianism ent://SD_ILS/0/SD_ILS:335738 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Berto, Francesco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335738.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4207-9">http://dx.doi.org/10.1007/978-94-007-4207-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bayesian Argumentation The practical side of probability ent://SD_ILS/0/SD_ILS:335956 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Zenker, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335956.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5357-0">http://dx.doi.org/10.1007/978-94-007-5357-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functions: selection and mechanisms ent://SD_ILS/0/SD_ILS:335942 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Huneman, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335942.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5304-4">http://dx.doi.org/10.1007/978-94-007-5304-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Set theory ent://SD_ILS/0/SD_ILS:352659 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Kunen, Kenneth.<br/>Preferred Shelf Number&#160;QA248 K858 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Around the Tree Semantic and Metaphysical Issues Concerning Branching and the Open Future ent://SD_ILS/0/SD_ILS:335903 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Correia, Fabrice. editor.&#160;Iacona, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335903.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5167-5">http://dx.doi.org/10.1007/978-94-007-5167-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:79068 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Communication : a philosophical study of language ent://SD_ILS/0/SD_ILS:72500 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:76943 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z 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/> Plato's use of fallacy a study of the Euthydemus and some other dialogues ent://SD_ILS/0/SD_ILS:259522 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Sprague, Rosamond Kent.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203101544">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logicism and its philosophical legacy ent://SD_ILS/0/SD_ILS:280304 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Demopoulos, William.<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=508286">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Practice of social research ent://SD_ILS/0/SD_ILS:248974 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Babbie, Earl R.<br/>Preferred Shelf Number&#160;H62 B2 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Dialogic education for the Internet age ent://SD_ILS/0/SD_ILS:258826 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Wegerif, Rupert, 1959-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203111222">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete mathematics and its applications ent://SD_ILS/0/SD_ILS:271169 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Rosen, Kenneth H.&#160;Krithivasan, Kamala.<br/>Preferred Shelf Number&#160;QA39.3 R674 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> An introduction to G&ouml;del's theorems ent://SD_ILS/0/SD_ILS:280594 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Smith, Peter, 1944- author.<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=533820">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanoelectronic device applications handbook ent://SD_ILS/0/SD_ILS:290971 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;IEEE International Conference on Nanotechnology (11th : 2011 : Portland, Ore.)&#160;Morris, James E.&#160;Iniewski, Krzysztof.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466565241">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/> Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334069 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334069.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334073 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Giacobazzi, Roberto. editor.&#160;Berdine, Josh. editor.&#160;Mastroeni, Isabella. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334073.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:334079 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334079.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334080 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Lu, Pingjing. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.<br/>Preferred Shelf Number&#160;ONLINE(334080.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334041 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(334041.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Rough Sets XVI ent://SD_ILS/0/SD_ILS:334220 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Peters, James F. editor.&#160;Skowron, Andrzej. editor.&#160;Ramanna, Sheela. editor.&#160;Suraj, Zbigniew. editor.&#160;Wang, Xin. editor.<br/>Preferred Shelf Number&#160;ONLINE(334220.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36505-8">http://dx.doi.org/10.1007/978-3-642-36505-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334358 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334494 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Baldoni, Matteo. editor.&#160;Dennis, Louise. editor.&#160;Mascardi, Viviana. editor.&#160;Vasconcelos, Wamberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334494.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334868 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Motomura, Yoichi. editor.&#160;Butler, Alastair. editor.&#160;Bekki, Daisuke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334868.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39931-2">http://dx.doi.org/10.1007/978-3-642-39931-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D&uuml;sseldorf, Germany, August 2013. Proceedings ent://SD_ILS/0/SD_ILS:334877 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Morrill, Glyn. editor.&#160;Nederhof, Mark-Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334877.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334904 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Daniel, Florian. editor.&#160;Wang, Jianmin. editor.&#160;Weber, Barbara. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334904.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2013 &ndash; Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334905 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;D&rsquo;Argenio, Pedro R. editor.&#160;Melgratti, Hern&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334905.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334913 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Braberman, V&iacute;ctor. editor.&#160;Fribourg, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334913.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334925 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Chatterjee, Krishnendu. editor.&#160;Sgall, Jir&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334925.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335034 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Br&eacute;zillon, Patrick. editor.&#160;Blackburn, Patrick. editor.&#160;Dapoigny, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40972-1">http://dx.doi.org/10.1007/978-3-642-40972-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335040 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Pecheur, Charles. editor.&#160;Dierkes, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335040.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings ent://SD_ILS/0/SD_ILS:335046 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Abdulla, Parosh Aziz. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335046.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335202 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Lecroq, Thierry. editor.&#160;Mouchard, Laurent. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335202.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45278-9">http://dx.doi.org/10.1007/978-3-642-45278-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335204 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Sagonas, Kostis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335204.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> User-Level Workflow Design A Bioinformatics Perspective ent://SD_ILS/0/SD_ILS:335213 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335213.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335217 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Maciaszek, Leszek A. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335217.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335227 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Filipe, Joaquim. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335227.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings ent://SD_ILS/0/SD_ILS:335433 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Nishizaki, Shin-ya. editor.&#160;Numao, Masayuki. editor.&#160;Caro, Jaime. editor.&#160;Suarez, Merlin Teodosia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335433.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Teoria degli Automi Finiti ent://SD_ILS/0/SD_ILS:335644 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Luca, Aldo. author.&#160;D&rsquo;Alessandro, Flavio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335644.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements ent://SD_ILS/0/SD_ILS:335941 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Geldsetzer, Lutz. author.&#160;Schwartz, Richard L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335941.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5301-3">http://dx.doi.org/10.1007/978-94-007-5301-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus ent://SD_ILS/0/SD_ILS:336968 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Tapp, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29654-3">http://dx.doi.org/10.1007/978-3-642-29654-3</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:337115 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse ent://SD_ILS/0/SD_ILS:337578 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;B&ouml;ckenhauer, Hans-Joachim. author.&#160;Hromkovic, Juraj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337578.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00725-6">http://dx.doi.org/10.1007/978-3-658-00725-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A transition to mathematics with proofs ent://SD_ILS/0/SD_ILS:269594 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Cullinane, Michael J.<br/>Preferred Shelf Number&#160;QA9 C84 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Dani&#351;name-i Alai : Alai hikmet kitab&#305; ent://SD_ILS/0/SD_ILS:274739 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;&#304;bn Sina&#160;Demirkol, Murat &ccedil;eviren.&#160;Deniz, G&uuml;rb&uuml;z edit&ouml;r.<br/>Preferred Shelf Number&#160;B751.I13 D183 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Gas turbine diagnostics signal processing and fault isolation ent://SD_ILS/0/SD_ILS:290944 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ganguli, Ranjan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466502819">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/> Belief Revision in Non-Classical Logics ent://SD_ILS/0/SD_ILS:330925 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ribeiro, M&aacute;rcio Moretto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330925.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz ent://SD_ILS/0/SD_ILS:330942 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Davis, Martin. editor.&#160;Schonberg, Edmond. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330942.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts ent://SD_ILS/0/SD_ILS:331002 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;O&rsquo;Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331002.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> L.E.J. Brouwer &ndash; Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life ent://SD_ILS/0/SD_ILS:331026 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Dalen, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331026.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4616-2">http://dx.doi.org/10.1007/978-1-4471-4616-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331181.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Languages and Compilation ent://SD_ILS/0/SD_ILS:331210 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Crespi Reghizzi, Stefano. author.&#160;Breveglieri, Luca. author.&#160;Morzenti, Angelo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331210.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5514-0">http://dx.doi.org/10.1007/978-1-4471-5514-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction ent://SD_ILS/0/SD_ILS:332681 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Pudl&aacute;k, Pavel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332681.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-00119-7">http://dx.doi.org/10.1007/978-3-319-00119-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Computer Mathematics Tutorials on Theory and Problems ent://SD_ILS/0/SD_ILS:332887 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bagdasar, Ovidiu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332887.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01751-8">http://dx.doi.org/10.1007/978-3-319-01751-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332962 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bertacco, Valeria. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332979 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Baldoni, Matteo. editor.&#160;Baroglio, Cristina. editor.&#160;Boella, Guido. editor.&#160;Micalizio, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332979.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03524-6">http://dx.doi.org/10.1007/978-3-319-03524-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332981 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Shan, Chung-chieh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332981.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332982 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gonthier, Georges. editor.&#160;Norrish, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332982.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:333011 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ermolayev, Vadim. editor.&#160;Mayr, Heinrich C. editor.&#160;Nikitchenko, Mykola. editor.&#160;Spivakovsky, Aleksander. editor.&#160;Zholtkevych, Grygoriy. editor.<br/>Preferred Shelf Number&#160;ONLINE(333011.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik ent://SD_ILS/0/SD_ILS:333036 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Zermelo, Ernst. author.&#160;Ebbinghaus, Heinz-Dieter. editor.&#160;Kanamori, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333036.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333558 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Maciaszek, Leszek A. editor.&#160;Zhang, Kang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333558.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334014 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Qadeer, Shaz. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334014.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Fuzziness A Homage to Lotfi A. Zadeh &ndash; Volume 1 ent://SD_ILS/0/SD_ILS:334017 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Seising, Rudolf. editor.&#160;Trillas, Enric. editor.&#160;Moraga, Claudio. editor.&#160;Termini, Settimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334017.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35641-4">http://dx.doi.org/10.1007/978-3-642-35641-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Fuzziness A Homage to Lotfi A. Zadeh &ndash; Volume 2 ent://SD_ILS/0/SD_ILS:334018 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Seising, Rudolf. editor.&#160;Trillas, Enric. editor.&#160;Moraga, Claudio. editor.&#160;Termini, Settimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334018.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334034 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Wolff, Burkhart. editor.&#160;Gaudel, Marie-Claude. editor.&#160;Feliachi, Abderrahmane. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334034.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334092 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bobillo, Fernando. editor.&#160;Costa, Paulo C. G. editor.&#160;d&rsquo;Amato, Claudia. editor.&#160;Fanizzi, Nicola. editor.&#160;Laskey, Kathryn B. editor.<br/>Preferred Shelf Number&#160;ONLINE(334092.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35975-0">http://dx.doi.org/10.1007/978-3-642-35975-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334111 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;H&ouml;mberg, Dietmar. editor.&#160;Tr&ouml;ltzsch, Fredi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334111.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</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 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334136 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334136.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334174 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gl&uuml;ck, Robert. editor.&#160;Yokoyama, Tetsuo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334174.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning and Mathematics Essays in Memory of William W. McCune ent://SD_ILS/0/SD_ILS:334264 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bonacina, Maria Paola. editor.&#160;Stickel, Mark E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334264.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334278 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Piterman, Nir. editor.&#160;Smolka, Scott A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334278.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334354 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Cortellessa, Vittorio. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334354.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334355 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Dediu, Adrian-Horia. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;Truthe, Bianca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334355.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers ent://SD_ILS/0/SD_ILS:334556 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Machado, Ricardo J. editor.&#160;Maciel, Rita Suzana P. editor.&#160;Rubin, Julia. editor.&#160;Botterweck, Goetz. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334556.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334562 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Beek, Maurice H. editor.&#160;Lohmann, Niels. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334562.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334564 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Chan, T-H. Hubert. editor.&#160;Lau, Lap Chi. editor.&#160;Trevisan, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334564.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VII ent://SD_ILS/0/SD_ILS:334545 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Jensen, Kurt. editor.&#160;Aalst, Wil M. P. editor.&#160;Balbo, Gianfranco. editor.&#160;Koutny, Maciej. editor.&#160;Wolf, Karsten. editor.<br/>Preferred Shelf Number&#160;ONLINE(334545.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334771 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Konstantinidis, Stavros. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334771.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39274-0">http://dx.doi.org/10.1007/978-3-642-39274-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334772.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Erd&#337;s Centennial ent://SD_ILS/0/SD_ILS:334774 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Lov&aacute;sz, L&aacute;szl&oacute;. editor.&#160;Ruzsa, Imre Z. editor.&#160;S&oacute;s, Vera T. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334774.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39286-3">http://dx.doi.org/10.1007/978-3-642-39286-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334778 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Jurgensen, Helmut. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334778.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334781 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Carette, Jacques. editor.&#160;Aspinall, David. editor.&#160;Lange, Christoph. editor.&#160;Sojka, Petr. editor.&#160;Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE(334781.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334968 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hierons, Robert M. editor.&#160;Merayo, Mercedes G. editor.&#160;Bravetti, Mario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334968.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334697 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Khendek, Ferhat. editor.&#160;Toeroe, Maria. editor.&#160;Gherbi, Abdelouahed. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334697.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334698 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Veanes, Margus. editor.&#160;Vigan&ograve;, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334698.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334702 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hasegawa, Masahito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334702.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334708 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Dueck, Gerhard W. editor.&#160;Miller, D. Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334708.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334711 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gorp, Pieter. editor.&#160;Ritter, Tom. editor.&#160;Rose, Louis M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334711.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334714 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Drira, Khalil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334714.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2013 &ndash; Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334715 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Castagna, Giuseppe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334715.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335003 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Legay, Axel. editor.&#160;Bensalem, Saddek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335003.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334907 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Joshi, Kaustubh. editor.&#160;Siegle, Markus. editor.&#160;Stoelinga, Mari&euml;lle. editor.&#160;D&rsquo;Argenio, Pedro R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334907.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40196-1">http://dx.doi.org/10.1007/978-3-642-40196-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334911 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334911.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334832 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Faber, Wolfgang. editor.&#160;Lembo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334832.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing &ndash; ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334840 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. editor.&#160;Zhu, Huibiao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334840.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335023 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Fontaine, Pascal. editor.&#160;Ringeissen, Christophe. editor.&#160;Schmidt, Renate A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335023.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335030 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Jain, Sanjay. editor.&#160;Munos, R&eacute;mi. editor.&#160;Stephan, Frank. editor.&#160;Zeugmann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335030.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335031 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Timm, Ingo J. editor.&#160;Thimm, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335031.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40942-4">http://dx.doi.org/10.1007/978-3-642-40942-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday ent://SD_ILS/0/SD_ILS:334934 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Achten, Peter. editor.&#160;Koopman, Pieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40355-2">http://dx.doi.org/10.1007/978-3-642-40355-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334946 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Loidl, Hans-Wolfgang. editor.&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334946.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40447-4">http://dx.doi.org/10.1007/978-3-642-40447-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency VIII ent://SD_ILS/0/SD_ILS:334949 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Koutny, Maciej. editor.&#160;Aalst, Wil M. P. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334949.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Binary Number System Algorithms and Circuits ent://SD_ILS/0/SD_ILS:335470 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Jamil, Tariq. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335470.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Springer-Handbuch der Mathematik II Begr&uuml;ndet von I.N. Bronstein und K.A. Semendjaew Weitergef&uuml;hrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler ent://SD_ILS/0/SD_ILS:337476 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Zeidler, Eberhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337476.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-658-00297-8">http://dx.doi.org/10.1007/978-3-658-00297-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> &Ouml;nermeler mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:311337 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Nesin, Ali.<br/>Preferred Shelf Number&#160;QA270 N476 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> Digital design ent://SD_ILS/0/SD_ILS:313378 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Mano, M. Morris.&#160;Ciletti, Michael D.<br/>Preferred Shelf Number&#160;TK7888.3 M343 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Social Semantics The Search for Meaning on the Web ent://SD_ILS/0/SD_ILS:331289 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Halpin, Harry. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331289.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Logical Introduction to Proof ent://SD_ILS/0/SD_ILS:331358 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Cunningham, Daniel W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-3631-7">http://dx.doi.org/10.1007/978-1-4614-3631-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba ent://SD_ILS/0/SD_ILS:331582 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Subrahmanian, V.S. author.&#160;Mannes, Aaron. author.&#160;Sliva, Amy. author.&#160;Shakarian, Jana. author.&#160;Dickerson, John P. author.<br/>Preferred Shelf Number&#160;ONLINE(331582.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4769-6">http://dx.doi.org/10.1007/978-1-4614-4769-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Programming Theory and Practice ent://SD_ILS/0/SD_ILS:331611 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Shankar, A. Udaya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331611.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Invitation to Abstract Mathematics ent://SD_ILS/0/SD_ILS:332077 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bajnok, B&eacute;la. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6636-9">http://dx.doi.org/10.1007/978-1-4614-6636-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A General Framework for Reasoning On Inconsistency ent://SD_ILS/0/SD_ILS:332107 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Martinez, Maria Vanina. author.&#160;Molinaro, Cristian. author.&#160;Subrahmanian, V.S. author.&#160;Amgoud, Leila. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332107.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Paul Erd&#337;s II ent://SD_ILS/0/SD_ILS:332243 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Graham, Ronald L. editor.&#160;Ne&scaron;et&#345;il, Jaroslav. editor.&#160;Butler, Steve. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332243.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-7254-4">http://dx.doi.org/10.1007/978-1-4614-7254-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Computing Systems Mathematics for Computer Science ent://SD_ILS/0/SD_ILS:332574 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Moller, Faron. author.&#160;Struth, Georg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332574.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion ent://SD_ILS/0/SD_ILS:332605 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hinkis, Arie. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332605.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-0348-0224-6">http://dx.doi.org/10.1007/978-3-0348-0224-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Coordinated Inference A Study of Generalized Hat Problems ent://SD_ILS/0/SD_ILS:332859 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hardin, Christopher S. author.&#160;Taylor, Alan D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332859.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01333-6">http://dx.doi.org/10.1007/978-3-319-01333-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Real Numbers An Introduction to Set Theory and Analysis ent://SD_ILS/0/SD_ILS:332876 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Stillwell, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332876.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-01577-4">http://dx.doi.org/10.1007/978-3-319-01577-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332910 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Calculus with Infinitesimals ent://SD_ILS/0/SD_ILS:333673 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Herzberg, Frederik. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333673.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33149-7">http://dx.doi.org/10.1007/978-3-642-33149-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Deployment of System Engineering Methods ent://SD_ILS/0/SD_ILS:333675 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Romanovsky, Alexander. editor.&#160;Thomas, Martyn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333675.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33170-1">http://dx.doi.org/10.1007/978-3-642-33170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334465 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Mart&iacute;-Oliet, Narciso. editor.&#160;Palomino, Miguel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334465.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Language of Mathematics A Linguistic and Philosophical Investigation ent://SD_ILS/0/SD_ILS:334341 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ganesalingam, Mohan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334341.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37012-0">http://dx.doi.org/10.1007/978-3-642-37012-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334348 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Felleisen, Matthias. editor.&#160;Gardner, Philippa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334348.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334610 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334610.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334617 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bulatov, Andrei A. editor.&#160;Shur, Arseny M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334617.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334626 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bonacina, Maria Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334626.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334630 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Beyer, Dirk. editor.&#160;Boreale, Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334630.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334631 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Keller, Hubert B. editor.&#160;Pl&ouml;dereder, Erhard. editor.&#160;Dencker, Peter. editor.&#160;Klenk, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334631.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334634 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Johnsen, Einar Broch. editor.&#160;Petre, Luigia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334634.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334651 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Colom, Jos&eacute;-Manuel. editor.&#160;Desel, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334651.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334658 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334658.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontology Matching ent://SD_ILS/0/SD_ILS:334659 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Euzenat, J&eacute;r&ocirc;me. author.&#160;Shvaiko, Pavel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334659.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38721-0">http://dx.doi.org/10.1007/978-3-642-38721-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334665 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334665.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vall&eacute;e, France, June 18-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334666 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;B&eacute;al, Marie-Pierre. editor.&#160;Carton, Olivier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334666.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38771-5">http://dx.doi.org/10.1007/978-3-642-38771-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334683 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Logozzo, Francesco. editor.&#160;F&auml;hndrich, Manuel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334683.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures ent://SD_ILS/0/SD_ILS:334688 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bernardo, Marco. editor.&#160;Vink, Erik. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334688.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334691 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Duddy, Keith. editor.&#160;Kappel, Gerti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334691.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures ent://SD_ILS/0/SD_ILS:334978 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Giachino, Elena. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334978.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334980 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Schulte, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334980.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334985 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334985.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334987 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ida, Tetsuo. editor.&#160;Fleuriot, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334987.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40672-0">http://dx.doi.org/10.1007/978-3-642-40672-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334725.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334728 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gaag, Linda C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334728.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334743 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Bartocci, Ezio. editor.&#160;Ramakrishnan, C. R. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334743.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 &ndash; November 1, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335072 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Groves, Lindsay. editor.&#160;Sun, Jing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335072.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335100.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orl&eacute;ans, France, September 13-14, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335125 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Duchier, Denys. editor.&#160;Parmentier, Yannick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335125.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335126 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hinze, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335126.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:335131 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Zhang, Chengyi. editor.&#160;Li, Jinwen. editor.&#160;Yu, Liyan. editor.<br/>Preferred Shelf Number&#160;ONLINE(335131.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman ent://SD_ILS/0/SD_ILS:335138 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Tannen, Val. editor.&#160;Wong, Limsoon. editor.&#160;Libkin, Leonid. editor.&#160;Fan, Wenfei. editor.&#160;Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number&#160;ONLINE(335138.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335141 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;Yilmaz, Cemal. editor.&#160;Ulrich, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335141.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paradoxes in Probability Theory ent://SD_ILS/0/SD_ILS:335896 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Eckhardt, William. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335896.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5140-8">http://dx.doi.org/10.1007/978-94-007-5140-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Digital Automata ent://SD_ILS/0/SD_ILS:335923 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Borowik, Bohdan. author.&#160;Karpinskyy, Mykola. author.&#160;Lahno, Valery. author.&#160;Petrov, Oleksandr. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335923.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5228-3">http://dx.doi.org/10.1007/978-94-007-5228-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics ent://SD_ILS/0/SD_ILS:336496 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Mogavero, Fabio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(336496.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital design ent://SD_ILS/0/SD_ILS:354119 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Mano, M. Morris<br/>Preferred Shelf Number&#160;TK7888.3 M341 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Digital design and computer architecture ent://SD_ILS/0/SD_ILS:354125 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Harris, David Money&#160;Harris, Sarah L.<br/>Preferred Shelf Number&#160;TK7868.D5 H34 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~2<br/> Electronics with discrete components ent://SD_ILS/0/SD_ILS:312232 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Galvez, Enrique Jose, 1956-<br/>Preferred Shelf Number&#160;TK7816 G35 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Microelectronics to nanoelectronics materials, devices &amp; manufacturability ent://SD_ILS/0/SD_ILS:289028 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Kaul, Anupama B.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466509559">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/> Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings ent://SD_ILS/0/SD_ILS:334962 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334962.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334820 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Biere, Armin. editor.&#160;Nahir, Amir. editor.&#160;Vos, Tanja. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334820.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334821 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Binder, Walter. editor.&#160;Bodden, Eric. editor.&#160;L&ouml;we, Welf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334821.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334822 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Morgenstern, Leora. editor.&#160;Stefaneas, Petros. editor.&#160;L&eacute;vy, Fran&ccedil;ois. editor.&#160;Wyner, Adam. editor.&#160;Paschke, Adrian. editor.<br/>Preferred Shelf Number&#160;ONLINE(334822.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 &ndash; August 2, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334848 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Rudolph, Sebastian. editor.&#160;Gottlob, Georg. editor.&#160;Horrocks, Ian. editor.&#160;Harmelen, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334848.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334851 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Sharygina, Natasha. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334851.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335150 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Ng, Wilfred. editor.&#160;Storey, Veda C. editor.&#160;Trujillo, Juan C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335150.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Die G&ouml;del&rsquo;schen Unvollst&auml;ndigkeitss&auml;tze Eine gef&uuml;hrte Reise durch Kurt G&ouml;dels historischen Beweis ent://SD_ILS/0/SD_ILS:338283 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Hoffmann, Dirk W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338283.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-3000-7">http://dx.doi.org/10.1007/978-3-8274-3000-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logikkalk&uuml;le in der Informatik Wie wird Logik vom Rechner genutzt? ent://SD_ILS/0/SD_ILS:338349 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Schenke, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338349.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2295-6">http://dx.doi.org/10.1007/978-3-8348-2295-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOI lubistors : lateral, unidirectional, bipolar-type insulated-gate transistors ent://SD_ILS/0/SD_ILS:341557 2024-11-09T05:53:29Z 2024-11-09T05:53:29Z Author&#160;Omura, Y. (Yasuhisa)<br/>Preferred Shelf Number&#160;ONLINE(341557.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1002/9781118487914">http://dx.doi.org/10.1002/9781118487914</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>