Arama Sonu&ccedil;lar&#305; Logic. - Daralt&#305;lm&#305;&#351;: 2010 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092010$0025092010$0026te$003dILS$0026ps$003d300?dt=list 2024-12-25T01:10:18Z Logic Colloquium 2007 ent://SD_ILS/0/SD_ILS:236783 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Delon, Fran&ccedil;oise.&#160;Kohlenbach, Ulrich.&#160;Maddy, Penelope.&#160;Stephan, Frank.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic the basics ent://SD_ILS/0/SD_ILS:266548 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Beall, J. C.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introduction to logic ent://SD_ILS/0/SD_ILS:748 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Suppes, Patrick Colonel, 1922-<br/>Yer Numaras&#305;&#160;BC 108 S85 1957<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Programmable logic controllers ent://SD_ILS/0/SD_ILS:386120 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bolton, W. (William), 1933-<br/>Yer Numaras&#305;&#160;TJ223.P76 B65 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Introduction to logic ent://SD_ILS/0/SD_ILS:266562 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gensler, Harry J., 1945-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in modal logic ent://SD_ILS/0/SD_ILS:78063 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Kracht, Marcus, ed.<br/>Yer Numaras&#305;&#160;BC 199.M6 A38 1998- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> The science of logic ent://SD_ILS/0/SD_ILS:268387 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hegel, Georg Wilhelm Friedrich.&#160;Di Giovanni, George, 1935-<br/>Yer Numaras&#305;&#160;B2942.E5 D5 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The science of logic ent://SD_ILS/0/SD_ILS:144526 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hegel, Georg Wilhelm Friedrich, 1770-1831.&#160;Di Giovanni, George, 1935-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=329358</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The logic of practice ent://SD_ILS/0/SD_ILS:90557 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bourdieu, Pierre, 1930-2002<br/>Yer Numaras&#305;&#160;GN 468 B6813 1990<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Mathematical Logic Foundations for Information Science ent://SD_ILS/0/SD_ILS:198215 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Li, Wei. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-7643-9977-1">http://dx.doi.org/10.1007/978-3-7643-9977-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Pro 9 audio and music production ent://SD_ILS/0/SD_ILS:147910 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cousins, Mark, 1972-&#160;Hepworth-Sawyer, Russ.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic : the theory of formal inference ent://SD_ILS/0/SD_ILS:740 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ambrose, Alice, 1906-&#160;Lazerowitz, Morris, ort. yaz.<br/>Yer Numaras&#305;&#160;BC 108 A55 1972<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Mathematical logic : A course with exercises ent://SD_ILS/0/SD_ILS:76678 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numaras&#305;&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Studies in inductive logic and probability ent://SD_ILS/0/SD_ILS:35499 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Carnap, Rudolf, 1891-1970.&#160;Jeffrey, Richard C., ed.<br/>Yer Numaras&#305;&#160;QA 273.4 C37 1971-<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Chance, love and logic : philosophical essays ent://SD_ILS/0/SD_ILS:67464 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Peirce, Charles Sanders, 1839-1914.&#160;Cohen, Morris Raphael, 1880-1947.&#160;Dewey, John, 1859-1952.<br/>Yer Numaras&#305;&#160;B 945.P43 C5 1923 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Data integration the relational logic approach ent://SD_ILS/0/SD_ILS:279149 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Genesereth, Michael R., 1948-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Discrete structures, logic, and computability ent://SD_ILS/0/SD_ILS:268313 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hein, James L.<br/>Yer Numaras&#305;&#160;QA76.9.M35 H44 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Fuzzy logic with engineering applications ent://SD_ILS/0/SD_ILS:304142 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ross, Timothy J.&#160;Wiley InterScience (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;John Wiley <a href="http://dx.doi.org/10.1002/9781119994374">http://dx.doi.org/10.1002/9781119994374</a> <a href="http://site.ebrary.com/lib/alltitles/Doc?id=10358927">http://site.ebrary.com/lib/alltitles/Doc?id=10358927</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fuzzy logic and hydrological modeling ent://SD_ILS/0/SD_ILS:287898 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;?en, Zek&iacute;.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic the question of truth ent://SD_ILS/0/SD_ILS:245516 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Heidegger, Martin, 1889-1976.&#160;Sheehan, Thomas.&#160;Project Muse.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modality metaphysics, logic, and epistemology ent://SD_ILS/0/SD_ILS:233513 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hale, Bob, 1945-&#160;Hoffmann, Aviv.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199565818.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Concise Introduction to Mathematical Logic ent://SD_ILS/0/SD_ILS:172186 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Rautenberg, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1221-3">http://dx.doi.org/10.1007/978-1-4419-1221-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Linguistic Fuzzy Logic Methods in Social Sciences ent://SD_ILS/0/SD_ILS:192305 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Arfi, Badredine. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13343-5">http://dx.doi.org/10.1007/978-3-642-13343-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Towards a Design Flow for Reversible Logic ent://SD_ILS/0/SD_ILS:205530 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Wille, Robert. author.&#160;Drechsler, Rolf. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9579-4">http://dx.doi.org/10.1007/978-90-481-9579-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Course in Mathematical Logic for Mathematicians ent://SD_ILS/0/SD_ILS:172015 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Manin, Yu. I. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0615-1">http://dx.doi.org/10.1007/978-1-4419-0615-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Designing social research : the logic of anticipation ent://SD_ILS/0/SD_ILS:390547 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Blaikie, Norman W. H., 1933-<br/>Yer Numaras&#305;&#160;H61 B53 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The rise of modern logic from Leibniz to Frege ent://SD_ILS/0/SD_ILS:256625 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gabbay, Dov M., 1945-&#160;Woods, John (John Hayden)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic ent://SD_ILS/0/SD_ILS:205323 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Du&#382;&iacute;, Marie. author.&#160;Jespersen, Bjorn. author.&#160;Materna, Pavel. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-8812-3">http://dx.doi.org/10.1007/978-90-481-8812-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The technique of controversy : principles of dynamic logic ent://SD_ILS/0/SD_ILS:72543 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bogoslovsky, Boris Basil, 1890-<br/>Yer Numaras&#305;&#160;BC 108 B65 1928 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The limits of science : outline of logic and of the methodology of the exact sciences ent://SD_ILS/0/SD_ILS:72557 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Chwistek, Leon, 1884-&#160;Brodie, Helen Charlotte, 1915-<br/>Yer Numaras&#305;&#160;Q 175 C494 1948 A (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Logic and Philosophy of Mathematics in the Early Husserl ent://SD_ILS/0/SD_ILS:205021 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Centrone, Stefania. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3246-1">http://dx.doi.org/10.1007/978-90-481-3246-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Postmodernism, or, The cultural logic of late capitalism ent://SD_ILS/0/SD_ILS:76042 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Jameson, Fredric.<br/>Yer Numaras&#305;&#160;PN 98.P67 J3 1991<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> The emotional and priestly logic of plural marriage ent://SD_ILS/0/SD_ILS:246738 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Flake, Kathleen.&#160;Project Muse.&#160;Merrill-Cazier Library. Special Collections &amp; Archives.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://muse.jhu.edu/books/9780874218039/">Full text available: </a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191936 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Blume, Matthias. editor.&#160;Kobayashi, Naoki. editor.&#160;Vidal, Germ&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192461 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dawar, Anuj. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192466 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Raedt, Luc. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13840-9">http://dx.doi.org/10.1007/978-3-642-13840-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information ent://SD_ILS/0/SD_ILS:192546 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cao, Tru Hoang. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14087-7">http://dx.doi.org/10.1007/978-3-642-14087-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192571 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Governatori, Guido. editor.&#160;Sartor, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192603 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Aloni, Maria. editor.&#160;Bastiaanse, Harald. editor.&#160;Jager, Tikitu. editor.&#160;Schulz, Katrin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP ent://SD_ILS/0/SD_ILS:192610 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dovier, Agostino. editor.&#160;Pontelli, Enrico. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14309-0">http://dx.doi.org/10.1007/978-3-642-14309-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery ent://SD_ILS/0/SD_ILS:192900 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Magnani, Lorenzo. editor.&#160;Carnielli, Walter. editor.&#160;Pizzi, Claudio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15223-8">http://dx.doi.org/10.1007/978-3-642-15223-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193232 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ferm&uuml;ller, Christian G. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193255 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:193440 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dix, J&uuml;rgen. editor.&#160;Fisher, Michael. editor.&#160;Nov&aacute;k, Peter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16867-3">http://dx.doi.org/10.1007/978-3-642-16867-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The civil rights movement and the logic of social change ent://SD_ILS/0/SD_ILS:277966 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Luders, Joseph E.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313291">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313291</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Simple formal logic with common-sense symbolic techniques ent://SD_ILS/0/SD_ILS:266011 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Vander Nat, Arnold.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203874523">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cuts and clouds vagueness, its nature, and its logic ent://SD_ILS/0/SD_ILS:234392 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dietz, Richard.&#160;Moruzzi, Sebastiano.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199570386.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199570386.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940 ent://SD_ILS/0/SD_ILS:231522 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Mancosu, Paolo.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cognition and conditionals probability and logic in human thinking ent://SD_ILS/0/SD_ILS:232741 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Oaksford, M. (Mike)&#160;Chater, Nick.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199233298.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199233298.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191856 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Escobar, Santiago. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192043 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Schreye, Danny. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12592-8">http://dx.doi.org/10.1007/978-3-642-12592-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach ent://SD_ILS/0/SD_ILS:192688 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Montali, Marco. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic and the Foundations of Game and Decision Theory &ndash; LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192881 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bonanno, Giacomo. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Hoek, Wiebe. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers ent://SD_ILS/0/SD_ILS:192749 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Icard, Thomas. editor.&#160;Muskens, Reinhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14729-6">http://dx.doi.org/10.1007/978-3-642-14729-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The logic of discipline global capitalism and the architecture of government ent://SD_ILS/0/SD_ILS:233350 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Roberts, Alasdair (Alasdair Scott)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195374988.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195374988.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications ent://SD_ILS/0/SD_ILS:172306 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Triantaphyllou, Evangelos. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-1630-3">http://dx.doi.org/10.1007/978-1-4419-1630-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fuzzy Logic-Based Algorithms for Video De-Interlacing ent://SD_ILS/0/SD_ILS:191449 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Brox, Piedad. author.&#160;Baturone, Iluminada. author.&#160;S&aacute;nchez-Solano, Santiago. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10695-8">http://dx.doi.org/10.1007/978-3-642-10695-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192894 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dawar, Anuj. editor.&#160;Veith, Helmut. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192832 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dix, J&uuml;rgen. editor.&#160;Leite, Jo&atilde;o. editor.&#160;Governatori, Guido. editor.&#160;Jamroga, Wojtek. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14977-1">http://dx.doi.org/10.1007/978-3-642-14977-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday ent://SD_ILS/0/SD_ILS:192849 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Blass, Andreas. editor.&#160;Dershowitz, Nachum. editor.&#160;Reisig, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15025-8">http://dx.doi.org/10.1007/978-3-642-15025-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Quantitative Logic and Soft Computing 2010 Volume 2 ent://SD_ILS/0/SD_ILS:193043 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cao, Bing-yuan. editor.&#160;Wang, Guo-jun. editor.&#160;Chen, Shui-li. editor.&#160;Guo, Si-zong. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15660-1">http://dx.doi.org/10.1007/978-3-642-15660-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25&ndash;May 1, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193623 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Clarke, Edmund M. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rational theory of international politics : the logic of competition and cooperation ent://SD_ILS/0/SD_ILS:374795 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Glaser, Charles L. (Charles Louis), 1954-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7t1j1">http://www.jstor.org/stable/10.2307/j.ctt7t1j1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The decision model a business logic framework linking business and technology ent://SD_ILS/0/SD_ILS:286056 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Von Halle, Barbara.&#160;Goldberg, Larry, 1946-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781420082821">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The multinational enterprise in developing countries local versus global logic ent://SD_ILS/0/SD_ILS:266437 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Molz, Rick.&#160;Ratiu, Catalin.&#160;Taleb, Ali.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203847053">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Why not kill them all? : the logic and prevention of mass political murder ent://SD_ILS/0/SD_ILS:375120 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Chirot, Daniel.&#160;McCauley, Clark R.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7pf8w">http://www.jstor.org/stable/10.2307/j.ctt7pf8w</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Category theory ent://SD_ILS/0/SD_ILS:278706 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Awodey, Steve, 1959-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375073</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Philosophy of Syntax Foundational Topics ent://SD_ILS/0/SD_ILS:205034 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Talasiewicz, Mieszko. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3288-1">http://dx.doi.org/10.1007/978-90-481-3288-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Natural Deduction, Hybrid Systems and Modal Logics ent://SD_ILS/0/SD_ILS:205315 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Indrzejczak, Andrzej. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logical Foundations of Proof Complexity ent://SD_ILS/0/SD_ILS:237834 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cook, Stephen.&#160;Nguyen, Phuong.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Kurt G&ouml;del Essays for his Centennial ent://SD_ILS/0/SD_ILS:236216 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Feferman, Solomon.&#160;Parsons, Charles.&#160;Simpson, Stephen G..<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Framework for Priority Arguments ent://SD_ILS/0/SD_ILS:236766 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Lerman, Manuel.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cleavage politics and the populist right the new cultural conflict in Western Europe ent://SD_ILS/0/SD_ILS:245962 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bornschier, Simon.&#160;Project Muse.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://muse.jhu.edu/books/9781439901946/">Full text available: </a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction ent://SD_ILS/0/SD_ILS:72527 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Nicod, Jean, 1893-1924.<br/>Yer Numaras&#305;&#160;QA 681 N5 1930 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Logical studies ent://SD_ILS/0/SD_ILS:72539 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Wright, Georg Henrik von, 1916-<br/>Yer Numaras&#305;&#160;BC 6 W72 1957 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> A treatise on induction and probability ent://SD_ILS/0/SD_ILS:55443 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Wright, Georg Henrik von, 1916-<br/>Yer Numaras&#305;&#160;BC 91 W72 1951 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The foundations of mathematics : and other logical essays ent://SD_ILS/0/SD_ILS:72541 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ramsey, Frank Plumpton, 1903-1930.&#160;Braithwaite, Richard Bevan, ed.<br/>Yer Numaras&#305;&#160;QA 9 R23 1931<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The nature of mathematics : a critical survey ent://SD_ILS/0/SD_ILS:72542 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Black, Max, 1909-<br/>Yer Numaras&#305;&#160;QA 9 B62 1933 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Cylindric algebras ent://SD_ILS/0/SD_ILS:46044 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Henkin, Leon.&#160;Monk, J. Donald, ort. yaz.&#160;Tarski, Alfred, ort. yaz.<br/>Yer Numaras&#305;&#160;QA 9 H415 1971- V.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> An examination of logical positivism ent://SD_ILS/0/SD_ILS:44223 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Weinberg, Julius Rudolf, 1908-<br/>Yer Numaras&#305;&#160;B 824.6 W434 1936 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Explaining Games The Epistemic Programme in Game Theory ent://SD_ILS/0/SD_ILS:170680 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;de Bruin, Boudewijn. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9906-9">http://dx.doi.org/10.1007/978-1-4020-9906-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bayku&#351; Krall&#305;&#287;&#305; efsanesi Legend of the guardians : the owls of Ga'Hoole ent://SD_ILS/0/SD_ILS:320562 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Snyder, Zack.&#160;Nalbandian, Zareh.&#160;Orloff, John.&#160;Stern, Emil.&#160;Mirren, Helen. seslendirme<br/>Yer Numaras&#305;&#160;PN1997.5 B39 2010<br/>Format:&#160;G&ouml;rsel Materyal<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:79068 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Akay, Metin, ed.&#160;IEEE Engineering in Medicine and Biology Society.<br/>Yer Numaras&#305;&#160;R 857.S47 N66 2000- V.2<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~3<br/> &#304;slam mant&#305;k tarihi ve Farabi mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:85159 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Keklik, Nihat.<br/>Yer Numaras&#305;&#160;BC 34 K4 1969-70<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Nonlinear biomedical signal processing ent://SD_ILS/0/SD_ILS:76943 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Akay, Metin.<br/>Yer Numaras&#305;&#160;QT 26.5 N813 2000-<br/>Format:&#160;Kitap<br/>Durum&#160;Sa&#287;l&#305;k Bilimleri K&uuml;t&uuml;phanesi~1<br/> Communication : a philosophical study of language ent://SD_ILS/0/SD_ILS:72500 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Britton, Karl, 1909-<br/>Yer Numaras&#305;&#160;P 105 B75 1939 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Dialectic ent://SD_ILS/0/SD_ILS:72501 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Adler, Mortimer Jerome, 1902-<br/>Yer Numaras&#305;&#160;BC 177 A4 1927 (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> The logical syntax of language ent://SD_ILS/0/SD_ILS:72509 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Carnap, Rudolf, 1891-1970.<br/>Yer Numaras&#305;&#160;BC 135 C323 1937 P (SET)<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia ent://SD_ILS/0/SD_ILS:188417 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Zermelo, Ernst. author.&#160;Ebbinghaus, Heinz-Dieter. editor.&#160;Fraser, Craig G. editor.&#160;Kanamori, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Einf&uuml;hrung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo ent://SD_ILS/0/SD_ILS:189998 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Deiser, Oliver. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01445-1">http://dx.doi.org/10.1007/978-3-642-01445-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logical Tools for Handling Change in Agent-Based Systems ent://SD_ILS/0/SD_ILS:190937 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gabbay, Dov M. author.&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04407-6">http://dx.doi.org/10.1007/978-3-642-04407-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191650 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Barthe, Gilles. editor.&#160;Hermenegildo, Manuel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11319-2">http://dx.doi.org/10.1007/978-3-642-11319-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191698 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Pnueli, Amir. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11486-1">http://dx.doi.org/10.1007/978-3-642-11486-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:191664 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Baldoni, Matteo. editor.&#160;Bentahar, Jamal. editor.&#160;Riemsdijk, M. Birna. editor.&#160;Lloyd, John. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&amp;DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191889 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;M&uuml;ller-Clostermann, Bruno. editor.&#160;Echtle, Klaus. editor.&#160;Rathgeb, Erwin P. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12104-3">http://dx.doi.org/10.1007/978-3-642-12104-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191741 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Wu, Yanwen. editor.&#160;Luo, Qi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11618-6">http://dx.doi.org/10.1007/978-3-642-11618-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:191939 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ghosh, Sudipto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191866 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Rosenblum, David S. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191867 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Lectures on Software Engineering LASER Summer School 2007/2008 ent://SD_ILS/0/SD_ILS:192186 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;M&uuml;ller, Peter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13010-6">http://dx.doi.org/10.1007/978-3-642-13010-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematics of Program Construction 10th International Conference, MPC 2010, Qu&eacute;bec City, Canada, June 21-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192298 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bolduc, Claude. editor.&#160;Desharnais, Jules. editor.&#160;Ktari, B&eacute;chir. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13321-3">http://dx.doi.org/10.1007/978-3-642-13321-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192342 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hatcliff, John. editor.&#160;Zucca, Elena. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13464-7">http://dx.doi.org/10.1007/978-3-642-13464-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192253 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ablayev, Farid. editor.&#160;Mayr, Ernst W. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13182-0">http://dx.doi.org/10.1007/978-3-642-13182-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192363 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Calude, Cristian S. editor.&#160;Hagiya, Masami. editor.&#160;Morita, Kenichi. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Timmis, Jon. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13523-1">http://dx.doi.org/10.1007/978-3-642-13523-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliable Software Technologiey &ndash; Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192372 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Real, Jorge. editor.&#160;Vardanega, Tullio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192417 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Tratt, Laurence. editor.&#160;Gogolla, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13688-7">http://dx.doi.org/10.1007/978-3-642-13688-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Time for Verification Essays in Memory of Amir Pnueli ent://SD_ILS/0/SD_ILS:192436 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Manna, Zohar. editor.&#160;Peled, Doron A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13754-9">http://dx.doi.org/10.1007/978-3-642-13754-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Research into Practice &ndash; Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192460 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Heineman, George T. editor.&#160;Kofron, Jan. editor.&#160;Plasil, Frantisek. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13821-8">http://dx.doi.org/10.1007/978-3-642-13821-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192532 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Baudry, Beno&icirc;t. editor.&#160;Wohlstadter, Eric. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14046-4">http://dx.doi.org/10.1007/978-3-642-14046-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192534 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Kaufmann, Matt. editor.&#160;Paulson, Lawrence C. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14052-5">http://dx.doi.org/10.1007/978-3-642-14052-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ECOOP 2010 &ndash; Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192552 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;D&rsquo;Hondt, Theo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14107-2">http://dx.doi.org/10.1007/978-3-642-14107-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192572 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Strichman, Ofer. editor.&#160;Szeider, Stefan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192577 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Giesl, J&uuml;rgen. editor.&#160;H&auml;hnle, Reiner. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192606 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Touili, Tayssir. editor.&#160;Cook, Byron. editor.&#160;Jackson, Paul. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14295-6">http://dx.doi.org/10.1007/978-3-642-14295-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192614 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ebert, Christian. editor.&#160;J&auml;ger, Gerhard. editor.&#160;Michaelis, Jens. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:192618 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Borba, Paulo. editor.&#160;Cavalcanti, Ana. editor.&#160;Sampaio, Augusto. editor.&#160;Woodcook, Jim. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> New Modeling Concepts for Today&rsquo;s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192622 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;M&uuml;nch, J&uuml;rgen. editor.&#160;Yang, Ye. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192660 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gao, Yuan. editor.&#160;Lu, Hanlin. editor.&#160;Seki, Shinnosuke. editor.&#160;Yu, Sheng. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14455-4">http://dx.doi.org/10.1007/978-3-642-14455-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192904 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hinchey, Mike. editor.&#160;Kleinjohann, Bernd. editor.&#160;Kleinjohann, Lisa. editor.&#160;Lindsay, Peter A. editor.&#160;Rammig, Franz J. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192906 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Calude, Cristian S. editor.&#160;Sassone, Vladimiro. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192925 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Chatterjee, Krishnendu. editor.&#160;Henzinger, Thomas A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192933 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Tempesti, Gianluca. editor.&#160;Tyrrell, Andy M. editor.&#160;Miller, Julian F. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15323-5">http://dx.doi.org/10.1007/978-3-642-15323-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192865 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Babar, Muhammad Ali. editor.&#160;Gorton, Ian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15114-9">http://dx.doi.org/10.1007/978-3-642-15114-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192935 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Eekelen, Marko. editor.&#160;Shkaravska, Olha. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling ent://SD_ILS/0/SD_ILS:193180 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Katz, Shmuel. editor.&#160;Mezini, Mira. editor.&#160;Kienzle, J&ouml;rg. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16086-8">http://dx.doi.org/10.1007/978-3-642-16086-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193187 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hutter, Marcus. editor.&#160;Stephan, Frank. editor.&#160;Vovk, Vladimir. editor.&#160;Zeugmann, Thomas. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16108-7">http://dx.doi.org/10.1007/978-3-642-16108-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193121 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Kowalewski, Stefan. editor.&#160;Roveri, Marco. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15898-8">http://dx.doi.org/10.1007/978-3-642-15898-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27&ndash;October 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193130 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ehrig, Hartmut. editor.&#160;Rensink, Arend. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193240 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;M&eacute;ry, Dominique. editor.&#160;Merz, Stephan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Conceptual Modeling &ndash; ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193275 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Parsons, Jeffrey. editor.&#160;Saeki, Motoshi. editor.&#160;Shoval, Peretz. editor.&#160;Woo, Carson. editor.&#160;Wand, Yair. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16373-9">http://dx.doi.org/10.1007/978-3-642-16373-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193496 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Hallerstede, Stefan. editor.&#160;Leuschel, Michael. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Genetics and randomness ent://SD_ILS/0/SD_ILS:288786 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ruvinsky, Anatoly.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781420078879">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Critical thinking a concise guide ent://SD_ILS/0/SD_ILS:265021 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bowell, Tracy, 1965-&#160;Kemp, Gary, 1960 Oct. 15-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203874134">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design ent://SD_ILS/0/SD_ILS:288823 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.)&#160;El-Halwagi, Mahmoud M., 1962-&#160;Linninger, Andreas A.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781439809136">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Roads to infinity the mathematics of truth and proof ent://SD_ILS/0/SD_ILS:289852 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Stillwell, John.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The primacy of grammar ent://SD_ILS/0/SD_ILS:239572 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Mukherji, Nirmalangshu.&#160;Project Muse.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Designing Dynamic Circuit Response (Analog Circuit Design Series Volume 2) ent://SD_ILS/0/SD_ILS:248001 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Feucht, D.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1049/SBCS014E">http://dx.doi.org/10.1049/SBCS014E</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Designing Waveform-Processing Circuits (Analog Circuit Design Series Volume 4) ent://SD_ILS/0/SD_ILS:248003 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Feucht, D.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1049/SBCS016E">http://dx.doi.org/10.1049/SBCS016E</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebraic Theories A Categorical Introduction to General Algebra ent://SD_ILS/0/SD_ILS:239089 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ad&aacute;mek, J..&#160;Rosick&yacute;, J..&#160;Vitale, E. M..&#160;Lawvere, F. W..<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cognitive Reasoning A Formal Approach ent://SD_ILS/0/SD_ILS:185626 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gergely, Tam&aacute;s. author.&#160;Anshakov, Oleg M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> EPSA Epistemology and Methodology of Science Launch of the European Philosophy of Science Association ent://SD_ILS/0/SD_ILS:205027 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Su&aacute;rez, Mauricio. editor.&#160;Dorato, Mauro. editor.&#160;R&eacute;dei, Mikl&oacute;s. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3263-8">http://dx.doi.org/10.1007/978-90-481-3263-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Singular Reference: A Descriptivist Perspective ent://SD_ILS/0/SD_ILS:205041 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Orilia, Francesco. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3312-3">http://dx.doi.org/10.1007/978-90-481-3312-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Propositions, functions, and analysis selected essays on Russell's philosophy ent://SD_ILS/0/SD_ILS:231578 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hylton, Peter.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199286355.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Truth through proof a formalist foundation for mathematics ent://SD_ILS/0/SD_ILS:233257 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Weir, Alan.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FPGAs 101 everything you need to know to get started ent://SD_ILS/0/SD_ILS:145857 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Smith, Gina R.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177061">http://www.sciencedirect.com/science/book/9781856177061</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems ent://SD_ILS/0/SD_ILS:191827 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Puppis, Gabriele. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191841 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Schmid, Ute. editor.&#160;Kitzelmann, Emanuel. editor.&#160;Plasmeijer, Rinus. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191847 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gordon, Andrew D. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191754 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Janowski, Tomasz. editor.&#160;Mohanty, Hrushikesha. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11659-9">http://dx.doi.org/10.1007/978-3-642-11659-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192215 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dediu, Adrian-Horia. editor.&#160;Fernau, Henning. editor.&#160;Mart&iacute;n-Vide, Carlos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13089-2">http://dx.doi.org/10.1007/978-3-642-13089-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192376 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Kratochv&iacute;l, Jan. editor.&#160;Li, Angsheng. editor.&#160;Fiala, Ji&#345;&iacute;. editor.&#160;Kolman, Petr. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192385 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;K&uuml;hne, Thomas. editor.&#160;Selic, Bran. editor.&#160;Gervais, Marie-Pierre. editor.&#160;Terrier, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192412 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Lilius, Johan. editor.&#160;Penczek, Wojciech. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13675-7">http://dx.doi.org/10.1007/978-3-642-13675-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192270 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Grunske, Lars. editor.&#160;Reussner, Ralf. editor.&#160;Plasil, Frantisek. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13238-4">http://dx.doi.org/10.1007/978-3-642-13238-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, M&aacute;laga, Spain, June 28&ndash;July 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192502 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Vitek, Jan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13953-6">http://dx.doi.org/10.1007/978-3-642-13953-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tests and Proofs 4th International Conference, TAP 2010, M&aacute;laga, Spain, July 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192510 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Fraser, Gordon. editor.&#160;Gargantini, Angelo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics ent://SD_ILS/0/SD_ILS:192678 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Platzer, Andr&eacute;. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192682 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Butterfield, Andrew. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14521-6">http://dx.doi.org/10.1007/978-3-642-14521-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192693 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Lee, Der-Tsai. editor.&#160;Chen, Danny Z. editor.&#160;Ying, Shi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192878 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hlin&#283;n&yacute;, Petr. editor.&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192736 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Yli-Jyr&auml;, Anssi. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Sakarovitch, Jacques. editor.&#160;Watson, Bruce. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14684-8">http://dx.doi.org/10.1007/978-3-642-14684-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> EPSA Philosophical Issues in the Sciences Launch of the European Philosophy of Science Association ent://SD_ILS/0/SD_ILS:205023 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Su&aacute;rez, Mauricio. editor.&#160;Dorato, Mauro. editor.&#160;R&eacute;dei, Mikl&oacute;s. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3252-2">http://dx.doi.org/10.1007/978-90-481-3252-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Vienna Circle in the Nordic Countries ent://SD_ILS/0/SD_ILS:205151 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Manninen, Juha. editor.&#160;Stadler, Friedrich. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3683-4">http://dx.doi.org/10.1007/978-90-481-3683-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Phenomenology and Mathematics ent://SD_ILS/0/SD_ILS:205165 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hartimo, Mirja. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3729-9">http://dx.doi.org/10.1007/978-90-481-3729-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty ent://SD_ILS/0/SD_ILS:205508 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cummings, Louise. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9504-6">http://dx.doi.org/10.1007/978-90-481-9504-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Minds, ethics, and conditionals themes from the philosophy of Frank Jackson ent://SD_ILS/0/SD_ILS:230712 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ravenscroft, Ian.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780199267989.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780199267989.001.0001</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Legal and political hermeneutics : or principles of interpretation and construction in law and politics, with remarks on precedents and authorities ent://SD_ILS/0/SD_ILS:134593 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Lieber, Francis.<br/>Yer Numaras&#305;&#160;K290 L54 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Hukuk K&uuml;t&uuml;phanesi~2<br/> Teaching mathematical reasoning in secondary school classrooms ent://SD_ILS/0/SD_ILS:134611 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Brodie, Karin.&#160;Coetzee, Kurt.<br/>Yer Numaras&#305;&#160;QA8.7 B76 2010<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Handbook of Set Theory ent://SD_ILS/0/SD_ILS:169590 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Foreman, Matthew. editor.&#160;Kanamori, Akihiro. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5764-9">http://dx.doi.org/10.1007/978-1-4020-5764-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The P=NP Question and G&ouml;del&rsquo;s Lost Letter ent://SD_ILS/0/SD_ILS:172787 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Lipton, Richard J. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematische Logik ent://SD_ILS/0/SD_ILS:176698 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ziegler, Martin. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-0346-0652-3">http://dx.doi.org/10.1007/978-3-0346-0652-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cardinal Invariants on Boolean Algebras ent://SD_ILS/0/SD_ILS:176670 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Monk, J. Donald. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-0346-0334-8">http://dx.doi.org/10.1007/978-3-0346-0334-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191704 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Carro, Manuel. editor.&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever ent://SD_ILS/0/SD_ILS:191706 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dams, Dennis. editor.&#160;Hannemann, Ulrich. editor.&#160;Steffen, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11512-7">http://dx.doi.org/10.1007/978-3-642-11512-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191707 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Patt, Yale N. editor.&#160;Foglia, Pierfrancesco. editor.&#160;Duesterwald, Evelyn. editor.&#160;Faraboschi, Paolo. editor.&#160;Martorell, Xavier. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11515-8">http://dx.doi.org/10.1007/978-3-642-11515-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191890 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Brand, Mark. editor.&#160;Ga&scaron;evi&#263;, Dragan. editor.&#160;Gray, Jeff. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191800 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;England, David. editor.&#160;Palanque, Philippe. editor.&#160;Vanderdonckt, Jean. editor.&#160;Wild, Peter J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11797-8">http://dx.doi.org/10.1007/978-3-642-11797-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191802 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Monteiro, Jos&eacute;. editor.&#160;Leuken, Ren&eacute;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191805 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Frappier, Marc. editor.&#160;Gl&auml;sser, Uwe. editor.&#160;Khurshid, Sarfraz. editor.&#160;Laleau, R&eacute;gine. editor.&#160;Reeves, Steve. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11811-1">http://dx.doi.org/10.1007/978-3-642-11811-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191810 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Link, Sebastian. editor.&#160;Prade, Henri. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11829-6">http://dx.doi.org/10.1007/978-3-642-11829-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Banach Spaces and Descriptive Set Theory: Selected Topics ent://SD_ILS/0/SD_ILS:191905 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dodos, Pandelis. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12153-1">http://dx.doi.org/10.1007/978-3-642-12153-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191743 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Arbab, Farhad. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11623-0">http://dx.doi.org/10.1007/978-3-642-11623-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191857 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Esparza, Javier. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:192779 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Maciaszek, Leszek A. editor.&#160;Gonz&aacute;lez-P&eacute;rez, C&eacute;sar. editor.&#160;Jablonski, Stefan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14819-4">http://dx.doi.org/10.1007/978-3-642-14819-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192858 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Leavens, Gary T. editor.&#160;O&rsquo;Hearn, Peter. editor.&#160;Rajamani, Sriram K. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192941 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15349-5">http://dx.doi.org/10.1007/978-3-642-15349-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192949 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Gastin, Paul. editor.&#160;Laroussinie, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15375-4">http://dx.doi.org/10.1007/978-3-642-15375-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles and Practice of Constraint Programming &ndash; CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192956 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Cohen, David. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15396-9">http://dx.doi.org/10.1007/978-3-642-15396-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing &ndash; Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193017 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bottaci, Leonardo. editor.&#160;Fraser, Gordon. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15585-7">http://dx.doi.org/10.1007/978-3-642-15585-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193028 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Hull, Richard. editor.&#160;Mendling, Jan. editor.&#160;Tai, Stefan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15618-2">http://dx.doi.org/10.1007/978-3-642-15618-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193037 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Bouajjani, Ahmed. editor.&#160;Chin, Wei-Ngan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15643-4">http://dx.doi.org/10.1007/978-3-642-15643-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193048 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Janhunen, Tomi. editor.&#160;Niemel&auml;, Ilkka. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193051 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Lee, Mong Li. editor.&#160;Yu, Jeffrey Xu. editor.&#160;Bellahs&egrave;ne, Zohra. editor.&#160;Unland, Rainer. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193083 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Aldini, Alessandro. editor.&#160;Bernardo, Marco. editor.&#160;Bononi, Luciano. editor.&#160;Cortellessa, Vittorio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15784-4">http://dx.doi.org/10.1007/978-3-642-15784-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193206 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Pol, Jaco. editor.&#160;Weber, Michael. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193211 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Dix, J&uuml;rgen. editor.&#160;Witteveen, Cees. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16178-0">http://dx.doi.org/10.1007/978-3-642-16178-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193169 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Blesa, Mar&iacute;a J. editor.&#160;Blum, Christian. editor.&#160;Raidl, G&uuml;nther. editor.&#160;Roli, Andrea. editor.&#160;Sampels, Michael. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16054-7">http://dx.doi.org/10.1007/978-3-642-16054-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193335 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16558-0">http://dx.doi.org/10.1007/978-3-642-16558-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193336 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16561-0">http://dx.doi.org/10.1007/978-3-642-16561-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193340 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Petrenko, Alexandre. editor.&#160;Sim&atilde;o, Adenilso. editor.&#160;Maldonado, Jos&eacute; Carlos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193354 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Barringer, Howard. editor.&#160;Falcone, Ylies. editor.&#160;Finkbeiner, Bernd. editor.&#160;Havelund, Klaus. editor.&#160;Lee, Insup. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16612-9">http://dx.doi.org/10.1007/978-3-642-16612-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193377 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Qin, Shengchao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16690-7">http://dx.doi.org/10.1007/978-3-642-16690-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193511 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Ueda, Kazunori. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:193514 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Siegler, Simon. editor.&#160;Wasser, Nathan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Architecting Dependable Systems VII ent://SD_ILS/0/SD_ILS:193541 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Casimiro, Antonio. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Gacek, Cristina. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17245-8">http://dx.doi.org/10.1007/978-3-642-17245-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday ent://SD_ILS/0/SD_ILS:193568 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Engels, Gregor. editor.&#160;Lewerentz, Claus. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;Westfechtel, Bernhard. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17322-6">http://dx.doi.org/10.1007/978-3-642-17322-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom&aacute;rno, Slovakia, May 25-30, 2009, Revised Selected Lectures ent://SD_ILS/0/SD_ILS:193677 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Horv&aacute;th, Zolt&aacute;n. editor.&#160;Plasmeijer, Rinus. editor.&#160;Zs&oacute;k, Vikt&oacute;ria. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service Research Challenges and Solutions for the Future Internet S-Cube &ndash; Towards Engineering, Managing and Adapting Service-Based Systems ent://SD_ILS/0/SD_ILS:193650 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Papazoglou, Mike P. editor.&#160;Pohl, Klaus. editor.&#160;Parkin, Michael. editor.&#160;Metzger, Andreas. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> VHDL 101 everything you need to know to get started ent://SD_ILS/0/SD_ILS:146777 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Kafig, William.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177047">http://www.sciencedirect.com/science/book/9781856177047</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Speech Processing in Embedded Systems ent://SD_ILS/0/SD_ILS:167277 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Sinha, Priyabrata. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-0-387-75581-6">http://dx.doi.org/10.1007/978-0-387-75581-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson ent://SD_ILS/0/SD_ILS:166574 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Chudnovsky, David. editor.&#160;Chudnovsky, Gregory. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68361-4">http://dx.doi.org/10.1007/978-0-387-68361-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Understanding Concurrent Systems ent://SD_ILS/0/SD_ILS:175934 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Roscoe, A.W. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-258-0">http://dx.doi.org/10.1007/978-1-84882-258-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The responsibility of the philosopher ent://SD_ILS/0/SD_ILS:375055 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Vattimo, Gianni, 1936-&#160;D'Agostini, Franca, 1952-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.7312/vatt15242">http://www.jstor.org/stable/10.7312/vatt15242</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Molecular symmetry and fuzzy symmetry ent://SD_ILS/0/SD_ILS:280763 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Zhao, Xuezhuang.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=540316">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=540316</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-sensor data fusion with MATLAB ent://SD_ILS/0/SD_ILS:285063 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Raol, J. R. (Jitendra R.), 1947-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781439800058">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Intelligent control systems with an introduction to system of systems engineering ent://SD_ILS/0/SD_ILS:285084 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Nanayakkara, Thrishantha.&#160;Jamshidi, Mohammad.&#160;Sahin, Ferat.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781420079258">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The philosophy of logical atomism ent://SD_ILS/0/SD_ILS:263984 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Russell, Bertrand, 1872-1970.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203864777">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical reasoning patterns, problems, conjectures, and proofs ent://SD_ILS/0/SD_ILS:265616 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Nickerson, Raymond S.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The force of argument essays in honor of Timothy Smiley ent://SD_ILS/0/SD_ILS:265785 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Smiley, T. J. (Timothy John)&#160;Lear, Jonathan.&#160;Oliver, Alex.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.tandfebooks.com/isbn/9780203859810">Click here to view</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ends of empire : Asian American critique and the Cold War ent://SD_ILS/0/SD_ILS:374825 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Kim, Jodi, 1970-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.5749/j.ctttsf9b">http://www.jstor.org/stable/10.5749/j.ctttsf9b</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Nonplussed! : mathematical proof of implausible ideas ent://SD_ILS/0/SD_ILS:374983 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Havil, Julian, 1952-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt7t03s">http://www.jstor.org/stable/10.2307/j.ctt7t03s</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Buddhist philosophy of language in India : J&ntilde;&#257;na&#347;r&#299;mitra on exclusion ent://SD_ILS/0/SD_ILS:375071 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;McCrea, Lawrence J.&#160;Patil, Parimal G.&#160;J&ntilde;&#257;na&#347;r&#299;mitra. Apohaprakara&#7751;a. English &amp; Sanskrit.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.7312/mccr15094">http://www.jstor.org/stable/10.7312/mccr15094</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Inside the red box : North Korea's post-totalitarian politics ent://SD_ILS/0/SD_ILS:375077 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;McEachern, Patrick, 1980-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.7312/mcea15322">http://www.jstor.org/stable/10.7312/mcea15322</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Origins : on the genesis of psychic reality ent://SD_ILS/0/SD_ILS:375944 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Mills, Jon, 1964-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.2307/j.ctt80nn2">http://www.jstor.org/stable/10.2307/j.ctt80nn2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dialectical Passions : Negation in Postwar Art Theory. ent://SD_ILS/0/SD_ILS:377036 2024-12-25T01:10:18Z 2024-12-25T01:10:18Z Yazar&#160;Day, Gail.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://www.jstor.org/stable/10.7312/day-14938">http://www.jstor.org/stable/10.7312/day-14938</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>