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

Primarily logic

2024-12-25T14:09:02Z

Yazar Leimbach, Judy. Crawford, Dean. Crawford, Pat. Draze, Dianne.
Yer Numarası LB1590.3 L45 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic Safari

2024-12-25T14:09:02Z

Yazar Risby, Bonnie Lou. Palouda, Annelise.
Yer Numarası BC101 R57 2005 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~3

Logic countdown

2024-12-25T14:09:02Z

Yazar Risby, Bonnie Lou. Crawford, Dean.
Format: Kitap
Durum ~0

Orbiting with logic

2024-12-25T14:09:02Z

Yazar Risby, Bonnie Lou. Crawford, Dean.
Yer Numarası LB1590.3 R57 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Introduction to logic

2024-12-25T14:09:02Z

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

Fuzzy Equational Logic

2024-12-25T14:09:02Z

Yazar Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105121
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Philosophical Logic

2024-12-25T14:09:02Z

Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3092-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Thought and Action

2024-12-25T14:09:02Z

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

Studies in Legal Logic

2024-12-25T14:09:02Z

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

Advances in modal logic

2024-12-25T14:09:02Z

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

Introduction to logic design

2024-12-25T14:09:02Z

Yazar Marcovitz, Alan B.
Yer Numarası TK7868 L6 M355 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic design of nanoICs

2024-12-25T14:09:02Z

Yazar Yanushkevich, Svetlana N. Shmerko, Vlad P. Lyshevski, Sergey Edward.
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

Logic Programming with Prolog

2024-12-25T14:09:02Z

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

The logic of practice

2024-12-25T14:09:02Z

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

Logic : the theory of formal inference

2024-12-25T14:09:02Z

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

Mathematical logic : A course with exercises

2024-12-25T14:09:02Z

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

Studies in inductive logic and probability

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Lollipop logic : grades K-2

2024-12-25T14:09:02Z

Yazar Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.
Yer Numarası BC71 R57 2011 V.1
Format: Kitap
Durum Beytepe Kütüphanesi~3

Grounded Consequence for Defeasible Logic

2024-12-25T14:09:02Z

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

Fuzzy Logic in Financial Analysis

2024-12-25T14:09:02Z

Yazar Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32368-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Philosophical Logic, 2nd Edition

2024-12-25T14:09:02Z

Yazar Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3521-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Logic, Identification and Predictive Control

2024-12-25T14:09:02Z

Yazar Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138626
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of digital logic and microcomputer design

2024-12-25T14:09:02Z

Yazar Rafiquzzaman, Mohamed.
Yer Numarası ONLINE
Elektronik Erişim Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609 John Wiley http://dx.doi.org/10.1002/0471733520 John Wiley http://dx.doi.org/10.1002/9780471733522 http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-12-25T14:09:02Z

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

Quantifying Environmental Impact Assessments Using Fuzzy Logic

2024-12-25T14:09:02Z

Yazar Shepard, Richard B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28098-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic safari. Book 1, grades 2-3

2024-12-25T14:09:02Z

Yazar Risby, Bonnie Lou. Palouda, Annelise, illustrator.
Format: Kitap
Durum ~0

The rise of modern logic from Leibniz to Frege

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

2024-12-25T14:09:02Z

Yazar Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138799
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

2024-12-25T14:09:02Z

Yazar Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104175
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11546207
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Kramer, Stefan. editor. Pfahringer, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11536314
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2024-12-25T14:09:02Z

Yazar Leite, João. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11533092
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-12-25T14:09:02Z

Yazar Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logica Universalis Towards a General Theory of Logic

2024-12-25T14:09:02Z

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

Logically determined design clockless system design with NULL convention logic

2024-12-25T14:09:02Z

Yazar Fant, Karl M.
Yer Numarası ONLINE
Elektronik Erişim Click for information Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/0471702897 MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11591191
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135595
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, meaning, and conversation semantical underdeterminacy, implicature, and their interface

2024-12-25T14:09:02Z

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

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits

2024-12-25T14:09:02Z

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

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

2024-12-25T14:09:02Z

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

The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management

2024-12-25T14:09:02Z

Yazar Simchi-Levi, David. author. Chen, Xin. author. Bramel, Julien. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b97669
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

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

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-12-25T14:09:02Z

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

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11562931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The logic of environmentalism : anthropology, ecology, and postcoloniality

2024-12-25T14:09:02Z

Yazar Argyrou, Vassos.
Yer Numarası GF21 .A74 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-12-25T14:09:02Z

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

A Modern Perspective on Type Theory From its Origins until Today

2024-12-25T14:09:02Z

Yazar Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-2335-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The reach of abduction insight and trial

2024-12-25T14:09:02Z

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

Anaphora and Type Logical Grammar

2024-12-25T14:09:02Z

Yazar JÄger, Gerhard. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3905-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature's Principles

2024-12-25T14:09:02Z

Yazar Faye, Jan. Needham, Paul. Scheffler, Uwe. Urchs, Max. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3258-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature's principles

2024-12-25T14:09:02Z

Yazar Faye, Jan.
Yer Numarası BD581 .B35 2005
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-12-25T14:09:02Z

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

Logical studies

2024-12-25T14:09:02Z

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

A treatise on induction and probability

2024-12-25T14:09:02Z

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

The foundations of mathematics : and other logical essays

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Cylindric algebras

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Theoretical Knowledge

2024-12-25T14:09:02Z

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

From the Act of Judging to the Sentence The Problem of Truth Bearers from Bolzano to Tarski

2024-12-25T14:09:02Z

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

The Dynamics of Thought

2024-12-25T14:09:02Z

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

Visualization, Explanation and Reasoning Styles in Mathematics

2024-12-25T14:09:02Z

Yazar Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3335-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonlinear biomedical signal processing

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Nonlinear biomedical signal processing

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Dialectic

2024-12-25T14:09:02Z

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-12-25T14:09:02Z

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

Propositional and Predicate Calculus A Model of Argument

2024-12-25T14:09:02Z

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

Field Arithmetic

2024-12-25T14:09:02Z

Yazar Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138352
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complexity Theory Exploring the Limits of Efficient Algorithms

2024-12-25T14:09:02Z

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

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

2024-12-25T14:09:02Z

Yazar Trinder, Phil. editor. Michaelson, Greg J. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b102274
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549703
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Valued Fields

2024-12-25T14:09:02Z

Yazar Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-30035-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings

2024-12-25T14:09:02Z

Yazar Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103739
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-12-25T14:09:02Z

Yazar Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104146
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105205
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105030
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105022
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

2024-12-25T14:09:02Z

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

Inconsistency Tolerance

2024-12-25T14:09:02Z

Yazar Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104925
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137793
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11605300
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11527695
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137217
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103251
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107134
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11538097
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11541868
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11556985
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

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

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2024-12-25T14:09:02Z

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

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-12-25T14:09:02Z

Yazar Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106390
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106767
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135596
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549345
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11548133
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11527862
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11589976
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-12-25T14:09:02Z

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

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11576280
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-12-25T14:09:02Z

Yazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106663
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2024-12-25T14:09:02Z

Yazar Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-12-25T14:09:02Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105887
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

2024-12-25T14:09:02Z

Yazar Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136154
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11580072
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Conte, Tom. editor. Navarro, Nacho. editor. Hwu, Wen-mei W. editor. Valero, Mateo. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11587514
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2024-12-25T14:09:02Z

Yazar Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106974
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11563228
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of intensional semantics

2024-12-25T14:09:02Z

Yazar Fox, Chris, 1965- Lappin, Shalom. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470773543 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Big Typescript, TS. 213

2024-12-25T14:09:02Z

Yazar Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html John Wiley http://dx.doi.org/10.1002/9780470752906
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to Kant's aesthetics core concepts and problems

2024-12-25T14:09:02Z

Yazar Wenzel, Christian Helmut. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005009258-b.html John Wiley http://dx.doi.org/10.1002/9780470776599
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rippling: Meta-Level Guidance for Mathematical Reasoning

2024-12-25T14:09:02Z

Yazar Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computationally intelligent hybrid systems the fusion of soft computing and hard computing

2024-12-25T14:09:02Z

Yazar Ovaska, Seppo J., 1956- Institute of Electrical and Electronics Engineers. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218879
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy modeling and genetic algorithms for data mining and exploration

2024-12-25T14:09:02Z

Yazar Cox, Earl.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780121942755
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11550679
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11580850
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136569
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107183
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107116
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2024-12-25T14:09:02Z

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

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Urzyczyn, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135690
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2024-12-25T14:09:02Z

Yazar Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135888
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11560586
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11560548
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137052
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Giesl, Jürgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135673
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Testing of Reactive Systems Advanced Lectures

2024-12-25T14:09:02Z

Yazar Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137241
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136772
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2024-12-25T14:09:02Z

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

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136292
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136248
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2024-12-25T14:09:02Z

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

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11558569
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11560647
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11556930
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11574620
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2024-12-25T14:09:02Z

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

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2024-12-25T14:09:02Z

Yazar Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11601548
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11590712
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-12-25T14:09:02Z

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

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11572329
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11581741
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11572961
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Argumentation Methods for Artificial Intelligence in Law

2024-12-25T14:09:02Z

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

Laws of Nature

2024-12-25T14:09:02Z

Yazar Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28303-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-12-25T14:09:02Z

Yazar Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28183-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language, Meaning, Interpretation

2024-12-25T14:09:02Z

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

New Algorithms, Architectures and Applications for Reconfigurable Computing

2024-12-25T14:09:02Z

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

Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)

2024-12-25T14:09:02Z

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

Trends in Continuum Mechanics of Porous Media

2024-12-25T14:09:02Z

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

Information, Interaction and Agency

2024-12-25T14:09:02Z

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

Taxonomies for the Development and Verification of Digital Systems

2024-12-25T14:09:02Z

Yazar Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104217
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstraction, Refinement and Proof for Probabilistic Systems

2024-12-25T14:09:02Z

Yazar McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138392
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essays in Constructive Mathematics

2024-12-25T14:09:02Z

Yazar Edwards, Harold M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138656
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Categories for Software Engineering

2024-12-25T14:09:02Z

Yazar Fiadeiro, José Luiz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138249
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Einführung in die Informatik Objektorientiert mit Java

2024-12-25T14:09:02Z

Yazar Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138253
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

2024-12-25T14:09:02Z

Yazar Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138812
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2024-12-25T14:09:02Z

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

Abstract Computing Machines A Lambda Calculus Perspective

2024-12-25T14:09:02Z

Yazar Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138965
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

2024-12-25T14:09:02Z

Yazar Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-27692-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2024-12-25T14:09:02Z

Yazar Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104325
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105317
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11603009
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136996
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137278
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-12-25T14:09:02Z

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

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137280
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137735
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138445
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b27882
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Black, Andrew P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11531142
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

2024-12-25T14:09:02Z

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

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549970
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

2024-12-25T14:09:02Z

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

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-12-25T14:09:02Z

Yazar Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11554578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-12-25T14:09:02Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11561163
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11545262
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106766
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2024-12-25T14:09:02Z

Yazar Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107129
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11562948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11547662
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T14:09:02Z

Yazar Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b107194
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T14:09:02Z

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

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T14:09:02Z

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

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T14:09:02Z

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

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-12-25T14:09:02Z

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

Computer-aided intelligent recognition techniques and applications

2024-12-25T14:09:02Z

Yazar Sarfraz, Muhammad. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/0470094168
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The proper treatment of events

2024-12-25T14:09:02Z

Yazar Lambalgen, Michiel van, 1954- Hamm, Fritz, 1953- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470759257
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Demystifying chipmaking

2024-12-25T14:09:02Z

Yazar Yanda, Richard F. Heynes, Michael. Miller, Anne K.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750677608
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Baker's dozen real analog solutions for digital designers

2024-12-25T14:09:02Z

Yazar Baker, Bonnie (Bonnie C.)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750678193
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bilimsel araştırmanın mantığı

2024-12-25T14:09:02Z

Yazar Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.
Yer Numarası Q175.3 P67 2005
Format: Kitap
Durum Hukuk Kütüphanesi~1 Beytepe Kütüphanesi~1