>> Google Books

Mobility in Process Calculi and Natural Computing

フォーマット:
電子ブック
責任表示:
by Bogdan Aman, Gabriel Ciobanu
言語:
英語
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
形態:
v.: digital
著者名:
シリーズ名:
Natural Computing Series ;
書誌ID:
NB02223488
ISBN:
9783642248672 [3642248675]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-3-642-24867-2
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Transactions on Computational Systems Biology IX

Istrail, Sorin, Priami, Corrado, Pevzner, Pavel, Waterman, Michael S., SpringerLink (Online service)

Springer
7 電子ブック 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.
2 電子ブック 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
8 電子ブック 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.
3 電子ブック Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Ambos-Spies, Klaus, Lowe, Benedikt, Merkle, Wolfgang, SpringerLink (Online service)

Springer Berlin Heidelberg
9 電子ブック 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.
4 電子ブック Information Processing and Biological Systems

Niiranen, Samuli, Ribeiro, Andre, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
10 電子ブック Modeling in Systems Biology : The Petri Net Approach

Koch, Ina, Reisig, Wolfgang, Schreiber, Falk, SpringerLink (Online service)

Springer-Verlag London Limited
5 電子ブック 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
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 電子ブック Self-organising Software : From Natural to Artificial Adaptation

Di Marzo Serugendo, Giovanna, Gleizes, Marie-Pierre, Karageorgos, Anthony, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
12 電子ブック 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