>> Google Books

Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

フォーマット:
電子ブック
責任表示:
edited by Klaus Ambos-Spies, Benedikt Lowe, Wolfgang Merkle
言語:
英語
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
形態:
v.: digital
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 5635
書誌ID:
NB02220382
ISBN:
9783642030734 [3642030734]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-3-642-03073-4
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

Beckmann, Arnold, Lowe, Benedikt, Dimitracopoulos, Costas, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

Agrawal, Manindra, Du, Dingzhu, Li, Angsheng, Duan, Zhenhua, SpringerLink (Online service)

Springer-Verlag
2 電子ブック New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

Cooper, Barry S., Lowe, Benedikt, SpringerLink (Online service)

Springer-Verlag GmbH.
8 電子ブック Quantum Interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009. Proceedings

Hutchison, David, Kanade, Takeo, Rijsbergen, Keith, Weikum, Gerhard, Wahlster, Wolfgang, Vardi, Moshe Y., Tygar, Doug, …

Springer Berlin Heidelberg
3 電子ブック Computation and Logic in the Real World : Third Conference on Computability in Europe CiE 2007 Siena Italy June 18-232007 Proceedings

Cooper S. Barry, Lowe Benedikt, Sorbi Andrea, SpringerLink (Online service)

Springer-Verlag GmbH.
9 電子ブック Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Calude, Cristian S., Freire, Elisabete, Rozenberg, Grzegorz, Costa, Jose Felix, Dershowitz, Nachum, SpringerLink (Online …

Springer Berlin Heidelberg
4 電子ブック Logical Approaches to Computational Barriers : Second Conference on Computability in Europe CiE 2006 Swansea UK June 30-July 52006 Proceedings

Beckmann Arnold, Berger Ulrich, Tucker John V., L-we Benedikt, SpringerLink (Online service)

Springer-Verlag GmbH.
10 電子ブック Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Hutchison, David, Wahlster, Wolfgang, Kanade, Takeo, Weikum, Gerhard, Vardi, Moshe Y., Pandu Rangan, C., Ramanujam, R., …

Springer Berlin Heidelberg
5 電子ブック Logic Language Information and Computation : 14th International Workshop WoLLIC 2007 Rio de Janeiro Brazil July 2-5 2007. Proceedings

Leivant Daniel, Queiroz Ruy, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Hodges, Wilfrid, Queiroz, Ruy, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Archibald, Margaret, Brattka, Vasco, Goranko, Valentin, Lowe, Benedikt, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
12 電子ブック Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander, SpringerLink (Online service)

Springer-Verlag