Search Results for Computer software.

|

|

|

|

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)

(49)

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)

Hou, Zeng-Guang. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Paz López, Félix. editor.

(2)

Peleg, David. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Toledo Moreo, Fco. Javier. editor.

(2)

Truthe, Bianca. editor.

(2)

Zeng, Zhigang. editor.

(2)

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

(2)

Abdulla, Parosh Aziz. editor.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Antonioni, Alberto. editor.

(1)

Appollini, Bruno. editor.

(1)

Baldoni, Roberto. editor.

(1)

Bernardo, Marco. editor.

(1)

Bielza, Concha. editor.

(1)

Bischof, Horst. editor.

(1)

Blesa, María J. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Brattka, Vasco. editor.

(1)

Bredies, Kristian. editor.

(1)

Buesser, Pierre. editor.

(1)

Bulatov, Andrei A. 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)

Coecke, Bob. 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)

Du, Ding-Zhu. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Esparcia-Alcázar, Anna I. editor.

(1)

Etaner-Uyar, A. Şima. editor.

(1)

Festa, Paola. editor.

(1)

Gao, Yang. editor.

(1)

Gheorghe, Marian. editor.

(1)

Giacobini, Mario. editor.

(1)

Glück, Robert. editor.

(1)

Hidalgo, J. Ignacio. editor.

(1)

Hu, Bin. editor.

(1)

Hu, Ting. editor.

(1)

Iwama, Kazuo. editor.

(1)

Jain, Sanjay. editor.

(1)

Jansen, Klaus. 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)

Krawiec, Krzysztof. editor.

(1)

Kuijper, Arjan. editor.

(1)

Kutrib, Martin. editor.

(1)

Lee, Minho. editor.

(1)

Lepistö, Arto. editor.

(1)

Li, Bin. editor.

(1)

Löwe, Benedikt. editor.

(1)

Malcher, Andreas. editor.

(1)

Manzoni, Luca. editor.

(1)

Martínez, Luis. editor.

(1)

Masulli, Francesco. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Middendorf, Martin. editor.

(1)

Miller, D. Michael. editor.

(1)

Mladenov, Valeri. editor.

(1)

Moraglio, Alberto. editor.

(1)

Munos, Rémi. editor.

(1)

Murao, Mio. editor.

(1)

Müller, Matthias S. editor.

(1)

Nayak, Abhaya. editor.

(1)

Nicosia, Giuseppe. editor.

(1)

Nisse, Nicolas. editor.

(1)

Ong, Luke. editor.

(1)

Palm, Günther. editor.

(1)

Pan, Jeng-Shyang. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pardalos, Panos. editor.

(1)

Peterson, Leif E. editor.

(1)

Pierro, Alessandra. editor.

(1)

Pock, Thomas. editor.

(1)

Polycarpou, Marios M. editor.

(1)

Porreca, Antonio E. editor.

(1)

Potapov, Igor. 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)

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)

Vaszil, György. editor.

(1)

Vega-Rodríguez, Miguel A. editor.

(1)

Villa, Alessandro E. P. editor.

(1)

Vink, Erik. editor.

(1)

Weise, Thomas. editor.

(1)

Wiklicky, Herbert. editor.

(1)

Woźniak, Michał. editor.

(1)

Yao, Xin. editor.

(1)

Yin, Hujun. editor.

(1)

Yokoyama, Tetsuo. editor.

(1)

Yurke, Bernard. editor.

(1)

Zamboni, Luca. editor.

(1)

Zeugmann, Thomas. editor.

(1)

Zhang, Guochuan. editor.

(1)

Zhang, Yuanyuan. editor.

(1)

Language

(49)

Publication Date

-

(49)

Subject

Computer science.

(49)

Algorithm Analysis and Problem Complexity.

(48)

Computer software.

(48)

Artificial Intelligence (incl. Robotics).

(25)

Artificial intelligence.

(25)

Computational complexity.

(14)

Discrete Mathematics in Computer Science.

(14)

Optical pattern recognition.

(14)

Pattern Recognition.

(14)

(12)

Logics and Meanings of Programs.

(12)

Software engineering.

(12)

Mathematical Logic and Formal Languages.

(11)

Bioinformatics.

(10)

Computational Biology/Bioinformatics.

(10)

Computer Communication Networks.

(10)

Information Systems Applications (incl. Internet).

(10)

Information Storage and Retrieval.

(7)

Information storage and retrieval systems.

(7)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Image Processing and Computer Vision.

(5)

Data structures (Computer science).

(4)

Electronic data processing.

(4)

Numeric Computing.

(4)

Programming Languages, Compilers, Interpreters.

(4)

Data Structures.

(3)

Computer Applications.

(2)

Computer simulation.

(2)

Information theory.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Probability and Statistics in Computer Science.

(2)

Programming Techniques.

(2)

Simulation and Modeling.

(2)

Theory of Computation.

(2)

Coding and Information Theory.

(1)

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer graphics.

(1)

Computer system performance.

(1)

Data Encryption.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Database management.

(1)

History of Computing.

(1)

Information and Communication, Circuits.

(1)

Logic, Symbolic and mathematical.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

(1)

Processor Architectures.

(1)

Quantum Information Technology, Spintronics.

(1)

Social sciences -- Data processing.

(1)

System Performance and Evaluation.

(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

49 Results Found

Subscribe to search results

1 2 3 4 5

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 Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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:

4.

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:

5.

Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Author

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334844.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Author

Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.

Preferred Shelf Number

ONLINE(334981.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Author

Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.

Preferred Shelf Number

ONLINE(335017.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Author

Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings

Author

Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335030.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings

Author

Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.

Preferred Shelf Number

ONLINE(334996.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Author

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335046.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers

Author

Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335176.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11