Search Results for Logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(2670)

(22)

Kacprzyk, Janusz. editor.

(19)

Voronkov, Andrei. editor.

(19)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(12)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(12)

Bonsangue, Marcello M. editor.

(11)

LaMeres, Brock J. author.

(11)

Potapov, Igor. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. editor.

(10)

Gandomi, Amir H. editor.

(10)

Nanda, Satyasai Jagannath. editor. (orcid)0000-0002-4005-5589

(10)

Rozenberg, Grzegorz. editor.

(10)

Saraswat, Mukesh. editor.

(10)

Yadav, Rajendra Prasad. editor.

(10)

Legay, Axel. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Bernardo, Marco. editor.

(8)

Dix, Jürgen. editor.

(8)

Leite, João. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Martín-Vide, Carlos. editor.

(8)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Cooper, S. Barry. editor.

(7)

Governatori, Guido. editor.

(7)

Liu, Shaoying. editor.

(7)

Mostowski, Andrzej.

(7)

Pedrycz, Witold. editor.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Son, Tran Cao. editor.

(7)

Taylor and Francis.

(7)

Torroni, Paolo. editor.

(7)

Woodcock, Jim. editor.

(7)

Yager, Ronald R. editor.

(7)

Ölveczky, Peter Csaba. editor.

(7)

Bansal, Jagdish Chand. editor.

(6)

Bekki, Daisuke. editor.

(6)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(6)

Calude, Cristian S. editor.

(6)

Castillo, Oscar. author. (orcid)0000-0002-7385-5689

(6)

Das, Kedar Nath. editor.

(6)

Dastani, Mehdi. editor.

(6)

Dediu, Adrian-Horia. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Gabbay, Dov M. author.

(6)

Graf, Susanne. editor.

(6)

Hähnle, Reiner. editor.

(6)

Jain, Lakhmi C. editor.

(6)

Majumdar, Rupak. editor.

(6)

Melin, Patricia. author. (orcid)0000-0001-5798-1426

(6)

Meseguer, José. editor.

(6)

Ong, Luke. editor.

(6)

Pant, Millie. editor.

(6)

Rahman, Shahid. editor.

(6)

Rensink, Arend. editor.

(6)

Roman, Dumitru. editor.

(6)

Seising, Rudolf. editor.

(6)

Stafford, Judith A. editor.

(6)

Steffen, Bernhard. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Artho, Cyrille. editor.

(5)

Beckert, Bernhard. editor.

(5)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(5)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(5)

Butler, Michael. editor.

(5)

Castillo, Oscar. author.

(5)

Castillo, Oscar. editor. (orcid)0000-0002-7385-5689

(5)

Cevik Onar, Sezi. editor.

(5)

Chen, Wai-Kai, 1936-

(5)

Crnkovic, Ivica. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Duan, Zhenhua. editor.

(5)

Filipe, Joaquim. editor.

(5)

Finkbeiner, Bernd. editor.

(5)

Gabbay, Dov M. editor.

(5)

Gerdt, Vladimir P. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Hinchey, Mike. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Johnsen, Einar Broch. editor.

(5)

Karhumäki, Juhani. editor.

(5)

Kobayashi, Naoki. editor.

(5)

Koepf, Wolfram. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(5)

Melin, Patricia. editor. (orcid)0000-0001-5798-1426

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Nerode, Anil. editor.

(5)

Oztaysi, Basar. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Peled, Doron A. editor.

(5)

Petrosino, Alfredo. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Satoh, Ken. editor.

(5)

Schlechta, Karl. author.

(5)

Schmidt, Renate A. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Sirjani, Marjan. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Zhang, Zili. editor.

(5)

Artemov, Sergei. editor.

(4)

Aßmann, Uwe. editor.

(4)

Balas, Valentina Emilia. editor.

(4)

Bensalem, Saddek. editor.

(4)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(4)

Bouajjani, Ahmed. editor.

(4)

Bravetti, Mario. editor.

(4)

Cavalcanti, Ana. editor.

(4)

Chechik, Marsha. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Deep, Kusum. editor. (orcid)0000-0001-5821-2696

(4)

Deleuze, Gilles.

(4)

Ehrig, Hartmut. editor.

(4)

Fitzgerald, John. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Fraenkel, Abraham Adolf, 1891-1965.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Goertzel, Ben. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Hegel, Georg Wilhelm Friedrich.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Korytkowski, Marcin. editor.

(4)

Koutny, Maciej. editor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258

(4)

Li, Wei. author.

(4)

Liang, Qilian. editor.

(4)

Longo, Luca. editor.

(4)

Masulli, Francesco. editor.

(4)

Mayr, Heinrich C. editor.

(4)

Medina, Jesús. editor. (orcid)0000-0002-3931-5873

(4)

Melin, Patricia. author.

(4)

Merayo, Mercedes G. editor.

(4)

Muskens, Reinhard. editor.

(4)

Nicola, Rocco. editor.

(4)

Núñez, Manuel. editor.

(4)

Paige, Richard F. editor.

(4)

Palanque, Philippe. editor.

(4)

Panigrahi, Bijaya Ketan. editor.

(4)

Pogodalla, Sylvain. editor.

(4)

Risby, Bonnie Lou, author.

(4)

Risby, Bonnie Lou.

(4)

Risby, Robert K., II, author.

(4)

Robinson, Abraham, 1918-1974.

(4)

Roever, Willem-Paul. editor.

(4)

Romanovsky, Alexander. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schewe, Klaus-Dieter. editor.

(4)

Schürr, Andy. editor.

(4)

Seifert, Christin. editor. (orcid)0000-0002-6776-3868

(4)

Seipel, Dietmar. editor.

(4)

Sichman, Jaime Simão. editor.

(4)

Skavhaug, Amund. editor.

(4)

Sokolsky, Oleg. editor.

(4)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(4)

Suppes, Patrick, 1922-

(4)

Tadeusiewicz, Ryszard. editor.

(4)

Taraate, Vaibbhav. author.

(4)

Truthe, Bianca. editor.

(4)

Ungerer, Theo. editor.

(4)

Uzam, Murat, 1968- author.

(4)

Varró, Dániel. editor.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Vorozhtsov, Evgenii V. editor.

(4)

Wang, Wei. editor.

(4)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Language

(3754)

(68)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Publication Date

-

(269)

(257)

(235)

(232)

(230)

(225)

(213)

(211)

(204)

(203)

(203)

(200)

(196)

(185)

(180)

(172)

(165)

(142)

(67)

(56)

(54)

(48)

(44)

(41)

(40)

(38)

(29)

(23)

(23)

(22)

(21)

(21)

(20)

(20)

(20)

(18)

(18)

(18)

(18)

(17)

(17)

(16)

(16)

(15)

(15)

(15)

(13)

(13)

(13)

(12)

(12)

(12)

(12)

(11)

(11)

(11)

(10)

(10)

(10)

(9)

(9)

(8)

(8)

(8)

(7)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(1518)

(1202)

Software engineering.

(1078)

Artificial intelligence.

(893)

Computer Communication Networks.

(358)

Logic, Symbolic and mathematical.

(324)

(242)

Computer software.

(241)

Computer Science Logic and Foundations of Programming.

(231)

Mathematical logic.

(185)

Computational intelligence.

(175)

Machine theory.

(167)

Formal Languages and Automata Theory.

(164)

(163)

Computer logic.

(161)

(159)

Computer simulation.

(125)

Computational complexity.

(120)

Operating systems (Computers).

(115)

Philosophy (General).

(115)

Compilers (Computer programs).

(109)

Compilers and Interpreters.

(109)

Electronic books.

(109)

Information theory.

(106)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Computer science -- Mathematics.

(100)

Computer networks .

(95)

Theory of Computation.

(95)

(93)

Application software.

(91)

Programming Techniques.

(82)

Computer programming.

(81)

(81)

Programming languages (Electronic computers).

(81)

Electronic circuits.

(80)

Algebra -- Data processing.

(79)

Information storage and retrieval systems.

(78)

Information systems.

(77)

Data structures (Computer science).

(71)

(67)

Science -- Philosophy.

(65)

Mathematical Logic and Foundations.

(61)

Artificial Intelligence (incl. Robotics).

(60)

Electronic Circuits and Systems.

(60)

Computer and Information Systems Applications.

(59)

Database management.

(58)

Computer system performance.

(57)

Computer vision.

(56)

Programming Languages, Compilers, Interpreters.

(56)

Microprocessors.

(51)

Computer network architectures.

(50)

(50)

Computer science—Mathematics.

(48)

Discrete Mathematics in Computer Science.

(48)

Data Mining and Knowledge Discovery.

(46)

Systems engineering.

(46)

Computer Modelling.

(45)

Special Purpose and Application-Based Systems.

(45)

(44)

Electronic data processing.

(44)

Natural language processing (Computer science).

(44)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

Computers, Special purpose.

(40)

Engineering mathematics.

(40)

Logic programming.

(40)

Computer engineering.

(39)

Computer architecture.

(38)

Genetic epistemology.

(37)

(36)

Processor Architectures.

(36)

Bioinformatics.

(35)

Data protection.

(35)

(35)

Control engineering.

(34)

Mathematical statistics.

(33)

Algorithm Analysis and Problem Complexity.

(32)

Information Storage and Retrieval.

(32)

Mathematics of Computing.

(32)

Computer Engineering and Networks.

(31)

Discrete mathematics.

(31)

(31)

TECHNOLOGY & ENGINEERING.

(31)

(30)

Computation by Abstract Devices.

(29)

Logic circuits.

(29)

Natural Language Processing (NLP).

(29)

Signal processing.

(29)

Linguistics -- Philosophy.

(28)

Microprogramming .

(28)

Multimedia systems.

(27)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Arithmetic and Logic Structures.

(24)

(24)

Information storage and retrieval.

(24)

(24)

(24)

Computer System Implementation.

(23)

Computer security.

(23)

Computer systems.

(23)

Control Structures and Microprogramming.

(23)

(23)

Telecommunication.

(23)

Digital electronics.

(22)

Machine learning.

(22)

(22)

(21)

Electronic data processing -- Management.

(21)

(21)

Mathematics -- Philosophy.

(21)

Probability and Statistics in Computer Science.

(21)

Signal, Speech and Image Processing.

(21)

Symbolic and Algebraic Manipulation.

(21)

(20)

(19)

Control and Systems Theory.

(19)

Engineering -- Data processing.

(19)

Information Systems Applications (incl. Internet).

(19)

Numerical analysis.

(19)

Operating Systems.

(19)

System Performance and Evaluation.

(19)

Computer organization.

(18)

Data encryption (Computer science).

(18)

Electronics and Microelectronics, Instrumentation.

(18)

Internet of things.

(18)

Mathematical Applications in Computer Science.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer arithmetic and logic units.

(17)

Computer system failures.

(17)

(17)

Modality (Logic)

(17)

Operations research.

(17)

(17)

Communications Engineering, Networks.

(16)

User Interfaces and Human Computer Interaction.

(16)

Control, Robotics, Automation.

(15)

Mathematics_$xHistory.

(15)

(15)

(15)

(15)

Control theory.

(14)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Embedded computer systems.

(14)

Information technology -- Management.

(14)

Management of Computing and Information Systems.

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Social sciences -- Data processing.

(14)

Translators (Computer programs).

(14)

User interfaces (Computer systems).

(14)

Algebraic logic.

(13)

Computer Application in Administrative Data Processing.

(13)

Computer hardware.

(13)

Data and Information Security.

(13)

Electronic digital computers -- Evaluation.

(13)

MANTIKSAL DEVRELER.

(13)

Nanotechnology.

(13)

(13)

Computational linguistics.

(12)

Data Engineering.

(12)

Human-computer interaction.

(12)

(12)

Industrial engineering.

(12)

MATHEMATICS / Logic

(12)

Mathematical optimization.

(12)

(12)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(11)

Computer industry.

(11)

Cooperating objects (Computer systems).

(11)

Cyber-Physical Systems.

(11)

Data Structures and Information Theory.

(11)

Embedded Systems.

(11)

Language and logic.

(11)

Operations Research and Decision Theory.

(11)

(11)

Science -- History.

(11)

Soft computing.

(11)

Electronic circuit design.

(10)

Engineering design.

(10)

Global analysis (Mathematics).

(10)

Knowledge, Theory of.

(10)

Language and languages -- Philosophy.

(10)

MATHEMATICS / General

(10)

Memory management (Computer science).

(10)

PHILOSOPHY / Logic

(10)

Philosophy of mind.

(10)

TECHNOLOGY / Electronics / Circuits / General

(10)

(9)

Computer graphics.

(9)

Data structures (Computer scienc.

(9)

(9)

Material Type

Shelf Location

Beytepe Art Collection

Beytepe CD-ROM Koleksiyonu

Beytepe Danışma Koleksiyonu

Beytepe General Collection

Beytepe Görsel-İşitsel Koleksiyonu

Beytepe Tez Koleksiyonu

Electronic Library

Konservatuvar Genel Koleksiyon

Law General Collection

Prof.Dr.Onur Bilge Kulak Collection

Sağlık Bilimleri Genel Koleksiyon

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

Conservatory Library

Health Sciences Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

3889 Results Found

Subscribe to search results

1 .. 5 6 7 8 9 .. 325

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

73.

Cover image for Combinatory logic. Volume II

Combinatory logic. Volume II

Combinatory logic. Volume II

Author

Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422085

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA9 M4 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

75.

Cover image for VHDL for logic synthesis

VHDL for logic synthesis

VHDL for logic synthesis

Author

Rushton, Andrew.

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=41715
John Wiley http://dx.doi.org/10.1002/9781119995852
http://proquest.safaribooksonline.com/?fpi=9780470688472
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg
http://proquest.safaribooksonline.com/9780470688472

Format:

Availability

Online Library~1

Available:
Copies:

76.

Cover image for Studies in Legal Logic

Studies in Legal Logic

Studies in Legal Logic

Author

Hage, Jaap. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3552-7

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Introduction to medieval logic

Introduction to medieval logic

Introduction to medieval logic

Author

Broadie, Alexander.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

78.

Cover image for The logic of sense

The logic of sense

The logic of sense

Author

Deleuze, Gilles.

Preferred Shelf Number

B840 D3813 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

79.

Cover image for Fundamentals of computer logic

Fundamentals of computer logic

Fundamentals of computer logic

Author

Hutchison, David.

Preferred Shelf Number

TK 7888.4 H97 1981

Format:

Availability

Beytepe Library~1

Available:
Copies:

80.

Cover image for The logic of poetry

The logic of poetry

The logic of poetry

Author

Monaco, Richard. Briggs, J., ort. yaz.

Preferred Shelf Number

PN 1059 M4 M6

Format:

Availability

Beytepe Library~1

Available:
Copies:

81.

Cover image for Language, logic and god

Language, logic and god

Language, logic and god

Author

Ferre, Frederick.

Preferred Shelf Number

B 824.6 F4 1969

Format:

Availability

Beytepe Library~1

Available:
Copies:

82.

Cover image for Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

Author

Mendelson, Elliott.

Preferred Shelf Number

QA 9 M4 1964

Format:

Availability

Beytepe Library~1

Available:
Copies:

83.

Cover image for Advances in modal logic

Advances in modal logic

Advances in modal logic

Author

Kracht, Marcus, ed.

Preferred Shelf Number

BC 199.M6 A38 1998- V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

84.

Cover image for Logic in Computer Science

Logic in Computer Science

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 5 6 7 8 9 .. 325

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11