Search Results for Computation by Abstract Devices.

84 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Author

Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334174.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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

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:

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

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:

Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

Author

Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334807.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Author

Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.

Preferred Shelf Number

ONLINE(334852.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

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:

11.

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:

12.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

	{displayName}	{count}
{error}