Search Results for Computation by Abstract Devices.

|

|

|

|

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: Software engineering.

Author

SpringerLink (Online service)

(23)

Das, Swagatam. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Panigrahi, Bijaya Ketan. editor.

(2)

Suganthan, Ponnuthurai Nagaratnam. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abdulla, Parosh Aziz. 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)

Boreale, Michele. editor.

(1)

Coecke, Bob. editor.

(1)

Colom, José-Manuel. editor.

(1)

Csuhaj-Varjú, Erzsébet. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Desel, Jörg. editor.

(1)

Dierkes, Michael. editor.

(1)

Dueck, Gerhard W. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gheorghe, Marian. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Glück, Robert. editor.

(1)

Gupta, Ashutosh. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Jensen, Kurt. editor.

(1)

Julien, Christine. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Koutny, Maciej. editor.

(1)

Lepistö, Arto. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mastroeni, Isabella. editor.

(1)

Merseguer, José. author.

(1)

Miller, D. Michael. editor.

(1)

Nicola, Rocco. editor.

(1)

Nisse, Nicolas. editor.

(1)

Ong, Luke. editor.

(1)

Panangaden, Prakash. editor.

(1)

Pecheur, Charles. editor.

(1)

Petriu, Dorina Corina. author.

(1)

Pfenning, Frank. editor.

(1)

Pierro, Alessandra. editor.

(1)

Popova-Zeugmann, Louchka. author.

(1)

Potapov, Igor. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Ruhe, Günther. editor.

(1)

Salomaa, Arto. editor.

(1)

Steen, Maarten. editor.

(1)

Truthe, Bianca. editor.

(1)

Vaszil, György. editor.

(1)

Vega-Rodríguez, Miguel A. editor.

(1)

Vink, Erik. editor.

(1)

Wiklicky, Herbert. editor.

(1)

Wolf, Karsten. editor.

(1)

Wolff, Burkhart. editor.

(1)

Yokoyama, Tetsuo. editor.

(1)

Zamboni, Luca. editor.

(1)

Zhang, Yuanyuan. editor.

(1)

Language

(23)

Publication Date

-

(23)

Subject

Computation by Abstract Devices.

(23)

Computer science.

(23)

(13)

Logics and Meanings of Programs.

(13)

Algorithm Analysis and Problem Complexity.

(11)

Computer software.

(11)

Mathematical Logic and Formal Languages.

(8)

Artificial Intelligence (incl. Robotics).

(6)

Artificial intelligence.

(6)

Computer Communication Networks.

(6)

Programming Languages, Compilers, Interpreters.

(6)

Bioinformatics.

(3)

Computational Biology/Bioinformatics.

(3)

Optical pattern recognition.

(3)

Pattern Recognition.

(3)

Algebra -- Data processing.

(1)

Biological models.

(1)

Biology -- Data processing.

(1)

Computational complexity.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer simulation.

(1)

Computer system performance.

(1)

Computer vision.

(1)

Data Structures.

(1)

Data structures (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

History of Computing.

(1)

Information Systems Applications (incl. Internet).

(1)

Information theory.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Probability and Statistics in Computer Science.

(1)

Programming Techniques.

(1)

Simulation and Modeling.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Systems Biology.

(1)

Theory of Computation.

(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

23 Results Found

Subscribe to search results

1 2

00000000000DEFAULT

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.

13.

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:

14.

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:

15.

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:

16.

Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Author

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332999.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Author

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334610.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

20.

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:

21.

Cover image for Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

Author

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334812.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11