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

Narrowed by:

+

Konu: Computer logic.

Author

SpringerLink (Online service)

(155)

Legay, Axel. editor.

(3)

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

(3)

Ait Ameur, Yamine. editor.

(2)

Artho, Cyrille. editor.

(2)

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

(2)

Bondavalli, Andrea. editor.

(2)

Fiadeiro, José Luiz. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Hospodár, Michal. editor.

(2)

Jirásková, Galina. editor.

(2)

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

(2)

Meseguer, José. editor.

(2)

Moortgat, Michael. editor.

(2)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(2)

Palamidessi, Catuscia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Potapov, Igor. editor.

(2)

Roman, Dumitru. editor.

(2)

Sattler, Uli. editor.

(2)

Schaefer, Ina. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sun, Jun. editor.

(2)

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

(2)

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

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

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

(1)

Albert, Elvira. editor.

(1)

Amyot, Daniel. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177

(1)

Avgeriou, Paris. editor.

(1)

Baldan, Paolo. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Barkatou, Moulay. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Beierle, Christoph. editor.

(1)

Ben Amor, Nahla. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bernardi, Raffaella. editor.

(1)

Bernardo, Marco. editor.

(1)

Berstel-Da Silva, Bruno. author.

(1)

Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Bikakis, Antonis. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bourgeois, Anu. editor.

(1)

Bozga, Marius. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bulling, Nils. editor.

(1)

Cabot, Jordi. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cariani, Fabrizio. editor.

(1)

Casadio, Claudia. editor.

(1)

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

(1)

Ceccarelli, Andrea. editor.

(1)

Chamberlain, Roger. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chauhan, Naresh. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Cheng, Yong. author.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Codish, Michael. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

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

(1)

Damiani, Ferruccio. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Di Ruscio, Davide. editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dowek, Gilles. editor.

(1)

Droste, Manfred. editor. (orcid)0000-0001-9128-8844

(1)

Duan, Zhenhua. editor.

(1)

Enea, Constantin. editor.

(1)

Ermolayev, Vadim. editor.

(1)

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

(1)

Esparza, Javier. editor.

(1)

Fages, François. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fermé, Eduardo. editor.

(1)

Fernández, Maribel. author.

(1)

Filiot, Emmanuel. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fischbach, Kai. editor.

(1)

Fitzgerald, John. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fodor, Paul. editor.

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Fontaine, Pascal. editor.

(1)

Gamboa, Ruben. editor.

(1)

Garrigue, Jacques. editor.

(1)

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

(1)

Given-Wilson, Thomas. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Grossi, Davide. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guan, Nan. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. editor.

(1)

Guttman, Joshua D. editor.

(1)

Guttmann, Christian. editor. (orcid)0000-0001-9509-7551

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Haddad, Serge. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Harel, David, 1950-

(1)

Harrison, John.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Heisel, Maritta. editor.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Herrero, Pau. editor. (orcid)0000-0002-7088-5807

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446

(1)

Hirsch, Edward. editor.

(1)

Hoda, M. N. editor.

(1)

Hofman, Piotrek. editor.

(1)

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

(1)

Horváth, András. editor.

(1)

Huang, Shujian. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Höfner, Peter. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Shusaku. editor.

(1)

Insfran, Emilio. editor.

(1)

Jamroga, Wojtek. editor.

(1)

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

(1)

Jipsen, Peter. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Joosen, Wouter. editor.

(1)

Jungers, Raphaël. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katrenko, Sophia. editor.

(1)

Katsaros, Panagiotis. editor.

(1)

Keller, Chantal. editor.

(1)

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391

(1)

Khan, Md. Aquil. editor.

(1)

Kindler, Ekkart. editor.

(1)

Klein, Gerwin. author.

(1)

Klein, Gerwin. editor.

(1)

Knight, Kevin. editor.

(1)

Knight, William. author.

(1)

Kobele, Greg. editor.

(1)

Koch, Fernando. editor. (orcid)0000-0001-7136-3253

(1)

Konstantinidis, Stavros. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

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

(1)

Koster, Andrew. editor. (orcid)0000-0001-5976-7183

(1)

Koutny, Maciej. editor.

(1)

Kozen, Dexter, 1951-

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424

(1)

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

(1)

Kühn, Eva. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Peter Gorm. editor.

(1)

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

(1)

Leake, David. editor.

(1)

Leite, Joao. editor.

(1)

Lenz, Richard. editor. (orcid)0000-0003-1551-4824

(1)

Leone, Nicola. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lifschitz, Vladimir. author.

(1)

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

(1)

Liu, Shaoying. editor.

(1)

Language

(161)

Publication Date

-

(88)

(68)

(2)

(1)

(1)

(1)

Subject

Software engineering.

(96)

Mathematical logic.

(64)

Programming languages (Electronic computers).

(58)

Artificial intelligence.

(56)

(29)

(25)

Computer science—Mathematics.

(21)

Computer programming.

(18)

Computer communication systems.

(12)

Application software.

(11)

Computer system failures.

(11)

Computer science.

(10)

Computer organization.

(8)

Computer simulation.

(8)

Database management.

(7)

Management information systems.

(7)

Mathematical statistics.

(7)

Special purpose computers.

(5)

Data structures (Computer science).

(4)

Natural language processing (Computer science).

(4)

Numerical analysis.

(4)

Computer security.

(3)

Information storage and retrieval.

(3)

Information theory.

(3)

Optical data processing.

(3)

Architecture, Computer.

(2)

(2)

(2)

Microprogramming .

(2)

Bioinformatics.

(1)

Boole, George, 1815-1864.

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Networking / General

(1)

COMPUTERS / Networking / Security

(1)

Computer algorithms.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computers and civilization.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Education—Data processing.

(1)

Electrical engineers -- United States -- Biography.

(1)

Electronic circuits.

(1)

Formal methods (Computer science)

(1)

Health informatics.

(1)

Human-computer interaction.

(1)

(1)

(1)

Logicians -- Great Britain -- Biography.

(1)

Partial differential equations.

(1)

Pattern recognition.

(1)

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

User interfaces (Computer systems).

(1)

User-centered system design.

(1)

(1)

creative design

(1)

design rationale

(1)

(1)

knowledge capture

(1)

(1)

(1)

usability engineering

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

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

161 Results Found

Subscribe to search results

1 2 3 4 5 .. 14

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.

25.

Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Author

van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30942-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Theoretical Aspects of Computing – ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Author

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446 Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32304-2

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings

Author

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28796-2

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Author

Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Author

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11