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:

+

Subject: Compilers (Computer programs).

Author

SpringerLink (Online service)

(109)

Legay, Axel. editor.

(4)

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

(4)

Artho, Cyrille. editor.

(3)

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

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

De Nicola, Rocco. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Proença, José. editor.

(2)

Schoitsch, Erwin. editor.

(2)

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

(2)

Tonetta, Stefano. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Alkhalaf, Muath. author.

(1)

An, Bo. editor.

(1)

Arbel, Eli. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bader, Markus. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Barrett, Clark. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouajjani, Ahmed. editor.

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Butler, Michael. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chopra, Amit K. editor.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Devitt, Simon. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

England, Matthew. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Esposito, Floriana. editor.

(1)

Falcone, Yliès. editor.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Furia, Carlo A. editor.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Gavanelli, Marco. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

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

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Grabowski, Jens. editor.

(1)

Guerra, Esther. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Herbold, Steffen. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hirayama, Katsutoshi. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jacobs, Bart. editor.

(1)

Jalote, Pankaj. author.

(1)

James, Phillip. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Josipović, Lana. author.

(1)

Kahsai, Temesghen. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

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

(1)

King, Andy. editor.

(1)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(1)

Knapp, Alexander. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kovács, Gábor. editor.

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kushik, Natalia. editor.

(1)

Kühn, Eva. editor.

(1)

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

(1)

Langerak, Rom. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lecomte, Thierry. editor.

(1)

Lee, Kent D. author.

(1)

Leino, K. Rustan M. editor.

(1)

Leite, João. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Leuschel, Michael. editor. (orcid)0000-0002-4595-1518

(1)

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

(1)

Lindley, Sam. editor.

(1)

Lisi, Francesca A. editor.

(1)

Liu, Yu David. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lucanu, Dorel. editor.

(1)

Lumpe, Markus. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löding, Christof. editor.

(1)

Lönn, Henrik. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Mardare, Radu. editor.

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Mayr, Heinrich C. editor.

(1)

Mazzara, Manuel. editor.

(1)

McBride, Conor. editor.

(1)

Menzies, Tim. editor.

(1)

Miller, Bruce. editor.

(1)

Monniaux, David. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Murawski, Andrzej S. editor.

(1)

Muñoz, César A. editor.

(1)

Müller, Matthias S. editor.

(1)

Nalon, Cláudia. editor.

(1)

Nica, Mihai. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Olivetti, Nicola. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

Peled, Doron. editor.

(1)

Petke, Justyna. editor.

(1)

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268

(1)

Pinho, Luís Miguel. editor.

(1)

Probst, Christian W. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Rabe, Florian. editor.

(1)

Ranzato, Francesco. editor.

(1)

Raskin, Jean-François. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Rensink, Arend. editor.

(1)

Reppy, John. editor.

(1)

Ribeiro, Leila. editor.

(1)

Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026

(1)

Rival, Xavier. editor.

(1)

Roggenbach, Markus. editor.

(1)

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

(1)

Roscoe, Bill. editor.

(1)

Rubin, Julia. editor.

(1)

Réthy, György. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Saraiva, João. editor.

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schmidt, Renate A. editor.

(1)

Schmitt, Peter H. editor.

(1)

Seceleanu, Cristina. editor.

(1)

Serrano, Manuel. editor.

(1)

Language

(109)

Publication Date

-

(54)

(46)

(5)

(4)

Subject

Compilers and Interpreters.

(109)

Computer science.

(101)

Computer Science Logic and Foundations of Programming.

(98)

Software engineering.

(93)

Formal Languages and Automata Theory.

(74)

Machine theory.

(74)

Computer programming.

(38)

Programming Techniques.

(38)

Artificial intelligence.

(31)

Computer networks .

(21)

(20)

Theory of Computation.

(19)

Computer Modelling.

(13)

Computer simulation.

(13)

Computer Communication Networks.

(12)

Application software.

(11)

Computer and Information Systems Applications.

(11)

Electronic data processing -- Management.

(11)

(11)

Computers, Special purpose.

(10)

Special Purpose and Application-Based Systems.

(10)

Computer Engineering and Networks.

(9)

Computer engineering.

(9)

(6)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Computer science -- Mathematics.

(4)

(4)

Data and Information Security.

(4)

Data protection.

(4)

Electronic digital computers -- Evaluation.

(4)

System Performance and Evaluation.

(4)

Computer System Implementation.

(3)

Computer systems.

(3)

(3)

The Computing Profession.

(3)

Computer Application in Administrative Data Processing.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

C++ (Computer program language).

(1)

(1)

Coding and Information Theory.

(1)

(1)

Computer Memory Structure.

(1)

Computer architecture.

(1)

Computer hardware description languages.

(1)

Computer input-output equipment.

(1)

Computer storage devices.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Control Structures and Microprogramming.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Design and Analysis of Algorithms.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Human-computer interaction.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Input/Output and Data Communications.

(1)

(1)

Logic programming.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical logic.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Memory management (Computer science).

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Models of Computation.

(1)

(1)

Open source software.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Register-Transfer-Level Implementation.

(1)

Symbolic and Algebraic Manipulation.

(1)

Theory and Algorithms for Application Domains.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

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

109 Results Found

Subscribe to search results

1 2 3 4 5 .. 10

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 Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Author

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71291-3

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Author

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68670-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Author

Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66107-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Author

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67113-0

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Author

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65948-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Author

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66299-2

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Author

Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70169-1

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Author

Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68953-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53946-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70389-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Author

James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72044-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author

Yang, Hongseok. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54434-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 10

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11