Search Results for Theory of Computation.

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)

(114)

Li, Xiaodong. editor.

(4)

Katz, Jonathan. editor.

(3)

López-Ibáñez, Manuel. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Robshaw, Matthew. editor.

(3)

Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

(2)

Asirvatham, David. editor.

(2)

Castelli, Mauro. editor.

(2)

Ciesielski, Vic. editor.

(2)

Corchado, Emilio. editor.

(2)

Coron, Jean-Sébastien. editor.

(2)

Correia, João. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Falkowski-Gilski, Przemyslaw. editor.

(2)

Fehr, Serge. editor.

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Fischlin, Marc. editor.

(2)

Gao, Yang. editor. (orcid)0000-0002-2488-1813

(2)

García-Sánchez, Pablo. editor.

(2)

Gopal, T.V. editor.

(2)

Hameurlain, Abdelkader. editor.

(2)

Hirt, Martin. editor.

(2)

Hu, Bin. editor.

(2)

Klasing, Ralf. editor.

(2)

Kushilevitz, Eyal. editor.

(2)

Küng, Josef. editor.

(2)

Legay, Axel. editor.

(2)

Malkin, Tal. editor.

(2)

Manea, Florin. editor.

(2)

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

(2)

Masulli, Paolo. editor.

(2)

McDermott, James. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Pons Rivero, Antonio Javier. editor.

(2)

Potapov, Igor. editor.

(2)

Quintián, Héctor. editor.

(2)

Smith, Adam. editor.

(2)

Tan, Kay Chen. editor.

(2)

Toledo Moreo, Javier. editor.

(2)

Troncoso, Alicia. editor.

(2)

Truthe, Bianca. editor.

(2)

Vega-Rodríguez, Miguel A. editor.

(2)

Villa, Alessandro E.P. editor.

(2)

Wagner, Roland. editor.

(2)

Yin, Hujun. editor. (orcid)0000-0002-9198-5401

(2)

de la Paz López, Félix. editor.

(2)

Álvarez-Sánchez, José Ramón. editor.

(2)

Adamatzky, Andrew. editor.

(1)

Agrawal, Manindra. editor.

(1)

Agustín-Aquino, Octavio A. editor.

(1)

Amos, Martyn. editor.

(1)

Angelini, Claudia. editor.

(1)

Anjomshoaa, Amin. editor.

(1)

Bacon, Dave. editor.

(1)

Bandini, Stefania. editor.

(1)

Barrenechea, Edurne. editor.

(1)

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

(1)

Beckmann, Arnold. editor.

(1)

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

(1)

Bereg, Sergey. editor.

(1)

Bienvenu, Laurent. editor.

(1)

Birattari, Mauro. editor.

(1)

Blesa, Maria J. editor.

(1)

Blum, Christian. editor.

(1)

Bonnevay, Stéphane. editor.

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Brijder, Robert. editor.

(1)

Brlek, Srečko. editor.

(1)

Cabaleiro, José C. editor.

(1)

Cagnoni, Stefano, 1961-

(1)

Cai, Guoyong. editor.

(1)

Cai, Yang. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Caravagna, Giulio. editor.

(1)

Cardoso, João M.P. editor.

(1)

Carretero, Jesus. editor.

(1)

Chalifour, Alain. editor.

(1)

Chang, Lijun. editor.

(1)

Chen, Songcan. editor.

(1)

Chen, Xujin. editor. (orcid)0000-0001-7844-5411

(1)

Chicano, Francisco. editor.

(1)

Chmielewski, Leszek J. editor. (orcid)0000-0002-9725-2479

(1)

Chrobak, Marek. editor.

(1)

Chávez, Edgar. editor.

(1)

Cicalese, Ferdinando. author.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Cooper, S. Barry. editor.

(1)

Costa, Ernesto. editor.

(1)

Cutello, Vincenzo. editor.

(1)

Dahl, Anders Bjorholm. editor.

(1)

Das, Swagatam. editor.

(1)

Datta, Amitava. editor. (orcid)0000-0001-6916-7907

(1)

Day, Adam. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Decker, Hendrik. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Devitt, Simon. editor.

(1)

Di Napoli, Edoardo. editor.

(1)

Di Nuovo, Alessandro. editor.

(1)

Dinh, Thang N. editor.

(1)

Dong, Yiqiu. editor.

(1)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(1)

Drewes, Frank. editor.

(1)

Du, Junping. editor.

(1)

Eisenbrand, Friedrich. editor.

(1)

El Moataz, Abderrahim. editor.

(1)

El Yacoubi, Samira. editor.

(1)

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

(1)

Fellows, Michael. editor.

(1)

Fernández Anta, Antonio. editor.

(1)

Festa, Paola. editor.

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Formenti, Enrico. editor.

(1)

Fu, Tom Z. J. editor.

(1)

Galar, Mikel. editor.

(1)

Gammerman, Alexander. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Giagkos, Alexandros. editor.

(1)

Gilbert, David. editor.

(1)

Goertzel, Ben. editor.

(1)

Goldreich, Oded. editor. (orcid)0000-0002-4329-135X

(1)

Gonzalez-Longatt, Francisco M. editor.

(1)

Gopal, T V. editor.

(1)

Greenberg, Noam. editor.

(1)

Gu, Tianlong. editor.

(1)

Gámez, José A. editor.

(1)

Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814

(1)

Gąsieniec, Leszek. editor.

(1)

Haasdijk, Evert. editor.

(1)

Hague, Matthew. editor.

(1)

Hajiaghayi, Mohammed Taghi. editor.

(1)

Hallam, John. editor.

(1)

Han, Yo-Sub. editor.

(1)

Handl, Julia. editor.

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Hart, Emma. editor.

(1)

Hendtlass, Tim. editor.

(1)

Hermanns, Marc-André. editor.

(1)

Heywood, Malcolm I. editor.

(1)

Hodicky, Jan. editor.

(1)

Hung, Patrick C. K. editor.

(1)

Hussain, Amir. editor.

(1)

Iliev, Hristo. editor.

(1)

Inoue, Koji. editor.

(1)

Janoušek, Jan. editor.

(1)

Jansson, Jesper. editor. (orcid)0000-0001-6859-8932

(1)

Jin, Yaochu. editor.

(1)

Johnson, Colin. editor.

(1)

Jonoska, Nataša. editor.

(1)

Jäger, Gerhard. editor.

(1)

Kalisch, Dominik. editor.

(1)

Kanthavel, R. editor.

(1)

Kari, Jarkko. editor.

(1)

Karl, Wolfgang. editor.

(1)

Khoussainov, Bakhadyr. editor.

(1)

Klawonn, Frank. editor.

(1)

Kliemann, Lasse. editor.

(1)

Knoop, Jens. editor.

(1)

Ko, Ryan K.L. editor.

(1)

Koenemann, Jochen. editor.

(1)

Komm, Dennis. author.

(1)

Kosters, Walter A. editor.

(1)

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

(1)

Kozera, Ryszard. editor.

(1)

Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428

(1)

Kulikov, Alexander S. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

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

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lauze, François. editor.

(1)

Legrand, Pierrick. editor.

(1)

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

(1)

Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862

(1)

Lewis, Peter R. editor.

(1)

Lhotska, Lenka. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Bin. editor.

(1)

Li, Bo. editor. (orcid)0000-0001-7500-8355

(1)

Li, Yun. editor.

(1)

Liapis, Antonios. editor.

(1)

Link, Sebastian. editor.

(1)

Lintermann, Andreas. editor.

(1)

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175

(1)

Liu, Kuien. editor.

(1)

Liu, Shujie. editor.

(1)

Lluis-Puebla, Emilio. editor.

(1)

Louveaux, Quentin. editor.

(1)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(1)

Luaces, Oscar. editor.

(1)

Luo, Bin. editor.

(1)

Luo, Zhiyuan. editor.

(1)

Lutton, Evelyne. editor.

(1)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(1)

Mammass, Driss. editor.

(1)

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

(1)

Mansouri, Alamin. editor.

(1)

Language

(115)

Publication Date

-

(63)

(37)

(4)

(4)

(2)

(2)

(2)

(1)

Subject

Computer science.

(90)

Theory of Computation.

(90)

Artificial intelligence.

(60)

Computer science -- Mathematics.

(52)

Discrete Mathematics in Computer Science.

(42)

Discrete mathematics.

(42)

Application software.

(31)

Computer and Information Systems Applications.

(31)

Computer Communication Networks.

(30)

Computer networks .

(30)

Formal Languages and Automata Theory.

(24)

Machine theory.

(24)

Computer Science Logic and Foundations of Programming.

(20)

Automated Pattern Recognition.

(19)

Pattern recognition systems.

(19)

Software engineering.

(16)

Computer vision.

(14)

(12)

(12)

Data encryption (Computer science).

(12)

Information Storage and Retrieval.

(12)

Information storage and retrieval systems.

(12)

Data and Information Security.

(11)

Data protection.

(11)

Numerical analysis.

(10)

Data Mining and Knowledge Discovery.

(9)

(9)

Electronic data processing -- Management.

(9)

(9)

Artificial intelligence -- Data processing.

(8)

(8)

Computer Modelling.

(7)

Computer simulation.

(7)

Database management.

(7)

Bioinformatics.

(6)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Computational and Systems Biology.

(6)

Computer graphics.

(6)

Computer programming.

(6)

Information theory.

(6)

Mathematics of Computing.

(6)

Programming Techniques.

(6)

Data structures (Computer science).

(4)

Design and Analysis of Algorithms.

(4)

Mathematical statistics.

(4)

Probability and Statistics in Computer Science.

(4)

(3)

Computational intelligence.

(3)

Computer System Implementation.

(3)

Computer science—Mathematics.

(3)

Computer systems.

(3)

Digital humanities.

(3)

Mathematical logic.

(3)

Coding and Information Theory.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

(2)

Electronic commerce.

(2)

Image processing -- Digital techniques.

(2)

Information technology -- Management.

(2)

Mathematical Logic and Foundations.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

e-Commerce and e-Business.

(2)

Applied Dynamical Systems.

(1)

Communications Engineering, Networks.

(1)

Computational Biology -- methods.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational complexity.

(1)

Computer communication systems.

(1)

Computer software.

(1)

Computers, Special purpose.

(1)

Data Structures and Information Theory.

(1)

(1)

Evolution, Molecular.

(1)

Evolutionary programming (Computer science)

(1)

Genetic programming (Computer science)

(1)

Human-computer interaction.

(1)

Image processing.

(1)

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Software.

(1)

Mathematics -- Data processing.

(1)

(1)

Medicine -- Data processing.

(1)

(1)

Models of Computation.

(1)

Models, Genetic.

(1)

(1)

Nonlinear theories.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

Telecommunication.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

115 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 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.

1.

Cover image for Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

Author

Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Author

Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Author

Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings

Author

Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Author

Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

Author

Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings

Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings

Web Technologies and Applications APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings

Author

Morishima, Atsuyuki. editor. Zhang, Rong. editor. Zhang, Wenjie. editor. Chang, Lijun. editor. Fu, Tom Z. J. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings

Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings

Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings

Author

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Hussain, Amir. editor. Luo, Bin. editor. Tan, Kay Chen. editor. Zeng, Yi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49685-6

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings

Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings

Artificial General Intelligence 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings

Author

Steunebrink, Bas. editor. Wang, Pei. editor. Goertzel, Ben. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41649-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Author

Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Author

Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 10

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11