Search Results for Information theory.

59 Results Found

1 2 3 4 5

000000000000DEFAULT

13.

Cover image for Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Author

Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335433.1)

Electronic Access

http://dx.doi.org/10.1007/978-4-431-54436-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

Author

Schenke, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338349.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-2295-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings

Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings

Author

Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-54106-6

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

Author

Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Author

Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

Author

Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

Author

Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

Author

Calude, Cristian S. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Author

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Author

Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

Author

Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Introduction to the Theory of Programming Languages

Author

Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-076-2

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}