Search Results for Mathematical 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: Software engineering.

Author

SpringerLink (Online service)

(98)

Bloem, Roderick. editor.

(2)

Legay, Axel. editor.

(2)

Petre, Luigia. editor.

(2)

Potapov, Igor. editor.

(2)

Son, Tran Cao. editor.

(2)

Sun, Jun. editor.

(2)

Tasiran, Serdar. editor.

(2)

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

(2)

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

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Albert, Elvira. editor.

(1)

Artho, Cyrille. editor.

(1)

Barais, Olivier. editor.

(1)

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

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Beyer, Dirk. editor.

(1)

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

(1)

Biere, Armin. editor.

(1)

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

(1)

Binder, Walter. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Boiten, Eerke A. author.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor.

(1)

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

(1)

Bravetti, Mario. editor.

(1)

Bulling, Nils. editor.

(1)

Cabalar, Pedro. editor.

(1)

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

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cellier, Peggy. editor.

(1)

Clarke, Edmund M. editor.

(1)

Cleaveland, Rance. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Crossley, John Newsome. author.

(1)

Czarnecki, Krzysztof. editor.

(1)

Derrick, John. author.

(1)

Dierkes, Michael. editor.

(1)

Dillig, Isil. editor.

(1)

Distel, Felix. editor.

(1)

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

(1)

Duchier, Denys. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

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

(1)

Feliachi, Abderrahmane. editor.

(1)

Fiadeiro, José Luiz. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

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

(1)

Fleuriot, Jacques. editor.

(1)

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

(1)

Fontaine, Pascal. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gailly, Frederik. editor.

(1)

Galmiche, Didier. editor.

(1)

Ganter, Bernhard. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

George, Laurent. editor.

(1)

Giachino, Elena. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Giese, Holger. editor.

(1)

Goertzel, Ben. editor.

(1)

Graf, Susanne. editor.

(1)

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

(1)

Groves, Lindsay. editor.

(1)

Grädel, Erich. author.

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Gupta, Gopal. editor.

(1)

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

(1)

Hedin, Görel. editor.

(1)

Henzinger, Thomas A. editor.

(1)

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

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Hofman, Piotrek. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutter, Dieter. editor.

(1)

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

(1)

Hähnle, Reiner. editor.

(1)

Ida, Tetsuo. editor.

(1)

Iida, Shusaku. editor.

(1)

Jamroga, Wojtek. editor.

(1)

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

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jones, Richard. editor.

(1)

Karhumäki, Juhani. editor.

(1)

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

(1)

Khan, Md. Aquil. editor.

(1)

Kolaitis, Phokion G. author.

(1)

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

(1)

Kroening, Daniel. editor.

(1)

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

(1)

König, Barbara. editor.

(1)

Kühnberger, Kai-Uwe. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Leite, João. editor.

(1)

Lepistö, Arto. editor.

(1)

Li, Ge. editor.

(1)

Li, Ming. editor.

(1)

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

(1)

Libkin, Leonid. author.

(1)

Liu, Shaoying. editor.

(1)

Liu, Zhiming. editor.

(1)

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

(1)

Logozzo, Francesco. editor.

(1)

Lutz, Carsten. editor.

(1)

Lämmel, Ralf. editor.

(1)

Löwe, Welf. editor.

(1)

Manuel, Amaldev. editor.

(1)

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

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Marx, Maarten. author.

(1)

Mastroeni, Isabella. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Merz, Stephan. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Middeldorp, Aart. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Muntean, Traian. editor.

(1)

Nahir, Amir. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

Ong, Luke. editor.

(1)

Orseau, Laurent. editor.

(1)

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

(1)

Ouaknine, Joel. editor.

(1)

O’Regan, Gerard. author.

(1)

Paige, Richard F. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pang, Jun. editor.

(1)

Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Parmentier, Yannick. editor.

(1)

Paule, Peter. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pearce, David. editor.

(1)

Pecheur, Charles. editor.

(1)

Peña, Ricardo. editor.

(1)

Pfenning, Frank. editor.

(1)

Pichardie, David. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Poernomo, Iman Hafiz. author.

(1)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(1)

Poulakis, Dimitrios. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Rauzy, Antoine. editor.

(1)

Remke, Anne. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Rolland, Robert. editor.

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor.

(1)

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

(1)

Rudolph, Sebastian. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Salaün, Gwen. editor.

(1)

Sannella, Donald. author.

(1)

Saraiva, João. editor.

(1)

Sattler, Uli. editor.

(1)

Schmidt, Renate A. editor.

(1)

Shan, Chung-chieh. editor.

(1)

Singh, Neeraj Kumar. author.

(1)

Skrzypczak, Michał. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Snaider, Javier. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Spencer, Joel. author.

(1)

Spivakovsky, Aleksander. editor.

(1)

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

(1)

Stephan, Werner. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sun, Jing. editor.

(1)

Suzana Pitangueira Maciel, Rita. editor.

(1)

Tarlecki, Andrzej. author.

(1)

Thomas, Martyn. editor.

(1)

Tinelli, Cesare. editor.

(1)

Language

(98)

Publication Date

-

(44)

(24)

(24)

(3)

(1)

(1)

(1)

Subject

Computer science.

(54)

Mathematical logic.

(48)

Mathematical Logic and Formal Languages.

(43)

(39)

Artificial intelligence.

(35)

Logics and Meanings of Programs.

(34)

Computer logic.

(32)

Programming Languages, Compilers, Interpreters.

(25)

Artificial Intelligence (incl. Robotics).

(19)

Programming Techniques.

(17)

Programming languages (Electronic computers).

(17)

(13)

Computer software.

(11)

Algorithm Analysis and Problem Complexity.

(10)

Computation by Abstract Devices.

(8)

Computer simulation.

(8)

(8)

Computer Communication Networks.

(7)

Computer programming.

(7)

Logic, Symbolic and mathematical.

(7)

Computational complexity.

(5)

Computer communication systems.

(5)

Computer system failures.

(5)

Discrete Mathematics in Computer Science.

(5)

Computer science—Mathematics.

(4)

Information theory.

(4)

Simulation and Modeling.

(4)

Application software.

(3)

Database management.

(3)

Information Systems Applications (incl. Internet).

(3)

Information Systems.

(3)

Management information systems.

(3)

Management of Computing and Information Systems.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Algebra -- Data processing.

(2)

(2)

Data structures (Computer science).

(2)

Natural language processing (Computer science).

(2)

Symbolic and Algebraic Manipulation.

(2)

Theory of Computation.

(2)

(1)

Computer Science, general.

(1)

Computer graphics.

(1)

Computer organization.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Data protection.

(1)

Health Informatics.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematics of Computing.

(1)

(1)

Medical records -- Data processing.

(1)

Microprogramming .

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Pattern Recognition.

(1)

Pattern recognition.

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

(1)

Systems and Data Security.

(1)

Material Type

Shelf Location

Electronic Library

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

98 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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 Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Author

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Author

Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Author

Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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:

18.

Cover image for Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Author

Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58771-3

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

Author

Uden, Lorna. editor. Ting, I-Hsien. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Author

Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Author

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35540-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 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11