close
1.

図書

図書
Martin Steffen, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  x, 321 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3535
所蔵情報: loading…
2.

図書

図書
Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2005  xiii, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3670
所蔵情報: loading…
3.

図書

図書
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)
出版情報: Berlin : Springer, c2006  x, 287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4184
所蔵情報: loading…
4.

電子ブック

EB
Doug Lea, Takeo Kanade, Douglas Lea, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
5.

電子ブック

EB
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II:
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
6.

電子ブック

EB
Mario Bravetti, Takeo Kanade, Manuel Nau?nez, Manuel Núñez, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック

EB
Marco Bernardo, Takeo Kanade, Luca Padovani, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Calculi for Service-Oriented Computing / Roberto Bruni
Service Interaction: Patterns, Formalization, and Analysis / Wil M.P. van der Aalst ; Arjan J. Mooij ; Christian Stahl ; Karsten Wolf
Synthesis and Composition of Web Services / Annapaola Marconi ; Marco Pistore
Fundamentals of Session Types / Vasco T. Vasconcelos
Asynchronous Session Types: Exceptions and Multiparty Interactions / Marco Carbone ; Nobuko Yoshida ; Kohei Honda
Contract-Based Discovery and Adaptation of Web Services / Luca Padovani
Contract-Based Discovery and Composition of Web Services / Mario Bravetti ; Gianluigi Zavattaro
Quantitative Analysis of Web Services Using SRMC / Allan Clark ; Stephen Gilmore ; Mirco Tribastone
Author Index
Calculi for Service-Oriented Computing / Roberto Bruni
Service Interaction: Patterns, Formalization, and Analysis / Wil M.P. van der Aalst ; Arjan J. Mooij ; Christian Stahl ; Karsten Wolf
Synthesis and Composition of Web Services / Annapaola Marconi ; Marco Pistore
8.

電子ブック

EB
Mario Bravetti, Takeo Kanade, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック

EB
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック

EB
EPEW, Mario Bravetti, Takeo Kanade, Leïla Kloul, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼