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:

+

Author: SpringerLink (Online service)

+

Language: English

+

Subject: Computation by Abstract Devices.

+

Subject: Computer software.

Author

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)

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)

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)

Weise, Thomas. 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)

Publication Date

-

(48)

Subject

Algorithm Analysis and Problem Complexity.

(48)

Computer science.

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

(11)

Logics and Meanings of Programs.

(11)

Mathematical Logic and Formal Languages.

(11)

Software engineering.

(11)

Computer Communication Networks.

(10)

Information Systems Applications (incl. Internet).

(10)

Bioinformatics.

(9)

Computational Biology/Bioinformatics.

(9)

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

48 Results Found

Subscribe to search results

1 2 3 4

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 Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

Author

Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334585.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Author

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334547.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Author

Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334636.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

Author

Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334640.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Author

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334708.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Author

Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334771.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

Author

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Author

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334723.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334725.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11