Arama Sonuçları Logic. - Daraltılmış: 2010SirsiDynix Enterprisehttps://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=list2024-12-25T01:10:18ZLogic Colloquium 2007ent://SD_ILS/0/SD_ILS:2367832024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511778421">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic the basicsent://SD_ILS/0/SD_ILS:2665482024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Beall, J. C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203851555">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:7482024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Suppes, Patrick Colonel, 1922-<br/>Yer Numarası BC 108 S85 1957<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Programmable logic controllersent://SD_ILS/0/SD_ILS:3861202024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bolton, W. (William), 1933-<br/>Yer Numarası TJ223.P76 B65 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to logicent://SD_ILS/0/SD_ILS:2665622024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gensler, Harry J., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203855003">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in modal logicent://SD_ILS/0/SD_ILS:780632024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kracht, Marcus, ed.<br/>Yer Numarası BC 199.M6 A38 1998- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The science of logicent://SD_ILS/0/SD_ILS:2683872024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hegel, Georg Wilhelm Friedrich. Di Giovanni, George, 1935-<br/>Yer Numarası B2942.E5 D5 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The science of logicent://SD_ILS/0/SD_ILS:1445262024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hegel, Georg Wilhelm Friedrich, 1770-1831. Di Giovanni, George, 1935-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of practiceent://SD_ILS/0/SD_ILS:905572024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bourdieu, Pierre, 1930-2002<br/>Yer Numarası GN 468 B6813 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:1982152024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Pro 9 audio and music productionent://SD_ILS/0/SD_ILS:1479102024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cousins, Mark, 1972- Hepworth-Sawyer, Russ.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240521930">http://www.sciencedirect.com/science/book/9780240521930</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic : the theory of formal inferenceent://SD_ILS/0/SD_ILS:7402024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Studies in inductive logic and probabilityent://SD_ILS/0/SD_ILS:354992024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.<br/>Yer Numarası QA 273.4 C37 1971-<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Chance, love and logic : philosophical essaysent://SD_ILS/0/SD_ILS:674642024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.<br/>Yer Numarası B 945.P43 C5 1923 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Data integration the relational logic approachent://SD_ILS/0/SD_ILS:2791492024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Genesereth, Michael R., 1948-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete structures, logic, and computabilityent://SD_ILS/0/SD_ILS:2683132024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Fuzzy logic with engineering applicationsent://SD_ILS/0/SD_ILS:3041422024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ross, Timothy J. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy logic and hydrological modelingent://SD_ILS/0/SD_ILS:2878982024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar ?en, Zekí.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439809402">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic the question of truthent://SD_ILS/0/SD_ILS:2455162024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Heidegger, Martin, 1889-1976. Sheehan, Thomas. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780253004451/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modality metaphysics, logic, and epistemologyent://SD_ILS/0/SD_ILS:2335132024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hale, Bob, 1945- Hoffmann, Aviv.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:1721862024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linguistic Fuzzy Logic Methods in Social Sciencesent://SD_ILS/0/SD_ILS:1923052024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Arfi, Badredine. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Towards a Design Flow for Reversible Logicent://SD_ILS/0/SD_ILS:2055302024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Course in Mathematical Logic for Mathematiciansent://SD_ILS/0/SD_ILS:1720152024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Manin, Yu. I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing social research : the logic of anticipationent://SD_ILS/0/SD_ILS:3905472024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Blaikie, Norman W. H., 1933-<br/>Yer Numarası H61 B53 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The rise of modern logic from Leibniz to Fregeent://SD_ILS/0/SD_ILS:2566252024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gabbay, Dov M., 1945- Woods, John (John Hayden)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444516114">http://www.sciencedirect.com/science/book/9780444516114</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logicent://SD_ILS/0/SD_ILS:2053232024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The technique of controversy : principles of dynamic logicent://SD_ILS/0/SD_ILS:725432024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bogoslovsky, Boris Basil, 1890-<br/>Yer Numarası BC 108 B65 1928 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The limits of science : outline of logic and of the methodology of the exact sciencesent://SD_ILS/0/SD_ILS:725572024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-<br/>Yer Numarası Q 175 C494 1948 A (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic and Philosophy of Mathematics in the Early Husserlent://SD_ILS/0/SD_ILS:2050212024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Centrone, Stefania. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Postmodernism, or, The cultural logic of late capitalisment://SD_ILS/0/SD_ILS:760422024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Jameson, Fredric.<br/>Yer Numarası PN 98.P67 J3 1991<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>The emotional and priestly logic of plural marriageent://SD_ILS/0/SD_ILS:2467382024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Flake, Kathleen. Project Muse. Merrill-Cazier Library. Special Collections & Archives.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780874218039/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1919362024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924612024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papersent://SD_ILS/0/SD_ILS:1924662024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Raedt, Luc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Informationent://SD_ILS/0/SD_ILS:1925462024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cao, Tru Hoang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925712024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1926032024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULPent://SD_ILS/0/SD_ILS:1926102024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discoveryent://SD_ILS/0/SD_ILS:1929002024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932322024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Papersent://SD_ILS/0/SD_ILS:1932552024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1934402024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The civil rights movement and the logic of social changeent://SD_ILS/0/SD_ILS:2779662024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Luders, Joseph E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple formal logic with common-sense symbolic techniquesent://SD_ILS/0/SD_ILS:2660112024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Vander Nat, Arnold.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203874523">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cuts and clouds vagueness, its nature, and its logicent://SD_ILS/0/SD_ILS:2343922024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dietz, Richard. Moruzzi, Sebastiano.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The adventure of reason interplay between philosophy of mathematics and mathematical logic, 1900-1940ent://SD_ILS/0/SD_ILS:2315222024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Mancosu, Paolo.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cognition and conditionals probability and logic in human thinkingent://SD_ILS/0/SD_ILS:2327412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Oaksford, M. (Mike) Chater, Nick.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918562024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Escobar, Santiago. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1920432024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Schreye, Danny. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification and Verification of Declarative Open Interaction Models A Logic-Based Approachent://SD_ILS/0/SD_ILS:1926882024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Montali, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1928812024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papersent://SD_ILS/0/SD_ILS:1927492024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Icard, Thomas. editor. Muskens, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The logic of discipline global capitalism and the architecture of governmentent://SD_ILS/0/SD_ILS:2333502024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Roberts, Alasdair (Alasdair Scott)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applicationsent://SD_ILS/0/SD_ILS:1723062024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Triantaphyllou, Evangelos. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic-Based Algorithms for Video De-Interlacingent://SD_ILS/0/SD_ILS:1914492024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928942024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928322024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:1928492024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative Logic and Soft Computing 2010 Volume 2ent://SD_ILS/0/SD_ILS:1930432024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1936232024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rational theory of international politics : the logic of competition and cooperationent://SD_ILS/0/SD_ILS:3747952024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Glaser, Charles L. (Charles Louis), 1954-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7t1j1">http://www.jstor.org/stable/10.2307/j.ctt7t1j1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The decision model a business logic framework linking business and technologyent://SD_ILS/0/SD_ILS:2860562024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Von Halle, Barbara. Goldberg, Larry, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420082821">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The multinational enterprise in developing countries local versus global logicent://SD_ILS/0/SD_ILS:2664372024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Molz, Rick. Ratiu, Catalin. Taleb, Ali.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203847053">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Why not kill them all? : the logic and prevention of mass political murderent://SD_ILS/0/SD_ILS:3751202024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Chirot, Daniel. McCauley, Clark R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7pf8w">http://www.jstor.org/stable/10.2307/j.ctt7pf8w</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Category theoryent://SD_ILS/0/SD_ILS:2787062024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Awodey, Steve, 1959-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Philosophy of Syntax Foundational Topicsent://SD_ILS/0/SD_ILS:2050342024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Talasiewicz, Mieszko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Natural Deduction, Hybrid Systems and Modal Logicsent://SD_ILS/0/SD_ILS:2053152024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Proof Complexityent://SD_ILS/0/SD_ILS:2378342024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cook, Stephen. Nguyen, Phuong.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511676277">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Kurt Gödel Essays for his Centennialent://SD_ILS/0/SD_ILS:2362162024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511750762">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Framework for Priority Argumentsent://SD_ILS/0/SD_ILS:2367662024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Lerman, Manuel.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511750779">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cleavage politics and the populist right the new cultural conflict in Western Europeent://SD_ILS/0/SD_ILS:2459622024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bornschier, Simon. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9781439901946/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of inductionent://SD_ILS/0/SD_ILS:725272024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Nicod, Jean, 1893-1924.<br/>Yer Numarası QA 681 N5 1930 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logical studiesent://SD_ILS/0/SD_ILS:725392024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 6 W72 1957 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>A treatise on induction and probabilityent://SD_ILS/0/SD_ILS:554432024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Wright, Georg Henrik von, 1916-<br/>Yer Numarası BC 91 W72 1951 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The foundations of mathematics : and other logical essaysent://SD_ILS/0/SD_ILS:725412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.<br/>Yer Numarası QA 9 R23 1931<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The nature of mathematics : a critical surveyent://SD_ILS/0/SD_ILS:725422024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Black, Max, 1909-<br/>Yer Numarası QA 9 B62 1933 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Cylindric algebrasent://SD_ILS/0/SD_ILS:460442024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.<br/>Yer Numarası QA 9 H415 1971- V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>An examination of logical positivisment://SD_ILS/0/SD_ILS:442232024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Weinberg, Julius Rudolf, 1908-<br/>Yer Numarası B 824.6 W434 1936 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Explaining Games The Epistemic Programme in Game Theoryent://SD_ILS/0/SD_ILS:1706802024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar de Bruin, Boudewijn. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Baykuş Krallığı efsanesi Legend of the guardians : the owls of Ga'Hooleent://SD_ILS/0/SD_ILS:3205622024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Snyder, Zack. Nalbandian, Zareh. Orloff, John. Stern, Emil. Mirren, Helen. seslendirme<br/>Yer Numarası PN1997.5 B39 2010<br/>Format: Görsel Materyal<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:790682024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.<br/>Yer Numarası R 857.S47 N66 2000- V.2<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~3<br/>İslam mantık tarihi ve Farabi mantığıent://SD_ILS/0/SD_ILS:851592024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Keklik, Nihat.<br/>Yer Numarası BC 34 K4 1969-70<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Nonlinear biomedical signal processingent://SD_ILS/0/SD_ILS:769432024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Akay, Metin.<br/>Yer Numarası QT 26.5 N813 2000-<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>Communication : a philosophical study of languageent://SD_ILS/0/SD_ILS:725002024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Britton, Karl, 1909-<br/>Yer Numarası P 105 B75 1939 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Dialecticent://SD_ILS/0/SD_ILS:725012024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Adler, Mortimer Jerome, 1902-<br/>Yer Numarası BC 177 A4 1927 (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The logical syntax of languageent://SD_ILS/0/SD_ILS:725092024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Carnap, Rudolf, 1891-1970.<br/>Yer Numarası BC 135 C323 1937 P (SET)<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Variaent://SD_ILS/0/SD_ILS:1884172024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermeloent://SD_ILS/0/SD_ILS:1899982024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Deiser, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Tools for Handling Change in Agent-Based Systemsent://SD_ILS/0/SD_ILS:1909372024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1916502024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papersent://SD_ILS/0/SD_ILS:1916982024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1916642024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918892024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1917412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papersent://SD_ILS/0/SD_ILS:1919392024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1918662024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1918672024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Lectures on Software Engineering LASER Summer School 2007/2008ent://SD_ILS/0/SD_ILS:1921862024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Müller, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922982024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1923422024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922532024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923632024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923722024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924172024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time for Verification Essays in Memory of Amir Pnuelient://SD_ILS/0/SD_ILS:1924362024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924602024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925322024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925342024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kaufmann, Matt. editor. Paulson, Lawrence C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925522024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar D’Hondt, Theo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925722024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925772024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926062024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Papersent://SD_ILS/0/SD_ILS:1926142024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:1926182024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926222024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926602024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gao, Yuan. editor. Lu, Hanlin. editor. Seki, Shinnosuke. editor. Yu, Sheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1929042024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1929062024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929252024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929332024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928652024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1929352024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modelingent://SD_ILS/0/SD_ILS:1931802024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931872024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hutter, Marcus. editor. Stephan, Frank. editor. Vovk, Vladimir. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931212024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931302024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932402024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932752024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papersent://SD_ILS/0/SD_ILS:1934962024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetics and randomnessent://SD_ILS/0/SD_ILS:2887862024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ruvinsky, Anatoly.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420078879">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical thinking a concise guideent://SD_ILS/0/SD_ILS:2650212024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bowell, Tracy, 1965- Kemp, Gary, 1960 Oct. 15-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203874134">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Designent://SD_ILS/0/SD_ILS:2888232024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439809136">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Roads to infinity the mathematics of truth and proofent://SD_ILS/0/SD_ILS:2898522024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Stillwell, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439865507">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The primacy of grammarent://SD_ILS/0/SD_ILS:2395722024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Mukherji, Nirmalangshu. Project Muse.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://muse.jhu.edu/books/9780262280310/">Full text available: </a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing Dynamic Circuit Response (Analog Circuit Design Series Volume 2)ent://SD_ILS/0/SD_ILS:2480012024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Feucht, D.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/SBCS014E">http://dx.doi.org/10.1049/SBCS014E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing Waveform-Processing Circuits (Analog Circuit Design Series Volume 4)ent://SD_ILS/0/SD_ILS:2480032024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Feucht, D.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/SBCS016E">http://dx.doi.org/10.1049/SBCS016E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Theories A Categorical Introduction to General Algebraent://SD_ILS/0/SD_ILS:2390892024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cognitive Reasoning A Formal Approachent://SD_ILS/0/SD_ILS:1856262024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>EPSA Epistemology and Methodology of Science Launch of the European Philosophy of Science Associationent://SD_ILS/0/SD_ILS:2050272024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Suárez, Mauricio. editor. Dorato, Mauro. editor. Rédei, Miklós. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Singular Reference: A Descriptivist Perspectiveent://SD_ILS/0/SD_ILS:2050412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Orilia, Francesco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Propositions, functions, and analysis selected essays on Russell's philosophyent://SD_ILS/0/SD_ILS:2315782024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hylton, Peter.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Truth through proof a formalist foundation for mathematicsent://SD_ILS/0/SD_ILS:2332572024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Weir, Alan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FPGAs 101 everything you need to know to get startedent://SD_ILS/0/SD_ILS:1458572024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Smith, Gina R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177061">http://www.sciencedirect.com/science/book/9781856177061</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systemsent://SD_ILS/0/SD_ILS:1918272024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Puppis, Gabriele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papersent://SD_ILS/0/SD_ILS:1918412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1918472024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917542024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922152024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923762024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923852024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1924122024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922702024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925022024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925102024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamicsent://SD_ILS/0/SD_ILS:1926782024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:1926822024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Butterfield, Andrew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926932024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928782024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1927362024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Yli-Jyrä, Anssi. editor. Kornai, András. editor. Sakarovitch, Jacques. editor. Watson, Bruce. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>EPSA Philosophical Issues in the Sciences Launch of the European Philosophy of Science Associationent://SD_ILS/0/SD_ILS:2050232024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Suárez, Mauricio. editor. Dorato, Mauro. editor. Rédei, Miklós. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Vienna Circle in the Nordic Countriesent://SD_ILS/0/SD_ILS:2051512024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Manninen, Juha. editor. Stadler, Friedrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Phenomenology and Mathematicsent://SD_ILS/0/SD_ILS:2051652024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hartimo, Mirja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertaintyent://SD_ILS/0/SD_ILS:2055082024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cummings, Louise. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Minds, ethics, and conditionals themes from the philosophy of Frank Jacksonent://SD_ILS/0/SD_ILS:2307122024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ravenscroft, Ian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Legal and political hermeneutics : or principles of interpretation and construction in law and politics, with remarks on precedents and authoritiesent://SD_ILS/0/SD_ILS:1345932024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Lieber, Francis.<br/>Yer Numarası K290 L54 2010<br/>Format: Kitap<br/>Durum Hukuk Kütüphanesi~2<br/>Teaching mathematical reasoning in secondary school classroomsent://SD_ILS/0/SD_ILS:1346112024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Brodie, Karin. Coetzee, Kurt.<br/>Yer Numarası QA8.7 B76 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Handbook of Set Theoryent://SD_ILS/0/SD_ILS:1695902024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The P=NP Question and Gödel’s Lost Letterent://SD_ILS/0/SD_ILS:1727872024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Lipton, Richard J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematische Logikent://SD_ILS/0/SD_ILS:1766982024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ziegler, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cardinal Invariants on Boolean Algebrasent://SD_ILS/0/SD_ILS:1766702024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Monk, J. Donald. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917042024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roeverent://SD_ILS/0/SD_ILS:1917062024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1917072024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Patt, Yale N. editor. Foglia, Pierfrancesco. editor. Duesterwald, Evelyn. editor. Faraboschi, Paolo. editor. Martorell, Xavier. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918902024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1918002024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Papersent://SD_ILS/0/SD_ILS:1918022024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918052024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1918102024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Banach Spaces and Descriptive Set Theory: Selected Topicsent://SD_ILS/0/SD_ILS:1919052024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dodos, Pandelis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917432024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:1918572024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Papersent://SD_ILS/0/SD_ILS:1927792024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928582024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929492024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929562024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Cohen, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930172024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930282024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930372024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930482024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930512024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930832024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932062024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1932112024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1931692024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 Ient://SD_ILS/0/SD_ILS:1933352024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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 IIent://SD_ILS/0/SD_ILS:1933362024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933402024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933542024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933772024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Qin, Shengchao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1935142024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecting Dependable Systems VIIent://SD_ILS/0/SD_ILS:1935412024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthdayent://SD_ILS/0/SD_ILS:1935682024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:1936772024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systemsent://SD_ILS/0/SD_ILS:1936502024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VHDL 101 everything you need to know to get startedent://SD_ILS/0/SD_ILS:1467772024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kafig, William.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781856177047">http://www.sciencedirect.com/science/book/9781856177047</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Speech Processing in Embedded Systemsent://SD_ILS/0/SD_ILS:1672772024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Sinha, Priyabrata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathansonent://SD_ILS/0/SD_ILS:1665742024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Concurrent Systemsent://SD_ILS/0/SD_ILS:1759342024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Roscoe, A.W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The responsibility of the philosopherent://SD_ILS/0/SD_ILS:3750552024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Vattimo, Gianni, 1936- D'Agostini, Franca, 1952-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7312/vatt15242">http://www.jstor.org/stable/10.7312/vatt15242</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Molecular symmetry and fuzzy symmetryent://SD_ILS/0/SD_ILS:2807632024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Zhao, Xuezhuang.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-sensor data fusion with MATLABent://SD_ILS/0/SD_ILS:2850632024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Raol, J. R. (Jitendra R.), 1947-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439800058">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent control systems with an introduction to system of systems engineeringent://SD_ILS/0/SD_ILS:2850842024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Nanayakkara, Thrishantha. Jamshidi, Mohammad. Sahin, Ferat.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420079258">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The philosophy of logical atomisment://SD_ILS/0/SD_ILS:2639842024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Russell, Bertrand, 1872-1970.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203864777">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical reasoning patterns, problems, conjectures, and proofsent://SD_ILS/0/SD_ILS:2656162024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Nickerson, Raymond S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203848029">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The force of argument essays in honor of Timothy Smileyent://SD_ILS/0/SD_ILS:2657852024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Smiley, T. J. (Timothy John) Lear, Jonathan. Oliver, Alex.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203859810">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ends of empire : Asian American critique and the Cold Warent://SD_ILS/0/SD_ILS:3748252024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Kim, Jodi, 1970-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.5749/j.ctttsf9b">http://www.jstor.org/stable/10.5749/j.ctttsf9b</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonplussed! : mathematical proof of implausible ideasent://SD_ILS/0/SD_ILS:3749832024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Havil, Julian, 1952-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7t03s">http://www.jstor.org/stable/10.2307/j.ctt7t03s</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Buddhist philosophy of language in India : Jñānaśrīmitra on exclusionent://SD_ILS/0/SD_ILS:3750712024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar McCrea, Lawrence J. Patil, Parimal G. Jñānaśrīmitra. Apohaprakaraṇa. English & Sanskrit.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7312/mccr15094">http://www.jstor.org/stable/10.7312/mccr15094</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Inside the red box : North Korea's post-totalitarian politicsent://SD_ILS/0/SD_ILS:3750772024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar McEachern, Patrick, 1980-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7312/mcea15322">http://www.jstor.org/stable/10.7312/mcea15322</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Origins : on the genesis of psychic realityent://SD_ILS/0/SD_ILS:3759442024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Mills, Jon, 1964-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt80nn2">http://www.jstor.org/stable/10.2307/j.ctt80nn2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dialectical Passions : Negation in Postwar Art Theory.ent://SD_ILS/0/SD_ILS:3770362024-12-25T01:10:18Z2024-12-25T01:10:18ZYazar Day, Gail.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.7312/day-14938">http://www.jstor.org/stable/10.7312/day-14938</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>