Search Results for Logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

15

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Algorithms.

Author

SpringerLink (Online service)

(74)

(2)

Anguita, Davide. author.

(2)

Cooper, S. Barry. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Donzellini, Giuliano. author.

(2)

IEEE Engineering in Medicine and Biology Society.

(2)

Löwe, Benedikt. editor.

(2)

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

(2)

Oneto, Luca. author.

(2)

Pin, Jean-Éric. editor.

(2)

Ponta, Domenico. author.

(2)

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

(2)

Ésik, Zoltán. editor.

(2)

Abraham, Erika. editor.

(1)

Agrawal, Manindra. editor.

(1)

Alpuente, María. editor.

(1)

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

(1)

Artho, Cyrille. editor.

(1)

Aĭzerman, M. A. (Mark Aronovich), 1913-

(1)

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

(1)

Batyrshin, Ildar. editor.

(1)

Beckmann, Arnold. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Biondi, Fabrizio. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bourgeois, Anu. editor.

(1)

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

(1)

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

(1)

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X

(1)

Cai, Zhipeng. editor.

(1)

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

(1)

Chaves, Madalena. editor.

(1)

Chen, Jianer. editor.

(1)

Chen, Xiaoyun. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

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

(1)

Colinet, Margot. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

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

(1)

Diaz, Josep. editor.

(1)

Dimitracopoulos, Costas. editor.

(1)

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

(1)

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

(1)

Dong, Yingfei. editor.

(1)

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

(1)

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

(1)

Du, Ding-Zhu. editor.

(1)

Esparza, Javier. editor.

(1)

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

(1)

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

(1)

Flum, Jörg. author.

(1)

Fomin, Fedor V. editor.

(1)

Friend, Michèle.

(1)

Gailly, Frederik. editor.

(1)

Gamboa, Ruben. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Giese, Holger. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

Goethe, Norma B.

(1)

Gopal, T V. editor.

(1)

Gopal, T.V. editor.

(1)

Graf, Susanne. editor.

(1)

Granström, Johan Georg. author.

(1)

Grohe, Martin. author.

(1)

Guizzardi, Giancarlo. editor.

(1)

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

(1)

Hanus, Michael. editor.

(1)

Harizanov, Valentina S.

(1)

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

(1)

He, Kun. editor.

(1)

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

(1)

Hirsch, Edward. editor.

(1)

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

(1)

Holzer, Markus. editor.

(1)

Huynh, Van-Nam. editor.

(1)

Ibarra, Oscar. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Hiroyuki. editor.

(1)

Indrzejczak, Andrzej. author.

(1)

Inuiguchi, Masahiro. editor.

(1)

Jamil, Tariq. author.

(1)

Jȩdrzejowicz, Joanna. editor.

(1)

Katrenko, Sophia. editor.

(1)

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

(1)

Klein, Gerwin. editor.

(1)

Knight, William. author.

(1)

Koepf, Wolfram. editor.

(1)

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

(1)

Královič, Rastislav. editor.

(1)

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

(1)

Kutrib, Martin. editor.

(1)

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

(1)

Kučera, Antonín. editor.

(1)

Kučera, Luděk. editor.

(1)

König, Barbara. editor.

(1)

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

(1)

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

(1)

Larsen, Kim G. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leivant, Daniel. editor.

(1)

Li, Angsheng. editor.

(1)

Lipton, Richard J. author.

(1)

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

(1)

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

(1)

Manea, Florin. editor.

(1)

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

(1)

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

(1)

Martin, Barnaby. editor.

(1)

Martins, Manuel A. editor. (orcid)0000-0002-5109-8066

(1)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(1)

Marín-Hernández, Antonio. editor.

(1)

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

(1)

Moortgat, Michael. editor.

(1)

Mordonini, Monica. editor. (orcid)0000-0002-5916-9770

(1)

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

(1)

Nguyen, Canh Hao. editor.

(1)

Nierhaus, Gerhard. author.

(1)

Ochmański, Edward. editor.

(1)

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

(1)

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

(1)

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

(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)

Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Plaat, Aske. editor.

(1)

Poole, Stephen. editor.

(1)

Primiero, Giuseppe. editor.

(1)

Queiroz, Ruy. editor.

(1)

Rauzy, Antoine. editor.

(1)

Rendsvig, Rasmus K. editor.

(1)

Roli, Andrea. editor. (orcid)0000-0001-9891-5441

(1)

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

(1)

Sangiorgi, Davide. editor.

(1)

Seiler, Werner M. editor.

(1)

Seki, Hirosato. editor.

(1)

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

(1)

Shamis, Pavel. editor.

(1)

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

(1)

Shur, Arseny M. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sorbi, Andrea. editor.

(1)

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

(1)

Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859

(1)

Sun, Xiaoming. editor.

(1)

Suzana Pitangueira Maciel, Rita. editor.

(1)

Szepietowski, Andrzej. editor.

(1)

Tyszkiewicz, Jerzy. editor.

(1)

Urzyczyn, Paweł. editor.

(1)

Vahrenhold, Jan. editor.

(1)

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

(1)

Vereshchagin, Nikolay. editor.

(1)

Verykios, Vassilios S. editor.

(1)

Villani, Marco. editor. (orcid)0000-0002-5991-5470

(1)

Volkov, Mikhail V. editor.

(1)

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

(1)

Vrajitoru, Dana. author.

(1)

Watada, Junzo. editor.

(1)

Wegener, Ingo. author.

(1)

Wolf, Verena. editor. (orcid)0000-0001-8460-6007

(1)

Zelikovsky, Alexander. editor.

(1)

Zhang, Zili. editor.

(1)

de Queiroz, Ruy. editor.

(1)

van Bevern, René. editor. (orcid)0000-0002-4805-218X

(1)

van den Herik, H. Jaap. editor.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

(1)

Language

(74)

(1)

Publication Date

-

(33)

(19)

(5)

(4)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

Subject

Mathematical logic.

(33)

Computer logic.

(25)

Artificial intelligence.

(23)

Software engineering.

(22)

Computer science—Mathematics.

(19)

Computer science.

(18)

Computer software.

(14)

Data structures (Computer science).

(13)

(13)

Programming languages (Electronic computers).

(12)

(8)

Information theory.

(8)

Computational complexity.

(7)

Logic, Symbolic and mathematical.

(7)

Numerical analysis.

(7)

Arithmetic and logic units, Computer.

(6)

Computer communication systems.

(5)

Electronic data processing.

(4)

Bioinformatics.

(3)

Computer simulation.

(3)

Database management.

(3)

Philosophy (General).

(3)

Special purpose computers.

(3)

(2)

Application software.

(2)

(2)

Biomedical engineering.

(2)

Biomedische techniek.

(2)

(2)

Computer system failures.

(2)

Electronic books.

(2)

Fuzzy (inteligência artificial)

(2)

(2)

Genetic epistemology.

(2)

Information storage and retrieval.

(2)

(2)

(2)

Models, Biological.

(2)

Neural Networks (Computer)

(2)

Neural networks (Computer science)

(2)

Neurale netwerken.

(2)

Niet-lineaire dynamica.

(2)

(2)

Signaalverwerking.

(2)

Signal Processing, Computer-Assisted.

(2)

Signal processing.

(2)

Systems engineering.

(2)

Algebra -- Data processing.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Circuits and Systems.

(1)

Computer graphics.

(1)

Computer organization.

(1)

Computer programming.

(1)

Computer science -- Mathematics.

(1)

Computer security.

(1)

(1)

Electrical engineering.

(1)

(1)

Functions of a Complex Variable.

(1)

Functions of complex variables.

(1)

Information systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical statistics.

(1)

(1)

Neuronales Netz.

(1)

Operating systems (Computers).

(1)

Science -- Philosophy.

(1)

Sequential machine theory.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Theory of Computation.

(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

77 Results Found

Subscribe to search results

1 .. 3 4 5 6 7

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.

49.

Cover image for Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Author

van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

Author

Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Author

Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06686-8

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Author

Cai, Zhipeng. editor. Zelikovsky, Alexander. editor. Bourgeois, Anu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Author

Diaz, Josep. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Sangiorgi, Davide. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44602-7

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Author

Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Practical Analysis of Algorithms

Practical Analysis of Algorithms

Practical Analysis of Algorithms

Author

Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I

Author

Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Author

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Author

Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Author

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11