Search Results for 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)

(60)

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)

Aalst, Wil M. P. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Antonioni, Alberto. editor.

(1)

Appollini, Bruno. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Roberto. editor.

(1)

Berdine, Josh. editor.

(1)

Bernardi, Simona. author.

(1)

Bernardo, Marco. editor.

(1)

Beyer, Dirk. editor.

(1)

Bielza, Concha. editor.

(1)

Bischof, Horst. editor.

(1)

Blesa, María J. 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)

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)

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)

Gao, Yang. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gheorghe, Marian. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Giacobini, Mario. editor.

(1)

Glück, Robert. editor.

(1)

Gupta, Ashutosh. editor.

(1)

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

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)

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)

Mastroeni, Isabella. editor.

(1)

Masulli, Francesco. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Merseguer, José. author.

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

Nicola, Rocco. 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)

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)

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)

Wolf, Karsten. editor.

(1)

Wolff, Burkhart. 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

(60)

Publication Date

-

(60)

Subject

Computer science.

(60)

Algorithm Analysis and Problem Complexity.

(48)

Computer software.

(48)

Artificial Intelligence (incl. Robotics).

(26)

Artificial intelligence.

(26)

Software engineering.

(23)

(20)

Logics and Meanings of Programs.

(20)

Mathematical Logic and Formal Languages.

(16)

Computational complexity.

(14)

Discrete Mathematics in Computer Science.

(14)

Optical pattern recognition.

(14)

Pattern Recognition.

(14)

Bioinformatics.

(12)

Computational Biology/Bioinformatics.

(12)

Computer Communication Networks.

(12)

Information Systems Applications (incl. Internet).

(10)

Information Storage and Retrieval.

(7)

Information storage and retrieval systems.

(7)

Programming Languages, Compilers, Interpreters.

(7)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Data structures (Computer science).

(5)

Image Processing and Computer Vision.

(5)

Data Structures.

(4)

Electronic data processing.

(4)

Numeric Computing.

(4)

Computer simulation.

(3)

Probability and Statistics in Computer Science.

(3)

Simulation and Modeling.

(3)

Computer Applications.

(2)

Computer system performance.

(2)

Information theory.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Programming Techniques.

(2)

System Performance and Evaluation.

(2)

Theory of Computation.

(2)

Algebra -- Data processing.

(1)

Biological models.

(1)

Biology -- Data processing.

(1)

Coding and Information Theory.

(1)

(1)

Computer Appl. in Life Sciences.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer graphics.

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

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)

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

60 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.

49.

Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Author

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334617.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Author

Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334630.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

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:

53.

Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Author

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334651.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Author

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334751.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Author

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334753.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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:

57.

Cover image for Time and Petri Nets

Time and Petri Nets

Time and Petri Nets

Author

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335059.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

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:

59.

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:

60.

Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335178.1)

Electronic Access

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

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