Arama Sonuçları Logic. - Daraltılmış: 2009

Logic Colloquium 2006

2024-11-25T11:17:09Z

Yazar Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to logic

2024-11-25T11:17:09Z

Yazar Suppes, Patrick Colonel, 1922-
Yer Numarası BC 108 S85 1957
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programmable logic controllers

2024-11-25T11:17:09Z

Yazar Bolton, W. (William), 1933-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Coalgebraic Logic

2024-11-25T11:17:09Z

Yazar Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02995-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in modal logic

2024-11-25T11:17:09Z

Yazar Kracht, Marcus, ed.
Yer Numarası BC 199.M6 A38 1998- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

The logic of practice

2024-11-25T11:17:09Z

Yazar Bourdieu, Pierre, 1930-2002
Yer Numarası GN 468 B6813 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic and Integer Programming

2024-11-25T11:17:09Z

Yazar Williams, H. Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-92280-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games: Unifying Logic, Language, and Philosophy

2024-11-25T11:17:09Z

Yazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic : the theory of formal inference

2024-11-25T11:17:09Z

Yazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Yer Numarası BC 108 A55 1972
Format: Kitap
Durum Beytepe Kütüphanesi~1

Studies in inductive logic and probability

2024-11-25T11:17:09Z

Yazar Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Yer Numarası QA 273.4 C37 1971-
Format: Kitap
Durum Beytepe Kütüphanesi~1

Chance, love and logic : philosophical essays

2024-11-25T11:17:09Z

Yazar Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Yer Numarası B 945.P43 C5 1923 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mathematical logic : A course with exercises

2024-11-25T11:17:09Z

Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası QA 9 C742513 2000 PT.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

Neural Cell Behavior and Fuzzy Logic

2024-11-25T11:17:09Z

Yazar Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09543-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of quantum logic and quantum structures quantum logic

2024-11-25T11:17:09Z

Yazar Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444528698
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV

2024-11-25T11:17:09Z

Yazar Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Functions and Equations Examples and Exercises

2024-11-25T11:17:09Z

Yazar Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The theory of gambling and statistical logic

2024-11-25T11:17:09Z

Yazar Epstein, Richard A., 1927-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Neurocomputing: A Fuzzy Logic Approach

2024-11-25T11:17:09Z

Yazar Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88077-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of digital logic with VHDL design

2024-11-25T11:17:09Z

Yazar Brown, Stephen D. Vranesic, Zvonko G.
Yer Numarası TK7888.4 B76 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic Synthesis for FSM-Based Control Units

2024-11-25T11:17:09Z

Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04309-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Truth, etc. six lectures on ancient logic

2024-11-25T11:17:09Z

Yazar Barnes, Jonathan, 1942-
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199568178.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Practical Logic and Automated Reasoning

2024-11-25T11:17:09Z

Yazar Harrison, John.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The rise of modern logic from Leibniz to Frege

2024-11-25T11:17:09Z

Yazar Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The technique of controversy : principles of dynamic logic

2024-11-25T11:17:09Z

Yazar Bogoslovsky, Boris Basil, 1890-
Yer Numarası BC 108 B65 1928 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

The limits of science : outline of logic and of the methodology of the exact sciences

2024-11-25T11:17:09Z

Yazar Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Yer Numarası Q 175 C494 1948 A (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Postmodernism, or, The cultural logic of late capitalism

2024-11-25T11:17:09Z

Yazar Jameson, Fredric.
Yer Numarası PN 98.P67 J3 1991
Format: Kitap
Durum Beytepe Kütüphanesi~2

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-11-25T11:17:09Z

Yazar Solojentsev, Evgueni D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-77946-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference

2024-11-25T11:17:09Z

Yazar Goertzel, Ben. author. Iklé, Matthew. author. Goertzel, Izabela Freire. author. Heljakka, Ari. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76872-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04027-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The pyramid principle : logic in writing and thinking

2024-11-25T11:17:09Z

Yazar Minto, Barbara.
Yer Numarası PE1115 M54 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04893-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

2024-11-25T11:17:09Z

Yazar Noll, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-9586-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications

2024-11-25T11:17:09Z

Yazar Seising, Rudolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93802-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92701-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Hanus, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00515-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Bosch, Peter. editor. Gabelaia, David. editor. Lang, Jérôme. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00665-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00675-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Gesù, Vito. editor. Pal, Sankar Kumar. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02282-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

2024-11-25T11:17:09Z

Yazar Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02734-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02846-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications

2024-11-25T11:17:09Z

Yazar Celikyilmaz, Asli. author. Türksen, I. Burhan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89924-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02261-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Duverger's Law of Plurality Voting The Logic of Party Competition in Canada, India, the United Kingdom and the United States

2024-11-25T11:17:09Z

Yazar Bowler, Shaun. editor. Blais, André. editor. Grofman, Bernard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09720-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Missing Link in Cybernetics Logic and Continuity

2024-11-25T11:17:09Z

Yazar Andrew, Alex M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-75164-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof Theory for Fuzzy Logics

2024-11-25T11:17:09Z

Yazar Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Subsystems of Second Order Arithmetic

2024-11-25T11:17:09Z

Yazar Simpson, Stephen G..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Francis Bacon : duyumsamanın mantığı

2024-11-25T11:17:09Z

Yazar Deleuze, Gilles. Bacon, Francis. Batukan, Can. Erbay, Ece.
Yer Numarası ND497.B16 D413 2009
Format: Kitap
Durum Beytepe Kütüphanesi~2

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory

2024-11-25T11:17:09Z

Yazar Marquis, Jean-Pierre. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9384-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Golden Age of Polish Philosophy Kazimierz Twardowski’s Philosophical Legacy

2024-11-25T11:17:09Z

Yazar Lapointe, Sandra. editor. Wolénski, Jan. editor. Marion, Mathieu. editor. Miskiewicz, Wioletta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-2401-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A treatise on induction and probability

2024-11-25T11:17:09Z

Yazar Wright, Georg Henrik von, 1916-
Yer Numarası BC 91 W72 1951 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction

2024-11-25T11:17:09Z

Yazar Nicod, Jean, 1893-1924.
Yer Numarası QA 681 N5 1930 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logical studies

2024-11-25T11:17:09Z

Yazar Wright, Georg Henrik von, 1916-
Yer Numarası BC 6 W72 1957 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

The foundations of mathematics : and other logical essays

2024-11-25T11:17:09Z

Yazar Ramsey, Frank Plumpton, 1903-1930. Braithwaite, Richard Bevan, ed.
Yer Numarası QA 9 R23 1931
Format: Kitap
Durum Beytepe Kütüphanesi~1

The nature of mathematics : a critical survey

2024-11-25T11:17:09Z

Yazar Black, Max, 1909-
Yer Numarası QA 9 B62 1933 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Cylindric algebras

2024-11-25T11:17:09Z

Yazar Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Yer Numarası QA 9 H415 1971- V.1
Format: Kitap
Durum Beytepe Kütüphanesi~1

An examination of logical positivism

2024-11-25T11:17:09Z

Yazar Weinberg, Julius Rudolf, 1908-
Yer Numarası B 824.6 W434 1936 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logicism, Intuitionism, and Formalism What has Become of Them?

2024-11-25T11:17:09Z

Yazar Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Degrees of Belief

2024-11-25T11:17:09Z

Yazar Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9198-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nominalism and Its Aftermath: The Philosophy of Nelson Goodman

2024-11-25T11:17:09Z

Yazar Shottenkirk, Dena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9931-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Substantive Perspectivism An Essay on Philosophical Concern with Truth

2024-11-25T11:17:09Z

Yazar Mou, Bo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-2623-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear biomedical signal processing

2024-11-25T11:17:09Z

Yazar Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.
Yer Numarası R 857.S47 N66 2000- V.2
Format: Kitap
Durum Beytepe Kütüphanesi~3

İslam mantık tarihi ve Farabi mantığı

2024-11-25T11:17:09Z

Yazar Keklik, Nihat.
Yer Numarası BC 34 K4 1969-70
Format: Kitap
Durum Beytepe Kütüphanesi~1

Nonlinear biomedical signal processing

2024-11-25T11:17:09Z

Yazar Akay, Metin.
Yer Numarası QT 26.5 N813 2000-
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Communication : a philosophical study of language

2024-11-25T11:17:09Z

Yazar Britton, Karl, 1909-
Yer Numarası P 105 B75 1939 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Dialectic

2024-11-25T11:17:09Z

Yazar Adler, Mortimer Jerome, 1902-
Yer Numarası BC 177 A4 1927 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logical syntax of language

2024-11-25T11:17:09Z

Yazar Carnap, Rudolf, 1891-1970.
Yer Numarası BC 135 C323 1937 P (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Critical thinking

2024-11-25T11:17:09Z

Yazar Moore, Brooke Noel. Parker, Richard.
Yer Numarası B105.T54 M66 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

FPGAs

2024-11-25T11:17:09Z

Yazar Maxfield, Clive, 1957-
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279642
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Boolean Algebras

2024-11-25T11:17:09Z

Yazar Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68436-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronics System Design Techniques for Safety Critical Applications

2024-11-25T11:17:09Z

Yazar Sterpone, Luca. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Composition Paradigms of Automated Music Generation

2024-11-25T11:17:09Z

Yazar Nierhaus, Gerhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-211-75540-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

More than Moore Creating High Value Micro/Nanoelectronics Systems

2024-11-25T11:17:09Z

Yazar Zhang, Guo Qi. editor. Roosmalen, Alfred. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-75593-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generalized Measure Theory

2024-11-25T11:17:09Z

Yazar Wang, Zhenyuan. author. Klir, George J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76852-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proof Theory The First Step into Impredicativity

2024-11-25T11:17:09Z

Yazar Pohlers, Wolfram. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69319-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural-Symbolic Cognitive Reasoning

2024-11-25T11:17:09Z

Yazar d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73246-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00255-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Vahrenhold, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02011-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02017-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

2024-11-25T11:17:09Z

Yazar Eugster, Patrick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ultimate Explanations of the Universe

2024-11-25T11:17:09Z

Yazar Heller, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02103-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02138-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02962-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Maneth, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02979-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Drossopoulou, Sophia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03013-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Taha, Walid Mohamed. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03034-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04081-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Torra, Vicenç. editor. Narukawa, Yasuo. editor. Inuiguchi, Masahiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04820-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Datta, Anupam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10622-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10631-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Hu, Zhenjiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10672-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Olympiad Challenges

2024-11-25T11:17:09Z

Yazar Andreescu, Titu. author. Gelca, Răzvan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-4611-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Edmund Husserl. Untersuchungen zur Urteilstheorie Texte aus dem Nachlass (1893-1918)

2024-11-25T11:17:09Z

Yazar Rollinger, Robin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6897-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On Law and Reason

2024-11-25T11:17:09Z

Yazar Peczenik, Aleksander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8730-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

German Idealism and the Problem of Knowledge: Kant, Fichte, Schelling, and Hegel

2024-11-25T11:17:09Z

Yazar Limnatis, Nectarios G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8800-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Popper

2024-11-25T11:17:09Z

Yazar Parusniková, Zuzana. editor. Cohen, Robert S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9338-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

2024-11-25T11:17:09Z

Yazar Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9365-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dissociation In Argumentative Discussions A Pragma-Dialectical Perspective

2024-11-25T11:17:09Z

Yazar Rees, M. Agnes. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9150-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pondering on Problems of Argumentation Twenty Essays on Theoretical Issues

2024-11-25T11:17:09Z

Yazar Eemeren, Frans H. editor. Garssen, Bart. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9165-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ars Topica The Classical Technique of Constructing Arguments from Aristotle to Cicero

2024-11-25T11:17:09Z

Yazar Rubinelli, Sara. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9549-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz

2024-11-25T11:17:09Z

Yazar Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9688-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Embedded System Design Using Field Programmable Gate Arrays

2024-11-25T11:17:09Z

Yazar Dubey, Rahul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-016-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Programming Languages

2024-11-25T11:17:09Z

Yazar Dowek, Gilles. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-032-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computable Models

2024-11-25T11:17:09Z

Yazar Turner, Raymond. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-052-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics

2024-11-25T11:17:09Z

Yazar Constanda, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-539-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities

2024-11-25T11:17:09Z

Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88083-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes

2024-11-25T11:17:09Z

Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88085-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior

2024-11-25T11:17:09Z

Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88087-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Calculus Computing with Functions and Structures

2024-11-25T11:17:09Z

Yazar Jay, Barry. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89185-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

2024-11-25T11:17:09Z

Yazar Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93920-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00722-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00768-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers II

2024-11-25T11:17:09Z

Yazar Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00904-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Weighted Automata

2024-11-25T11:17:09Z

Yazar Droste, Manfred. editor. Kuich, Werner. editor. Vogler, Heiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01492-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01338-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01364-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02414-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02424-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Berardi, Stefano. editor. Damiani, Ferruccio. editor. de’Liguoro, Ugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02444-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04222-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Lukose, Dickson. editor. Shi, Zhongzhi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03339-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03359-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03409-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03429-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

2024-11-25T11:17:09Z

Yazar Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03456-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04420-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Truth and words

2024-11-25T11:17:09Z

Yazar Ebbs, Gary.
Yer Numarası BC171 E23 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to mathematics of satisfiability

2024-11-25T11:17:09Z

Yazar Marek, V. W. (V. Wiktor), 1943-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Games, puzzles, and computation

2024-11-25T11:17:09Z

Yazar Hearn, Robert A. Demaine, Erik D., 1981-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

2024-11-25T11:17:09Z

Yazar Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01639-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

2024-11-25T11:17:09Z

Yazar Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01702-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2024-11-25T11:17:09Z

Yazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01748-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Dubois, Catherine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02949-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2024-11-25T11:17:09Z

Yazar Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03278-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03351-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Gent, Ian P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04244-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Kurz, Alexander. editor. Lenisa, Marina. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03741-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03751-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2024-11-25T11:17:09Z

Yazar Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03754-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

2024-11-25T11:17:09Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04633-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04639-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04761-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04985-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11269-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infinite Regress Arguments

2024-11-25T11:17:09Z

Yazar Gratton, Claude. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3341-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced signal integrity for high-speed digital designs

2024-11-25T11:17:09Z

Yazar Hall, Stephen H. Heck, Howard L.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361024
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transient-induced latchup in CMOS integrated circuits

2024-11-25T11:17:09Z

Yazar Ker, Ming-Dou. Hsu, Sheng-Fu.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5453758
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rationality and the literate mind

2024-11-25T11:17:09Z

Yazar Harris, Roy, 1931-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-cultural research methods

2024-11-25T11:17:09Z

Yazar Ember, Carol R. Ember, Melvin.
Yer Numarası GN345.7 E53 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logical labyrinths

2024-11-25T11:17:09Z

Yazar Smullyan, Raymond M.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching and learning proof across the grades a K-16 perspective

2024-11-25T11:17:09Z

Yazar Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification of Sequential and Concurrent Programs

2024-11-25T11:17:09Z

Yazar Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-745-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Seznec, André. editor. Emer, Joel. editor. O’Boyle, Michael. editor. Martonosi, Margaret. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92990-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93799-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logische Grundlagen der Mathematik

2024-11-25T11:17:09Z

Yazar Schindler, Ralf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-95932-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-95948-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00590-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00593-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Alfaro, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00596-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00602-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

2024-11-25T11:17:09Z

Yazar Sommaruga, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00659-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Curien, Pierre-Louis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02273-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Treinen, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02348-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02652-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02655-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02658-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02674-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02906-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03237-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Cofer, Darren. editor. Fantechi, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03240-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

2024-11-25T11:17:09Z

Yazar Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03564-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Techniques for the Web The REWERSE Perspective

2024-11-25T11:17:09Z

Yazar Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04581-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Královič, Rastislav. editor. Niwiński, Damian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03816-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures

2024-11-25T11:17:09Z

Yazar Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03829-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2024-11-25T11:17:09Z

Yazar Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04694-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

2024-11-25T11:17:09Z

Yazar Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04164-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

2024-11-25T11:17:09Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04167-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10452-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recasting Reality Wolfgang Pauli’s Philosophical Ideas and Contemporary Science

2024-11-25T11:17:09Z

Yazar Atmanspacher, Harald. editor. Primas, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85198-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

2024-11-25T11:17:09Z

Yazar Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00431-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Machine Interaction Research Results of the MMI Program

2024-11-25T11:17:09Z

Yazar Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00437-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00945-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

2024-11-25T11:17:09Z

Yazar Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03603-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

2024-11-25T11:17:09Z

Yazar Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

2024-11-25T11:17:09Z

Yazar Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04570-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Preference Change Approaches from Philosophy, Economics and Psychology

2024-11-25T11:17:09Z

Yazar Grüne-Yanoff, Till. editor. Hansson, Sven Ove. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-2593-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fallacies and Judgments of Reasonableness Empirical Research Concerning the Pragma-Dialectical Discussion Rules

2024-11-25T11:17:09Z

Yazar Eemeren, Frans. author. Garssen, Bart. author. Meuffels, Bert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-2614-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators

2024-11-25T11:17:09Z

Yazar Soifer, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-74642-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1