close
1.

図書

図書
[edited by George P. Richardson, John D. Sterman]
出版情報: Cambridge, Mass. : The System Dynamics Society, [1996]  2 v. ; 28 cm
所蔵情報: loading…
2.

図書

図書
IEEE Control Systems Society
出版情報: Piscataway, NJ : Institute of Electrical and Electronic Engineers, c2001  5 v. (lxxxv, 5055 p.) ; 28 cm.
所蔵情報: loading…
3.

図書

図書
IEEE Control Systems Society
出版情報: [New York] : Institute of Electrical and Electronic Engineers, c2000  5 v. (lxiii, 5229 p.) ; 28 cm
所蔵情報: loading…
4.

図書

図書
Furio Honsell, Marino Miculan (eds.)
出版情報: Berlin : Springer, c2001  xii, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2030
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Adequacy for Algebraic Effects / Gordon Plotkin ; John Power
Contributed Papers
Secrecy Types for Asymmetric Communication / MartÆin Abadi ; Bruno Blanchet
Axiomatizing Tropical Semirings / Luca Aceto ; Zoltán Ésik ; Anna Ingólfsdóttir
Type Isomorphisms and Proof Reuse in Dependent Type Theory / Gilles Barthe ; Olivier Pons
On the Duality between Observability and Reachability / Michel Bidoit ; Rolf Hennicker ; Alexander Kurz
The Finite Graph Problem for Two-Way Alternating Automata / Mikolaj Bojanczyk
High-Level Petri Nets as Type Theories in the Join Calculus / Maria Grazia Buscemi ; Vladimiro Sassone
Temporary Data in Shared Dataspace Coordination Languages / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro
On Garbage and Program Logic / Cristiano Calcagno ; Peter W. O'Hearn
The Complexity of Model Checking Mobile Ambients / Witold Charatonik ; Silvano Dal Zilio ; Andrew D. Gordon ; Supratik Mukhopadhyay ; Jean-Marc Talbot
The Rho Cube / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori
Type Inference with Recursive Type Equations / Mario Coppo
On the Modularity of Deciding Call-by-Need / Irène Durand ; Aart Middeldorp
Synchronized Tree Languages Revisited and New Applications / Valèrie Gouranton ; Pierre Rèty ; Helmut Seidl
Computational Completeness of Programming Languages Based on Graph Transformation / Annegret Habel ; Detlef Plump
Axioms for Recursion in Call-by-Value (Extended Abstract) / Masahito Hasegawa ; Yoshihiko Kakutani
Class Analysis of Object-Oriented Programs through Abstract Interpretation / Thomas Jensen ; Fausto Spoto
On the Complexity of Parity Word Automata / Valerie King ; Orna Kupferman ; Moshe Y. Vardi
Foundations for a Graph-Based Approach to the Specification of Access Control Policies / Manuel Koch ; Luigi Vincenzo Mancini ; Francesco Parisi-Presicce
Categories of Processes Enriched in Final Coalgebras / Sava Krstić ; John Launchbury ; DuÜko Pavlovič
Model Checking CTL= and FCTL Is Hard / François Laroussinie ; Nicolas Markey ; Philippe Schnoebelen
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory / Rémi Morin
Verified Bytecode Verifiers / Tobias Nipkow
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the p-Calculus and Mechanizing the Theory of Contexts / Christine Röckl ; Daniel Hirschkoff ; Stefan Berghofer
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes / Colin Stirling
An Axiomatic Semantics for the Synchronous Language Gentzen / Simone Tini
Tool Presentation
Marrella and the Verification of an Embedded System / Dominique Ambroise ; Patrick Augé ; Kamel Bouchefra ; Brigitte Rozoy
Author Index
Invited Paper
Adequacy for Algebraic Effects / Gordon Plotkin ; John Power
Contributed Papers
5.

図書

図書
edited by S. Mondiè
出版情報: Oxford, UK : Published for the International Federation of Automatic Control by Elsevier, 2005  2 v. (xii, 748 p.) ; 30 cm
所蔵情報: loading…
6.

図書

図書
IEEE Control Systems Society
出版情報: Piscataway, NJ : Institute of Electrical and Electronic Engineers, c2002  4 v. ; 28 cm.
所蔵情報: loading…
7.

図書

図書
[IEEE Control Systems Society ... [et al.]]
出版情報: Piscataway, N.J. : IEEE, c2004  5 v. ; 28 cm
所蔵情報: loading…
8.

図書

図書
Daniel Amyot, Alan W. Williams (eds.)
出版情報: Berlin : Springer, c2005  xii, 300 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3319
所蔵情報: loading…
9.

図書

図書
Vladimiro Sassone (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiii, 519 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3441
所蔵情報: loading…
10.

図書

図書
VDI-Gemeinschaftsausschuss Industrielle Systemtechnik
出版情報: Düsseldorf : VDI-Verlag, c1989  436 p. ; 23 cm
シリーズ名: VDI-Berichte ; 771
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼