Search Results for Logic

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computers.

Author

SpringerLink (Online service)

(65)

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

(3)

Ait Ameur, Yamine. editor.

(2)

Kunčak, Viktor. editor.

(2)

Legay, Axel. editor.

(2)

Majumdar, Rupak. editor.

(2)

Ortuño, Francisco. editor.

(2)

Potapov, Igor. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

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

(2)

Tasiran, Serdar. editor.

(2)

Valenzuela, Olga. editor.

(2)

Agrawal, Manindra. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Alvim, Mário S. editor.

(1)

Andreasen, Troels. editor.

(1)

Artho, Cyrille. editor.

(1)

Barla, Annalisa. editor. (orcid)0000-0002-3436-035X

(1)

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

(1)

Bensalem, Saddek. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

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

(1)

Bozga, Marius. editor.

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Bures, Tomas. editor.

(1)

Calude, Cristian S. editor.

(1)

Casadio, Claudia. editor.

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Chatzikokolakis, Kostas. editor.

(1)

Christiansen, Henning. editor.

(1)

Coecke, Bob. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Cooper, S. Barry. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Dediu, Adrian-Horia. editor.

(1)

Diaz, Josep. editor.

(1)

Dillig, Isil. editor.

(1)

Duarte-González, Mario. editor.

(1)

Duchien, Laurence. editor. (orcid)0000-0002-4517-5862

(1)

Díaz-Gutierrez, Yesid. editor.

(1)

Egly, Uwe. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(1)

Filiot, Emmanuel. editor.

(1)

Freivalds, Rūsiņš. editor.

(1)

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

(1)

Gavrilova, Marina L. editor.

(1)

Gopal, T V. editor.

(1)

Graf, Susanne. editor.

(1)

Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828

(1)

Greco, Sergio. editor.

(1)

Grünbacher, Paul. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hirsch, Edward. editor.

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Holzer, Markus. editor.

(1)

Inverardi, Paola. editor.

(1)

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

(1)

Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X

(1)

Jiang, He. editor. (orcid)0000-0001-8674-4948

(1)

Jones, Cliff. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kazuo, Iwama. editor.

(1)

Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Krantz, Steven George, 1951-

(1)

Kutrib, Martin. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Lakhnech, Yassine. editor.

(1)

Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Larsen, Henrik Legind. editor.

(1)

Larsen, Kim G. editor.

(1)

Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835

(1)

Li, Angsheng. editor.

(1)

Li, Ge. editor.

(1)

Li, Ming. editor.

(1)

Li, Zheng. editor. (orcid)0000-0002-3938-7033

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

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

(1)

Lumpe, Markus. editor.

(1)

Lutz, Carsten. editor.

(1)

Lynce, Inês. editor. (orcid)0000-0003-4868-415X

(1)

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

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

McMillan, Kenneth. editor.

(1)

Meduna, Alexander. author.

(1)

Metcalfe, George. editor.

(1)

Minato, Shin-ichi. editor.

(1)

Moortgat, Michael. editor.

(1)

Muscholl, Anca. editor.

(1)

O'Regan, Gerard. author.

(1)

Okhotin, Alexander. editor.

(1)

Olarte, Carlos. editor.

(1)

Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603

(1)

Ouaknine, Joel. editor.

(1)

Paes, Aline. editor.

(1)

Pal, Ajit. author.

(1)

Palamidessi, Catuscia. editor.

(1)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(1)

Peterson, Leif. editor. (orcid)0000-0002-1187-0883

(1)

Peña, Ricardo. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Pin, Jean-Éric. editor.

(1)

Policriti, Alberto. editor. (orcid)0000-0001-8502-5896

(1)

Proença, José. editor.

(1)

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050

(1)

Raad, Azalea. editor. (orcid)0000-0002-2319-3242

(1)

Ranganathan, Nagarajan. editor.

(1)

Reynolds, Andrew. editor.

(1)

Rival, Xavier. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Roy, Shirshendu. author.

(1)

Saccà, Domenico. editor.

(1)

Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034

(1)

Sangiorgi, Davide. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Sattler, Uli. editor.

(1)

Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563

(1)

Scott, Philip. editor.

(1)

Shur, Arseny M. editor.

(1)

Sierra-Rodríguez, José-Luis. editor.

(1)

Sinz, Carsten. editor.

(1)

Studer, Thomas. editor.

(1)

Sun, Jun. editor.

(1)

Tagliaferri, Roberto. editor. (orcid)0000-0001-8134-9025

(1)

Tan, C.J. Kenneth. editor.

(1)

Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748

(1)

Thapliyal, Himanshu. editor.

(1)

Tinelli, Cesare. editor.

(1)

Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652

(1)

Troubitsyna, Elena A. editor.

(1)

Truthe, Bianca. editor.

(1)

Turhan, Anni-Yasmin. editor.

(1)

Valencia, Frank. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(1)

Volkov, Mikhail V. editor.

(1)

Wagner, Roland. editor.

(1)

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

(1)

Wiels, Virginie. editor.

(1)

Wolter, Frank. editor.

(1)

Worrell, James. editor.

(1)

Yamashita, Shigeru. editor.

(1)

Yarımağan, Ünal.

(1)

Zaverucha, Gerson. editor.

(1)

Zemek, Petr. author.

(1)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(1)

Zhang, Zili. editor.

(1)

Zhou, Minghui. editor.

(1)

de Oliveira, Pedro P. B. editor. (orcid)0000-0002-6022-0270

(1)

de Queiroz, Ruy. editor. (orcid)0000-0003-1482-0977

(1)

Ábrahám, Erika. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Özçep, Özgür Lütfü. author.

(1)

Language

(66)

(1)

Publication Date

-

(29)

(24)

(7)

(3)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(35)

Mathematical logic.

(31)

Computer logic.

(29)

Artificial intelligence.

(20)

Computer science.

(11)

(9)

Programming languages (Electronic computers).

(9)

Computer Science Logic and Foundations of Programming.

(8)

Computer science—Mathematics.

(8)

(7)

Computer system failures.

(6)

Computer Hardware.

(5)

Computer programming.

(5)

(5)

The Computing Profession.

(5)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Information storage and retrieval.

(4)

Bioinformatics.

(3)

Computer security.

(3)

Data structures (Computer science).

(3)

Electronic digital computers -- Evaluation.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

System Performance and Evaluation.

(3)

Application software.

(2)

Computer System Implementation.

(2)

Computer communication systems.

(2)

Computer organization.

(2)

Computer simulation.

(2)

Computer systems.

(2)

Computers, Special purpose.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

(2)

Logic programming.

(2)

Machine learning.

(2)

Mathematical statistics.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Programming Techniques.

(2)

Special Purpose and Application-Based Systems.

(2)

Arithmetic and logic units, Computer.

(1)

(1)

BİLGİSAYARLAR.

(1)

(1)

Computer Modelling.

(1)

Computer and Information Systems Applications.

(1)

Computer science -- Mathematics.

(1)

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

(1)

Computer-aided engineering.

(1)

Computing Milieux.

(1)

Database management.

(1)

ELEKTRONİK VERİ İŞLEM.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic data processing -- Management.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Hardware Performance and Reliability.

(1)

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information theory.

(1)

Logic circuits.

(1)

Management information systems.

(1)

Mantıksal devreler.

(1)

Mantıksal tasarım.

(1)

Matematiksel mantık.

(1)

Mathematical Applications in Computer Science.

(1)

Microprocessors.

(1)

Quantum computers.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

67 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

13.

Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31517-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31019-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Author

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35166-3

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20656-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Author

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34968-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Author

Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30806-3

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Author

Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17935-9

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

Author

Cuzzocrea, Alfredo. editor. Greco, Sergio. editor. Larsen, Henrik Legind. editor. Saccà, Domenico. editor. Andreasen, Troels. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27629-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I

Author

Rojas, Ignacio. editor. Valenzuela, Olga. editor. Rojas, Fernando. editor. Ortuño, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17938-0

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Author

Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29983-5

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60531-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17462-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11