Search Results for Logic.

|

Kütüphane Hesabım

|

|

İstek Oluştur

|

Dili değiştir

English
Türkçe

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

10

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Yayın Yılı: 2005

Yazar

SpringerLink (Online service)

(151)

Leite, João. editor.

(3)

Feitelson, Dror. editor.

(2)

Gabbay, D.M. editor.

(2)

Guenthner, Franz. editor.

(2)

Michaelson, Greg. editor.

(2)

Orejas, Fernando. editor.

(2)

Rossi, Francesca. editor.

(2)

Rudolph, Larry. editor.

(2)

Schwiegelshohn, Uwe. editor.

(2)

Stafford, Judith A. editor.

(2)

Torroni, Paolo. editor.

(2)

Trinder, Phil. editor.

(2)

Voronkov, Andrei. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Abadi, Martín. editor.

(1)

Abdallah, Ali E. editor.

(1)

Adi, Asaf. editor.

(1)

Aksit, Mehmet. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alioto, Massimo. author.

(1)

Alonso, Eduardo. editor.

(1)

Anderson, Thomas. editor.

(1)

Andrade, Aline Maria Santos. editor.

(1)

Araki, Keijiro. editor.

(1)

Assis Silva, Flávio Morais de. editor.

(1)

Assmann, Uwe. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Bacchus, Fahiem. editor.

(1)

Bailey, Brian. editor.

(1)

Banach, Richard. editor.

(1)

Baral, Chitta. editor.

(1)

Barley, Michael Wayne. editor.

(1)

Bartenstein, Oskar. editor.

(1)

Baumeister, Hubert. editor.

(1)

Becker, Steffen. editor.

(1)

Belohlávek, Radim. author.

(1)

Berber, Şerife

(1)

Bernardo, Marco. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Beziau, Jean-Yves. editor.

(1)

Black, Andrew. editor.

(1)

Bodik, Rastislav. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bordini, Rafael H. editor.

(1)

Borrione, Dominique. editor.

(1)

Bramel, Julien. author.

(1)

Bramer, Max. author.

(1)

Bravetti, Mario. editor.

(1)

Broy, Manfred. editor.

(1)

Bähring, Helmut. author.

(1)

Cabeza, Daniel. editor.

(1)

Caires, Luis. editor.

(1)

Calude, Cristian S. editor.

(1)

Calude, Elena. editor.

(1)

Caromel, Denis. author.

(1)

Cerioli, Maura. editor.

(1)

Chang, Chip-Hong. editor.

(1)

Chen, Xin. author.

(1)

Chen-Burger, Yun-Heh. author.

(1)

Cobb, Maria A. editor.

(1)

Conte, Tom. editor.

(1)

Coppo, Mario. editor.

(1)

Cosp, Jordi. editor.

(1)

Cousot, Radhia. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crossley, John N. author.

(1)

Dahll, Gustav. editor.

(1)

Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087

(1)

De Felice, Clelia. editor.

(1)

Dearle, Alan. editor.

(1)

Di Martino, Beniamino. editor.

(1)

Dignum, Frank. editor.

(1)

Dinneen, Michael J. editor.

(1)

Dongarra, Jack. editor.

(1)

Edwards, Harold M. author.

(1)

Eigenmann, Rudolf. editor.

(1)

Eisenbach, Susan. editor.

(1)

Eisinger, Norbert. editor.

(1)

Engler, Antonio J. author.

(1)

Espinosa Oviedo, Jairo Jose. author.

(1)

Etalle, Sandro. editor.

(1)

Etessami, Kousha. editor.

(1)

Fages, François. editor.

(1)

Faltings, Boi. editor.

(1)

Faye, Jan. editor.

(1)

Fiadeiro, Jose Luiz. author.

(1)

Fiadeiro, José Luis. editor.

(1)

Fiadeiro, José Luiz. editor.

(1)

Fitzgerald, John. editor.

(1)

Fløistad, Guttorm. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Fried, Michael D. author.

(1)

Gabbrielli, Maurizio. editor. (orcid)0000-0003-0609-8662

(1)

Gardenfors, Peter. author.

(1)

Geske, Ulrich. editor.

(1)

Giesl, Jürgen. editor.

(1)

Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929

(1)

Gilbert, William J., 1941-

(1)

Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683

(1)

Godefroid, Patrick. editor.

(1)

Goldrei, Derek. author.

(1)

Gorrieri, Roberto. editor.

(1)

Grabowski, Jens. editor.

(1)

Graf, Susanne. editor.

(1)

Gran, Bjoern Axel. editor.

(1)

Greco, Gianluigi. editor.

(1)

Grelck, Clemens. editor.

(1)

Gschwind, Thomas. editor.

(1)

Guelfi, Nicolas. editor.

(1)

Gupta, Gopal. editor.

(1)

Hage, Jaap. author.

(1)

Halbwachs, Nicolas. editor.

(1)

Hankin, Chris. editor. (orcid)0000-0001-9149-8577

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Harman, Neil. editor.

(1)

Hartman, Alan. editor.

(1)

Hayes, Ian J. editor.

(1)

Heineman, George. editor.

(1)

Henrio, Ludovic. author.

(1)

Henson, Martin. editor.

(1)

Hermenegildo, Manuel. editor.

(1)

Hinchey, Michael G. editor.

(1)

Holcombe, Mike. editor.

(1)

Hoos, Holger H. editor.

(1)

Huch, Frank. editor.

(1)

Huget, Marc-Philippe. editor.

(1)

Hung, Dang Van. editor.

(1)

Hunter, Anthony. editor.

(1)

Hurd, Joe. editor.

(1)

Husserl, Edmund. author.

(1)

Hutter, Dieter. editor.

(1)

Hwu, Wen-mei W. editor.

(1)

Italiano, Guiseppe F. editor.

(1)

Jarden, Moshe. author.

(1)

Jedrzejowicz, Joanna. editor.

(1)

Jermann, Christophe. editor.

(1)

Joerden, Jan C. author.

(1)

Jones, Cliff B. editor.

(1)

Jonsson, Bengt. editor.

(1)

Jäger, Gerhard. author.

(1)

Jørgensen, Klaus Frovin. editor.

(1)

Kamareddine, F.D. author.

(1)

Kasabov, Nik. editor.

(1)

Katoen, Joost-Pieter. editor.

(1)

Katz, Randy H., 1955-

(1)

Kazakov, Dimitar. editor.

(1)

King, Steve. editor.

(1)

Kloul, Leila. editor.

(1)

Kluge, Werner. author.

(1)

Kramer, Stefan. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

Kreische, David. editor.

(1)

Kreowski, Hans-Jörg. editor.

(1)

Kudenko, Daniel. editor.

(1)

Kurki-Suonio, R. author.

(1)

Kutvonen, Lea. editor.

(1)

Küchlin, Wolfgang. author.

(1)

Laan, T. author.

(1)

(1)

Lau, Kung-Kiu. editor.

(1)

Leone, Nicola. editor.

(1)

Leucker, Martin. editor.

(1)

Leue, Stefan. editor.

(1)

Li, Zhiyuan. editor.

(1)

Liu, Zhiming. editor.

(1)

Lodaya, Kamal. editor.

(1)

Lodi, Elena. editor.

(1)

Lysaght, Patrick. editor.

(1)

Madrenas, Jordi. editor.

(1)

Mahajan, Meena. editor.

(1)

Malenfant, Jacques. editor.

(1)

Maluszynski, Jan. editor.

(1)

Mancosu, P. editor.

(1)

Manin, Yu. I. author.

(1)

Marchesi, Michele. editor.

(1)

Margenstern, Maurice. editor.

(1)

Martin, Grant. editor.

(1)

Martinelli, Fabio. editor.

(1)

Mayer, Johannes. editor.

(1)

Maziero, Carlos Alberto. editor.

(1)

McIver, Annabelle. author.

(1)

Melham, Tom. editor.

(1)

Melle, Ullrich. editor.

(1)

Middeldorp, Aart. editor.

(1)

Midkiff, Samuel P. editor.

(1)

Mitchell, David G. editor.

(1)

Montanari, Ugo. editor.

(1)

Monteiro, Luis. editor.

(1)

Montoyo, Andrés. editor.

(1)

Morari, Manfred. editor.

(1)

Moreno, J. Manuel. editor.

(1)

Moreno-Díaz, Roberto. editor.

(1)

Morgan, Charles Carroll. author.

(1)

Mosses, Peter. editor.

(1)

Munoz, Rafael. editor.

(1)

Métais, Elisabeth. editor.

(1)

Müller, Jörg, P. editor.

(1)

Tümünü genişlet

Dil

(148)

(6)

(1)

(1)

Konu

Computer science.

(101)

Computer Science Logic and Foundations of Programming.

(93)

Software engineering.

(74)

Compilers (Computer programs).

(54)

Compilers and Interpreters.

(54)

Formal Languages and Automata Theory.

(46)

Machine theory.

(46)

Artificial intelligence.

(41)

Computer programming.

(41)

Programming Techniques.

(41)

Computer networks .

(32)

Computer Communication Networks.

(29)

Theory of Computation.

(29)

Mathematical Logic and Foundations.

(19)

Mathematical logic.

(19)

(14)

Computer System Implementation.

(13)

Computer systems.

(13)

Electronic data processing-Management.

(13)

(13)

Operating Systems.

(13)

Operating systems (Computers).

(13)

(12)

(11)

Computer science-Mathematics.

(10)

(9)

Arithmetic and Logic Structures.

(8)

Computer arithmetic and logic units.

(8)

Computer architecture.

(7)

Computers, Special purpose.

(7)

Microprocessors.

(7)

Processor Architectures.

(7)

Special Purpose and Application-Based Systems.

(7)

Artificial intelligence-Data processing.

(6)

Computer-Aided Engineering (CAD, CAE) and Design.

(6)

Computer-aided engineering.

(6)

(6)

Discrete mathematics.

(6)

Electrical and Electronic Engineering.

(6)

Electrical engineering.

(6)

(6)

Knowledge, Theory of.

(6)

Database management.

(5)

Information theory.

(5)

Numerical analysis.

(5)

Algebraic geometry.

(4)

Coding and Information Theory.

(4)

(4)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Computers and Society.

(4)

Computers and civilization.

(4)

Discrete Mathematics in Computer Science.

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

(4)

(4)

Philosophy of Science.

(4)

Science-Philosophy.

(4)

Symbolic and Algebraic Manipulation.

(4)

(3)

Computer Modelling.

(3)

Computer simulation.

(3)

(3)

(3)

(3)

Data encryption (Computer science).

(3)

(3)

Electronic digital computers-Evaluation.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

(3)

(3)

Law-Philosophy.

(3)

(3)

Operations research.

(3)

Quantitative Economics.

(3)

System Performance and Evaluation.

(3)

Theories of Law, Philosophy of Law, Legal History.

(3)

Application software.

(2)

Business information services.

(2)

Computer Hardware.

(2)

Computer and Information Systems Applications.

(2)

Computer input-output equipment.

(2)

Control and Systems Theory.

(2)

Control engineering.

(2)

Earth sciences.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Engineering design.

(2)

Engineering mathematics.

(2)

Engineering-Data processing.

(2)

IT in Business.

(2)

Input/Output and Data Communications.

(2)

Language and languages-Philosophy.

(2)

Management science.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematics of Computing.

(2)

Mathematics_Philosophy

(2)

Operations Research and Decision Theory.

(2)

(2)

Phenomenology .

(2)

Philosophy of Language.

(2)

Philosophy of Technology.

(2)

Technology-Philosophy.

(2)

Adjacent Categories Logit Model, Hayvansal ürünler,

(1)

(1)

Algebraic fields.

(1)

Algebraic logic

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Applied ecology.

(1)

Behavioral Neuroscience.

(1)

Business and Management.

(1)

Business mathematics.

(1)

(1)

Computational intelligence.

(1)

Computational linguistics.

(1)

Computer Application in Administrative Data Processing.

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data and Information Visualization.

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

(1)

Electronic digital computers_Circuits_Design

(1)

Elektronik dijital bilgisayarlar_Devreler_Tasarım

(1)

Entegre devreler_Çok büyük ölçekli entegrasyon _Tasarım_Veri işleme.

(1)

(1)

Environmental Law.

(1)

Environmental Sciences.

(1)

Environmental monitoring.

(1)

Environmental sciences-Mathematics.

(1)

Field Theory and Polynomials.

(1)

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

(1)

(1)

(1)

Geotechnical Engineering and Applied Earth Sciences.

(1)

Geotechnical engineering.

(1)

Hardware Performance and Reliability.

(1)

History of Mathematical Sciences.

(1)

(1)

Human behavior.

(1)

Human geography.

(1)

Human-computer interaction.

(1)

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Industrial organization.

(1)

Information technology-Management.

(1)

Information visualization.

(1)

Integrated circuits_Very large scale integration_ Design_Data processing

(1)

Knowledge, Theory of (Islam)

(1)

Language and languages-Style.

(1)

(1)

Logic design_Data processing

(1)

Logic, Symbolic and mathematical

(1)

(1)

Mantıksal tasarım_Veri işleme

(1)

(1)

Materials science.

(1)

Mathematical Applications in Environmental Science.

(1)

Mathematical Methods in Physics.

(1)

Mathematical physics.

(1)

Models of Computation.

(1)

Nonlinear theories.

(1)

(1)

(1)

Operations Management.

(1)

Operations Research, Management Science .

(1)

Philosophy of Law.

(1)

Philosophy of nature.

(1)

Political science.

(1)

(1)

(1)

Probability Theory.

(1)

Production engineering.

(1)

Production management.

(1)

(1)

Sequences (Mathematics).

(1)

Sequences, Series, Summability.

(1)

Social sciences.

(1)

(1)

(1)

Theoretical, Mathematical and Computational Physics.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

(1)

Wine industry_Turkish

(1)

Şarap endüstrisi_Türkiye

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Genel Koleksiyon

Springer E-Kitap Koleksiyonu

Tez Koleksiyonu

İlahiyet Genel Koleksiyon

Kütüphane

Ferit Melen Kütüphanesi

İlahiyat Kütüphanesi

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

157 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 14

000000000000DEFAULT

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

37.

Marmara Bölgesi’ nde şarap tüketimini etkileyen faktörler : multinominal ve sıralı logit modelleri için kapak resmi

Marmara Bölgesi’ nde şarap tüketimini etkileyen faktörler : multinominal ve sıralı logit modelleri

Marmara Bölgesi’ nde şarap tüketimini etkileyen faktörler : multinominal ve sıralı logit modelleri

by

Çağlayan, Ebru

Format:

Alıntı:

Marmara Bölgesi’ nde şarap tüketimini etkileyen faktörler : multinominal ve sıralı logit modelleri /

SD_ILS:86390

38.

Ürün seçiminin adjacent categories logit yoluyla modellenmesi = the modelingof the product choices by way of adjacent categoriec logit model için kapak resmi

Ürün seçiminin adjacent categories logit yoluyla modellenmesi = the modelingof the product choices by way of adjacent categoriec logit model

Ürün seçiminin adjacent categories logit yoluyla modellenmesi = the modelingof the product choices by way of adjacent categoriec logit model

by

Berber, Şerife

Format:

Alıntı:

Ürün seçiminin adjacent categories logit yoluyla modellenmesi = the modelingof the product choices

SD_ILS:110313

39.

Categories for Software Engineering için kapak resmi

Categories for Software Engineering

Categories for Software Engineering

by

Fiadeiro, Jose Luiz. author.

https://doi.org/10.1007/b138249

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:168832

40.

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings için kapak resmi

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

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

by

Hung, Dang Van. editor.

https://doi.org/10.1007/11560647

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169480

41.

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

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

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

by

Hoos, Holger H. editor.

https://doi.org/10.1007/11527695

Format:

Alıntı:

Mathematical Logic and Foundations.

SD_ILS:169531

42.

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings için kapak resmi

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

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

by

Ramanujam, R. editor.

https://doi.org/10.1007/11590156

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169563

43.

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings için kapak resmi

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

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

by

Lau, Kung-Kiu. editor.

https://doi.org/10.1007/11576280

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169905

44.

Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings için kapak resmi

Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

by

Caires, Luis. editor.

https://doi.org/10.1007/11523468

Format:

Alıntı:

Mathematical Logic and Foundations.

SD_ILS:169949

45.

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers için kapak resmi

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

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

by

Guelfi, Nicolas. editor.

https://doi.org/10.1007/b136153

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:169987

46.

Model Driven Architecture - Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings için kapak resmi

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

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

by

Hartman, Alan. editor.

https://doi.org/10.1007/11581741

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170078

47.

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers için kapak resmi

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

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

by

Odell, James. editor.

https://doi.org/10.1007/b105022

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

SD_ILS:170219

48.

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings için kapak resmi

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings

by

Di Martino, Beniamino. editor.

https://doi.org/10.1007/11557265

Format:

Alıntı:

Computer arithmetic and logic units.

SD_ILS:170306

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 14

Copyright 2011 SirsiDynix - Portfolio Version 4.5 (36068)