Search Results for Computer science.

|

|

|

|

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: Computation by Abstract Devices.

Author

SpringerLink (Online service)

(84)

Hou, Zeng-Guang. editor.

(5)

Lee, Minho. editor.

(4)

Hirose, Akira. editor.

(3)

Kil, Rhee Man. editor.

(3)

Blum, Christian. editor.

(2)

Corchado, Emilio. editor.

(2)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Fomin, Fedor V. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Guo, Chengan. editor.

(2)

Iliadis, Lazaros. editor.

(2)

Jayne, Chrisina. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Masulli, Francesco. editor.

(2)

Nguyen, Ngoc Thanh. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Papadopoulos, Harris. editor.

(2)

Paz López, Félix. editor.

(2)

Peleg, David. editor.

(2)

Rutkowski, Leszek. editor.

(2)

Scherer, Rafał. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Tadeusiewicz, Ryszard. editor.

(2)

Toledo Moreo, Fco. Javier. editor.

(2)

Truthe, Bianca. editor.

(2)

Zadeh, Lotfi A. editor.

(2)

Zeng, Zhigang. editor.

(2)

Zurada, Jacek M. editor.

(2)

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

(2)

Aalst, Wil M. P. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Alippi, Cesare. editor.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Amblard, Frédéric. editor.

(1)

Antonioni, Alberto. editor.

(1)

Appollini, Bruno. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baldoni, Roberto. editor.

(1)

Baroglio, Cristina. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardi, Simona. author.

(1)

Bernardo, Marco. editor.

(1)

Bevilacqua, Vitoantonio. editor.

(1)

Beyer, Dirk. editor.

(1)

Biba, Marenglen. editor.

(1)

Bielza, Concha. editor.

(1)

Bischof, Horst. editor.

(1)

Blesa, María J. editor.

(1)

Boella, Guido. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Boreale, Michele. editor.

(1)

Brattka, Vasco. editor.

(1)

Bredies, Kristian. editor.

(1)

Buesser, Pierre. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Burczyński, Tadeusz. editor.

(1)

Bush, William S. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Carton, Olivier. editor.

(1)

Carvalho, André C. P. L. F. editor.

(1)

Chapman, Barbara M. editor.

(1)

Ciucci, Davide. editor.

(1)

Coecke, Bob. editor.

(1)

Colom, José-Manuel. editor.

(1)

Corchado, Juan M. editor.

(1)

Cranefield, Stephen. editor.

(1)

Csuhaj-Varjú, Erzsébet. editor.

(1)

Daolio, Fabio. editor.

(1)

Darling, Aaron. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Desel, Jörg. editor.

(1)

Dierkes, Michael. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Esparcia-Alcázar, Anna I. editor.

(1)

Etaner-Uyar, A. Şima. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Festa, Paola. editor.

(1)

Figueroa, Juan Carlos. editor.

(1)

Gao, Yang. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gheorghe, Marian. editor.

(1)

Ghosh, Ashish. editor.

(1)

Ghosh, Kuntal. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giacobini, Mario. editor.

(1)

Giardini, Francesca. editor.

(1)

Glück, Robert. editor.

(1)

Gupta, Ashutosh. editor.

(1)

Hassanien, Aboul Ella. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hidalgo, J. Ignacio. editor.

(1)

Hu, Bin. editor.

(1)

Hu, Ting. editor.

(1)

Huang, De-Shuang. editor.

(1)

Hussain, Amir. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Iwama, Kazuo. editor.

(1)

Jain, Sanjay. editor.

(1)

Jansen, Klaus. editor.

(1)

Jensen, Kurt. editor.

(1)

Julien, Christine. editor.

(1)

Jurgensen, Helmut. editor.

(1)

Järvisalo, Matti. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kari, Jarkko. editor.

(1)

Kasabov, Nikola. editor.

(1)

Kawano, Yasuhito. editor.

(1)

Klawonn, Frank. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Koprinkova-Hristova, Petia. editor.

(1)

Koutny, Maciej. editor.

(1)

Kołodziej, Joanna. editor.

(1)

Krapp, Holger G. editor.

(1)

Krawiec, Krzysztof. editor.

(1)

Kuijper, Arjan. editor.

(1)

Kutrib, Martin. editor.

(1)

Lepistö, Arto. editor.

(1)

Lepora, Nathan F. editor.

(1)

Li, Bin. editor.

(1)

Liu, Derong. editor.

(1)

Lodaya, Kamal. editor.

(1)

Löwe, Benedikt. editor.

(1)

Maji, Pradipta. editor.

(1)

Malcher, Andreas. editor.

(1)

Manzoni, Luca. editor.

(1)

Martí-Oliet, Narciso. editor.

(1)

Martínez, Luis. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Merseguer, José. author.

(1)

Micalizio, Roberto. editor.

(1)

Middendorf, Martin. editor.

(1)

Miller, D. Michael. editor.

(1)

Mladenov, Valeri. editor.

(1)

Moraglio, Alberto. editor.

(1)

Munos, Rémi. editor.

(1)

Mura, Anna. editor.

(1)

Murao, Mio. editor.

(1)

Murty, M. Narasimha. editor.

(1)

Müller, Matthias S. editor.

(1)

Nayak, Abhaya. editor.

(1)

Nguyen, Ngoc-Thanh. editor.

(1)

Nicola, Rocco. editor.

(1)

Nicosia, Giuseppe. editor.

(1)

Nisse, Nicolas. editor.

(1)

Nitaj, Abderrahmane. editor.

(1)

Ong, Luke. editor.

(1)

Pal, Sankar K. editor.

(1)

Palm, Günther. editor.

(1)

Palomino, Miguel. editor.

(1)

Pan, Jeng-Shyang. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pardalos, Panos. editor.

(1)

Pasi, Gabriella. editor.

(1)

Pecheur, Charles. editor.

(1)

Peterson, Leif E. editor.

(1)

Petriu, Dorina Corina. author.

(1)

Pfenning, Frank. editor.

(1)

Pierro, Alessandra. editor.

(1)

Pock, Thomas. editor.

(1)

Polycarpou, Marios M. editor.

(1)

Popova-Zeugmann, Louchka. author.

(1)

Porreca, Antonio E. editor.

(1)

Potapov, Igor. editor.

(1)

Premaratne, Prashan. editor.

(1)

Prescott, Tony J. editor.

(1)

Quintián, Héctor. editor.

(1)

Raghavendra, Prasad. editor.

(1)

Raskhodnikova, Sofya. editor.

(1)

Reis, Rogério. editor.

(1)

Rendell, Alistair P. editor.

(1)

Riguzzi, Fabrizio. editor.

(1)

Roli, Andrea. editor.

(1)

Rolim, José D. P. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Ruhe, Günther. editor.

(1)

Russo, Giuseppe. editor.

(1)

Sahai, Amit. editor.

(1)

Salmerón, Antonio. editor.

(1)

Salomaa, Arto. editor.

(1)

Sampels, Michael. editor.

(1)

Shur, Arseny M. editor.

(1)

Soloveichik, David. editor.

(1)

Steen, Maarten. editor.

(1)

Stephan, Frank. editor.

(1)

Stoye, Jens. editor.

(1)

Tang, Ke. editor.

(1)

Tomassini, Marco. editor.

(1)

Troncoso, Alicia. editor.

(1)

Van Gelder, Allen. editor.

(1)

Vanneschi, Leonardo. editor.

(1)

Vannier, Michael W. editor.

(1)

Language

(84)

Publication Date

-

(84)

Subject

Computer science.

(84)

Algorithm Analysis and Problem Complexity.

(48)

Artificial Intelligence (incl. Robotics).

(48)

Artificial intelligence.

(48)

Computer software.

(48)

Optical pattern recognition.

(26)

Pattern Recognition.

(26)

(23)

Logics and Meanings of Programs.

(23)

Software engineering.

(23)

Mathematical Logic and Formal Languages.

(21)

Information Systems Applications (incl. Internet).

(17)

Computer vision.

(16)

Computational complexity.

(15)

Discrete Mathematics in Computer Science.

(15)

Bioinformatics.

(14)

Computational Biology/Bioinformatics.

(14)

Computer Communication Networks.

(14)

Data Mining and Knowledge Discovery.

(14)

(14)

Information Storage and Retrieval.

(14)

Information storage and retrieval systems.

(14)

Image Processing and Computer Vision.

(12)

Computer simulation.

(7)

Programming Languages, Compilers, Interpreters.

(7)

Simulation and Modeling.

(7)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Data structures (Computer science).

(5)

Database management.

(5)

Electronic data processing.

(5)

Numeric Computing.

(5)

Data Structures.

(4)

Computational Intelligence.

(3)

Computer Science, general.

(3)

(3)

Information systems.

(3)

Information theory.

(3)

Probability and Statistics in Computer Science.

(3)

Programming Techniques.

(3)

Theory of Computation.

(3)

Coding and Information Theory.

(2)

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Applications.

(2)

Computer system performance.

(2)

Data Encryption.

(2)

Data encryption (Computer science).

(2)

Data protection.

(2)

Logic, Symbolic and mathematical.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

System Performance and Evaluation.

(2)

Systems and Data Security.

(2)

Algebra -- Data processing.

(1)

Biological models.

(1)

Biology -- Data processing.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer graphics.

(1)

Control, Robotics, Mechatronics.

(1)

Data Structures, Cryptology and Information Theory.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information and Communication, Circuits.

(1)

Language Translation and Linguistics.

(1)

Math Applications in Computer Science.

(1)

Mathematics of Computing.

(1)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

Quantum Information Technology, Spintronics.

(1)

Social sciences -- Data processing.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems Biology.

(1)

Translators (Computer programs).

(1)

User Interfaces and Human Computer Interaction.

(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

84 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 Transactions on Computational Collective Intelligence XI

Transactions on Computational Collective Intelligence XI

Transactions on Computational Collective Intelligence XI

Author

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335144.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41776-4

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Author

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332892.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332993.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03753-0

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Author

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332994.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03756-1

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Author

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334073.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35873-9

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Author

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334034.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35705-3

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Author

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Preferred Shelf Number

ONLINE(334280.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36751-9

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Transactions on Computational Collective Intelligence IX

Transactions on Computational Collective Intelligence IX

Transactions on Computational Collective Intelligence IX

Author

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334300.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36815-8

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings

Author

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

Preferred Shelf Number

ONLINE(334355.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37064-9

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334465.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37635-1

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Author

Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334572.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38267-3

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

Author

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.

Preferred Shelf Number

ONLINE(334545.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38143-0

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