Search Results for Computer 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: Algorithms.

Author

SpringerLink (Online service)

(96)

Gerdt, Vladimir P. editor.

(3)

Koepf, Wolfram. editor.

(3)

Legay, Axel. editor.

(3)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(2)

Câmpeanu, Cezar. editor.

(2)

Manea, Florin. editor.

(2)

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

(2)

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

(2)

Mousavi, Mohammad Reza. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Potapov, Igor. editor.

(2)

Proença, José. editor.

(2)

Seiler, Werner M. editor.

(2)

Vorozhtsov, Evgenii V. editor.

(2)

de Queiroz, Ruy. editor.

(2)

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

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

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

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Abraham, Erika. editor.

(1)

Amos, Martyn. editor.

(1)

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

(1)

Artho, Cyrille. editor.

(1)

Artner, Nicole M. editor.

(1)

Barrett, Clark. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Berger, Christian. editor.

(1)

Berry, Stuart. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

Bourgeois, Anu. editor.

(1)

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

(1)

Brlek, Srečko. editor.

(1)

Brunato, Mauro. editor. (orcid)0000-0002-7885-4255

(1)

Cai, Zhipeng. editor.

(1)

Carmona, Josep. editor.

(1)

Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620

(1)

Charlier, Émilie. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Colinet, Margot. editor.

(1)

Condon, Anne. editor.

(1)

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

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Devitt, Simon. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Dixon, Clare. editor.

(1)

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

(1)

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

(1)

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

(1)

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

(1)

Du, Dingzhu. editor.

(1)

Echahed, Rachid. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Engels, Gregor. editor.

(1)

Esparza, Javier. editor.

(1)

Falcone, Yliès. editor.

(1)

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

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Fellows, Michael. editor.

(1)

Ferragina, Paolo. author.

(1)

Festa, Paola. editor.

(1)

Finger, Marcelo. editor.

(1)

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

(1)

Gamboa, Ruben. editor.

(1)

Garbinato, Benoît. editor.

(1)

Gavanelli, Marco. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Ghosh, Sujata. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Gopal, T.V. editor.

(1)

Greenberg, Noam. editor.

(1)

Göbel, Susanne. author.

(1)

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

(1)

Hague, Matthew. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

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

(1)

He, Kun. editor.

(1)

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

(1)

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

(1)

Herrera-Alcántara, Oscar. editor.

(1)

Hirsch, Edward. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Holmes, Ian. editor. (orcid)0000-0001-7639-5369

(1)

Iemhoff, Rosalie. editor.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Janusch, Ines. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jäger, Gerhard. editor.

(1)

Kahsai, Temesghen. editor.

(1)

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

(1)

Katrenko, Sophia. editor.

(1)

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X

(1)

Khoussainov, Bakhadyr. editor.

(1)

Klasing, Ralf. editor.

(1)

Kleijn, Jetty. editor.

(1)

Klein, Gerwin. editor.

(1)

Kneusel, Ronald T. author.

(1)

Knight, William. author.

(1)

Kordy, Barbara. editor.

(1)

Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kropatsch, Walter G. editor.

(1)

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

(1)

Kulikov, Alexander S. editor.

(1)

Kumar, Akhil. editor.

(1)

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

(1)

Kvasov, Dmitri E. editor.

(1)

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

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371

(1)

Leroy, Julien. editor.

(1)

Li, Lian. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X

(1)

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

(1)

Lowndes, Val. editor.

(1)

Luccio, Fabrizio. author.

(1)

Lumpe, Markus. editor.

(1)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(1)

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

(1)

Martin, Barnaby. editor.

(1)

Mauw, Sjouke. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Melnikov, Alexander. editor.

(1)

Merz, Stephan. editor.

(1)

Minas, Mark. editor.

(1)

Miranda-Jiménez, Sabino. editor.

(1)

Moortgat, Michael. editor.

(1)

Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581

(1)

Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Omodeo, Eugenio G. author.

(1)

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

(1)

Papadopoulos, Yiannis. editor.

(1)

Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X

(1)

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

(1)

Paule, Peter. editor.

(1)

Paulusma, Daniël. editor.

(1)

Penczek, Wojciech. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pichardo-Lagunas, Obdulia. editor.

(1)

Pighizzini, Giovanni. editor.

(1)

Policriti, Alberto. author.

(1)

Poole, Stephen. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Probst, Christian W. editor.

(1)

Rauzy, Antoine. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Rensink, Arend. editor.

(1)

Reppy, John. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Rigo, Michel. editor.

(1)

Rival, Xavier. editor.

(1)

Rosamond, Frances. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Salomaa, Arto. editor.

(1)

Salomaa, Kai. editor.

(1)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(1)

Sellmann, Meinolf. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Sergeyev, Yaroslav D. editor.

(1)

Sgall, Jiří. editor.

(1)

Shallit, Jeffrey. editor.

(1)

Shamis, Pavel. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Sidorov, Grigori. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skrzypczak, Michał. author.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sokolova, Ana. editor. (orcid)0000-0002-8384-3438

(1)

Srba, Jiří. editor.

(1)

Steila, Silvia. editor.

(1)

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

(1)

Sánchez, César. editor.

(1)

Tomescu, Alexandru I. author.

(1)

Trovati, Marcello. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X

(1)

Vereshchagin, Nikolay. editor.

(1)

Verykios, Vassilios S. editor.

(1)

Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399

(1)

Vrajitoru, Dana. author.

(1)

Väänänen, Jouko. editor.

(1)

Language

(96)

Publication Date

-

(35)

(22)

(20)

(11)

(4)

(3)

(1)

Subject

Computer science.

(58)

Computer Science Logic and Foundations of Programming.

(57)

Software engineering.

(52)

Formal Languages and Automata Theory.

(39)

Machine theory.

(39)

Artificial intelligence.

(28)

Computer logic.

(25)

Computer science -- Mathematics.

(21)

Theory of Computation.

(21)

Compilers (Computer programs).

(19)

Compilers and Interpreters.

(19)

Discrete mathematics.

(15)

Discrete Mathematics in Computer Science.

(14)

Mathematical logic.

(14)

Computer programming.

(11)

Computer science—Mathematics.

(11)

Computer simulation.

(11)

Computer networks .

(10)

Programming Techniques.

(10)

Programming languages (Electronic computers).

(10)

Computer Modelling.

(9)

Application software.

(8)

Computer and Information Systems Applications.

(7)

Arithmetic and logic units, Computer.

(6)

Computer Communication Networks.

(6)

Numerical analysis.

(6)

Artificial intelligence -- Data processing.

(5)

(5)

Data structures (Computer science).

(5)

Design and Analysis of Algorithms.

(5)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Mathematics of Computing.

(4)

Arithmetic and Logic Structures.

(3)

Computer arithmetic and logic units.

(3)

Computer vision.

(3)

(3)

Information theory.

(3)

Automated Pattern Recognition.

(2)

Computer communication systems.

(2)

Computer graphics.

(2)

Computer system failures.

(2)

Computers, Special purpose.

(2)

Electronic digital computers -- Evaluation.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematics -- Data processing.

(2)

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Pattern recognition systems.

(2)

Special Purpose and Application-Based Systems.

(2)

Special purpose computers.

(2)

Symbolic and Algebraic Manipulation.

(2)

System Performance and Evaluation.

(2)

Applications of Mathematics.

(1)

Bioinformatics.

(1)

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer security.

(1)

Computer software.

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Database management.

(1)

Electronic data processing -- Management.

(1)

(1)

(1)

Information technology -- Management.

(1)

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Probability and Statistics in Computer Science.

(1)

(1)

Python (Computer program language).

(1)

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Software Engineering/Programming and Operating Systems.

(1)

The Computing Profession.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

96 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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 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:

26.

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:

27.

Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Author

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Author

Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18174-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II

Author

Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Author

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54577-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Author

Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

Author

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Author

Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66167-4

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics

On Sets and Graphs Perspectives on Logic and Combinatorics

On Sets and Graphs Perspectives on Logic and Combinatorics

Author

Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Author

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65000-5

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11