close
1.

電子ブック

EB
Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Takeo Kanade, Grzegorz Rozenberg, H. Todd Wareham
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
Nanocomputing by Self-assembly / Lila Kari
Organic User Interfaces (Oui!): Designing Computers in Any Way Shape or Form / Roel Vertegaal
Regular Papers
Unconventional Models of Computation Through Non-standard Logic Circuits / Juan C. Agudelo ; Walter Carnielli
Amoeba-Based Nonequilibrium Neurocomputer Utilizing Fluctuations and Instability / Masashi Aono ; Masahiko Hara
Unconventional "Stateless" Turing-Like Machines / Joshua J. Arulanandham
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / Rudolf Freund ; Gheorghe Paun ; Mario J. Perez-Jimenez
On One Unconventional Framework for Computation / Lev Goldfarb
Computing Through Gene Assembly / Tseren-Onolt Ishdorj ; Ion Petre
Learning Vector Quantization Network for PAPR Reduction in Orthogonal Frequency Division Multiplexing Systems / Seema Khalid ; Syed Ismail Shah ; Jamil Ahmad
Binary Ant Colony Algorithm for Symbol Detection in a Spatial Multiplexing System / Adnan Khan ; Sajid Bashir ; Muhammad Naeem ; Asrar Sheikh
Quantum Authenticated Key Distribution / Naya Nagy ; Selim G. Akl
The Abstract Immune System Algorithm / Jose Pacheco ; Jose Felix Costa
Taming Non-compositionality Using New Binders / Frederic Prost
Using River Formation Dynamics to Design Heuristic Algorithms / Pablo Rabanal ; Ismael Rodriguez ; Fernando Rubio
Principles of Stochastic Local Search / Uwe Schoning
Spatial and Temporal Resource Allocation for Adaptive Parallel Genetic Algorithm / K.Y. Szeto
Gravitational Topological Quantum Computation / Mario Velez ; Juan Ospina
Computation in Sofic Quantum Dynamical Systems / Karoline Wiesner ; James P. Crutchfield
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing / Linmin Yang ; Zhe Dang ; Oscar H. Ibarra
Author Index
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
2.

電子ブック

EB
Hartmut Ehrig, Reiko Heckel, Takeo Kanade, Grzegorz Rozenberg, Gabriele Taentzer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック

EB
Andrea Corradini, Hartmut Ehrig, Takeo Kanade, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
Jörg Rothe, Jörg Rothe, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Cryptocomplexity
Foundations of Computer Science and Mathematics
Foundations of Complexity Theory
Foundations of Cryptology
Hierarchies Based on NP
Randomized Algorithms and Complexity Classes
RSA Cryptosystem, Primality, and Factoring
Other Public-Key Cryptosystems and Protocols
References
List of Figures
List of Tables
Index
Introduction to Cryptocomplexity
Foundations of Computer Science and Mathematics
Foundations of Complexity Theory
5.

電子ブック

EB
Wilfried Brauer, J. Hromkovic, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック

EB
Wilfried Brauer, J. Hromkovic, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction
The Telegraph and Telephone Modes: Fundamentals / Part I:
Broadcasting
Gossiping
Systolic Communication
Fault-Tolerance
Distributed Networks: Broadcast on Distributed Networks / Part II:
Leader Election in Asynchronous Distributed Networks
Fault-Tolerant Broadcast in Distributed Networks
References
Index
Introduction
The Telegraph and Telephone Modes: Fundamentals / Part I:
Broadcasting
7.

電子ブック

EB
Wilfried Brauer, Hartmut Ehrig, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Graph Transformation Systems / Part I:
General Introduction / 1:
General Overview of Graph Grammars and Graph Transformation / 1.1:
What Is Graph Transformation? / 1.1.1:
Aims and Paradigms of Graph Transformation / 1.1.2:
Overview of Various Approaches / 1.1.3:
The Main Ideas of the Algebraic Graph Transformation Approach / 1.2:
The DPO Approach / 1.2.1:
The Algebraic Roots / 1.2.2:
From the DPO to the SPO Approach / 1.2.3:
From Graphs to High-Level Structures / 1.2.4:
The Chapters of This Book and the Main Results / 1.3:
Part I: Introduction to Graph Transformation Systems / 1.3.1:
Part II: Adhesive HLR Categories and Systems / 1.3.2:
Part III: Typed Attributed Graph Transformation Systems / 1.3.3:
Part IV: Case Study and Tool Support / 1.3.4:
Appendices / 1.3.5:
Hints for Reading This Book / 1.3.6:
Bibliographic Notes and Further Topics / 1.4:
Concepts of Graph Grammars and Graph Transformation Systems / 1.4.1:
Application Areas of Graph Transformation Systems / 1.4.2:
Languages and Tools for Graph Transformation Systems / 1.4.3:
Future Work / 1.4.4:
Graphs, Typed Graphs, and the Gluing Construction / 2:
Graphs and Typed Graphs / 2.1:
Introduction to Categories / 2.2:
Pushouts as a Gluing Construction / 2.3:
Pullbacks as the Dual Construction of Pushouts / 2.4:
Graph Transformation Systems / 3:
Basic Definitions for GT Systems / 3.1:
Construction of Graph Transformations / 3.2:
Local Church-Rosser and Parallelism Theorems for GT Systems / 3.3:
Overview of Some Other Main Results for GT Systems / 3.4:
Concurrency Theorem / 3.4.1:
Embedding and Extension Theorems / 3.4.2:
Confluence, Local Confluence, Termination, and Critical Pairs / 3.4.3:
Functional Behavior of GT Systems and Termination Analysis / 3.4.4:
Graph Constraints and Application Conditions / 3.5:
Adhesive High-Level Replacement Categories and Systems / Part II:
Adhesive High-Level Replacement Categories / 4:
Van Kampen Squares and Adhesive Categories / 4.1:
Adhesive HLR Categories / 4.2:
HLR Properties of Adhesive HLR Categories / 4.3:
Adhesive High-Level Replacement Systems / 5:
Basic Concepts of Adhesive HLR Systems / 5.1:
Instantiation of Adhesive HLR Systems / 5.2:
Graph and Typed Graph Transformation Systems / 5.2.1:
Hypergraph Transformation Systems / 5.2.2:
Petri Net Transformation Systems / 5.2.3:
Algebraic Specification Transformation Systems / 5.2.4:
Typed Attributed Graph Transformation Systems / 5.2.5:
The Local Church-Rosser and Parallelism Theorems / 5.3:
Concurrency Theorem and Pair Factorization / 5.4:
Embedding and Local Confluence / 6:
Initial Pushouts and the Gluing Condition / 6.1:
Critical Pairs / 6.2:
Local Confluence Theorem / 6.4:
Constraints and Application Conditions / 7:
Definition of Constraints and Application Conditions / 7.1:
Construction of Application Conditions from Constraints / 7.2:
Construction of Left from Right Application Conditions / 7.3:
Guaranteeing and Preservation of Constraints / 7.4:
Typed Attributed Graphs / Part III:
Attributed Graphs and Typing / 8.1:
Pushouts as a Gluing Construction of Attributed Graphs / 8.2:
Pullbacks of Attributed Graphs / 8.3:
Basic Concepts for Typed AGT Systems / 9:
Construction of Typed Attributed Graph Transformations / 9.2:
Local Church-Rosser and Parallelism Theorem for Typed AGT Systems / 9.3:
Concurrency Theorem and Pair Factorization for Typed AGT Systems / 9.4:
Pair Factorizations / 9.4.1:
Embedding and Local Confluence for Typed AGT Systems / 9.4.2:
Embedding and Extension Theorems for Typed AGT Systems / 10.1:
Critical Pairs for Typed AGT Systems / 10.2:
Local Confluence Theorem for Typed AGT Systems / 10.3:
Adhesive HLR Categories for Typed Attributed Graphs / 11:
Attributed Graph Structure Signatures and Typed Attributed Graphs / 11.1:
Definition of Concrete Adhesive HLR Categories / 11.2:
Verification of the Main Results for Typed AGT Systems / 11.3:
Constraints, Application Conditions and Termination for TAGT Systems / 12:
Constraints and Application Conditions for Typed AGT Systems / 12.1:
Equivalence of Constraints and Application Conditions / 12.2:
Termination Criteria for Layered Typed Attributed Graph Grammars / 12.3:
Typed Attributed Graph Transformation with Inheritance / 13:
Attributed Type Graphs with Inheritance / 13.1:
Attributed Clan Morphisms / 13.2:
Productions and Attributed Graph Transformation with Inheritance / 13.3:
Equivalence of Concepts with and without Inheritance / 13.4:
Case Study on Model Transformation, and Tool Support by AGG / Part IV:
Case Study on Model Transformation / 14:
Model Transformation by Typed Attributed Graph Transformation / 14.1:
Model Transformation from Statecharts to Petri Nets / 14.2:
Source Modeling Language: Simple Version of UML Statecharts / 14.2.1:
Target Modeling Language: Petri Nets / 14.2.2:
Model Transformation / 14.2.3:
Termination Analysis of the Model Transformation / 14.2.4:
Further Case Studies / 14.3:
From the General Resource Model to Petri Nets / 14.3.1:
From Process Interaction Diagrams to Timed Petri Nets / 14.3.2:
Conclusion / 14.4:
Implementation of Typed Attributed Graph Transformation by AGG / 15:
Language Concepts of AGG / 15.1:
Graphs / 15.1.1:
Typing Facilities / 15.1.2:
Node and Edge Attributes / 15.1.3:
Rules and Matches / 15.1.4:
Graph Transformations / 15.1.5:
Graph Grammars / 15.1.6:
Analysis Techniques Implemented in AGG / 15.2:
Graph Constraints / 15.2.1:
Critical Pair Analysis / 15.2.2:
Graph Parsing / 15.2.3:
Termination / 15.2.4:
Tool Environment of AGG / 15.3:
Visual Environment / 15.3.1:
Graph Transformation Engine / 15.3.2:
Tool Integration / 15.3.3:
A Short Introduction to Category Theory / 15.4:
Categories / A.1:
Construction of Categories, and Duality / A.2:
Monomorphisms, Epimorphisms, and Isomorphisms / A.3:
Pushouts and Pullbacks / A.4:
Binary Coproducts and Initial Objects / A.5:
Functors, Functor Categories, and Comma Categories / A.6:
Isomorphism and Equivalence of Categories / A.7:
A Short Introduction to Signatures and Algebras / B:
Algebraic Signatures / B.1:
Algebras / B.2:
Terms and Term Evaluation / B.3:
Detailed Proofs / C:
Completion of Proof of Fact 4.24 / C.1:
Proof of Lemma 6.25 / C.2:
Completion of Proof of Theorem 11.3 / C.3:
Well-Definedness / C.3.1:
Functors / C.3.2:
Isomorphism / C.3.3:
Proof of Lemma 11.17 / C.4:
Pushout Property / C.4.1:
Initial Pushout / C.4.3:
Proof of Theorem 13.12 / C.5:
Proof of Lemma 13.20 / C.6:
References
Index
Introduction to Graph Transformation Systems / Part I:
General Introduction / 1:
General Overview of Graph Grammars and Graph Transformation / 1.1:
8.

電子ブック

EB
Junghuei; Jonoska, Natasha; Rozenberg, Grzegorz Chen, Junghuei Chen, Natasha Jonoska, Nataša Jonoska, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
DNA Nanotechnology - Algorithmic Self-assembly / Part I:
Scaffolded DNA Origami: from Generalized Multicrossovers to Polygonal Networks / Paul W.K. Rothemund
A Fresh Look at DNA Nanotechnology / Zhaoxiang Deng ; Yi Chen ; Ye Tian ; Chengde Mao
DNA Nanotechnology: an Evolving Field / Hao Yan ; Yan Liu
Self-healing Tile Sets / Erik Winfree
Compact Error-Resilient Computational DNA Tilings / John H. Reif ; Sudheer Sahu ; Peng Yin
Forbidding-Enforcing Conditions in DNA Self-assembly of Graphs / Giuditta Franco ; Natasa Jonoska
Codes for DNA Nanotechnology / Part II:
Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set / Mirela Andronescu ; Anne Condon
Involution Solid Codes / Lila Kari ; Kalpana Mahalingam
Test Tube Selection of Large Independent Sets of DNA Oligonucleotides / Russell Deaton ; Junghuei Chen ; Jin-Woo Kim ; Max H. Garzon ; David H. Wood
DNA Nanodevices / Part III:
DNA-Based Motor Work at Bell Laboratories / Bernard Yurke
Electronics, Nanowire and DNA / Jong-Shik Shin ; Niles A. PiercePart IV:
A Supramolecular Approach to Metal Array Programming Using Artificial DNA / Mitsuhiko Shionoya
Multicomponent Assemblies Including Long DNA and Nanoparticles - An Answer for the Integration Problem? / Andreas Wolff ; Andrea Csaki ; Wolfgang Fritzsche
Molecular Electronics: from Physics to Computing / Yongqiang Xue ; Mark A. Ratner
Other Bio-molecules in Self-assembly / Part V:
Towards an Increase of the Hierarchy in the Construction of DNA-Based Nanostructures Through the Integration of Inorganic Materials / Bruno Samor`i ; Giampaolo Zuccheri ; Anita Scipioni ; Pasquale De Santis
Adding Functionality to DNA Arrays: the Development of Semisynthetic DNA-Protein Conjugates / Christof M. Niemeyer
Bacterial Surface Layer Proteins: a Simple but Versatile Biological Self-assembly System in Nature / Dietmar Pum ; Margit Sara ; Bernhard Schuster ; Uwe B. Sleytr
Biomolecular Computational Models / Part VI:
Computing with Hairpins and Secondary Structures of DNA / Masami Hagiya ; Satsuki Yaegashi ; Keiichiro Takahashi
Bottom-up Approach to Complex Molecular Behavior / Milan N. Stojanovic
Aqueous Computing: Writing on Molecules Dissolved in Water / Tom Head ; Susannah Gal
Computations Inspired by Cells / Part VII:
Turing Machines with Cells on the Tape / Francesco Bernardini ; Marian Gheorghe ; Natalio Krasnogor ; Gheorghe Paun
Insights into a Biological Computer: Detangling Scrambled Genes in Ciliates / Andre R.O. Cavalcanti ; Laura F. Landweber
Modelling Simple Operations for Gene Assembly / Tero Harju ; Ion Petre ; Grzegorz Rozenberg
Appendix / Part VIII:
Publications / Nadrian C. Seeman
DNA Nanotechnology - Algorithmic Self-assembly / Part I:
Scaffolded DNA Origami: from Generalized Multicrossovers to Polygonal Networks / Paul W.K. Rothemund
A Fresh Look at DNA Nanotechnology / Zhaoxiang Deng ; Yi Chen ; Ye Tian ; Chengde Mao
9.

電子ブック

EB
Jorg Flum, Martin Grohe, Grzegorz Rozenberg, European Association for Theoretical Computer Science.
出版情報: Springer eBooks Computer Science , Dordrecht : Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック

EB
Dines Bjøner, Dines Bjorner, Grzegorz Rozenberg
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Preface
General
Brief Guide to Volume 3
Acknowledgements
Opening / Part I:
The Triptych Paradigm / 1:
Delineations of Software Engineering / 1.1:
The Triptych of Software Engineering / 1.2:
Phases, Stages and Steps of Development / 1.3:
The Triptych Process Model - A First View / 1.4:
Conclusion to Chapter 1 / 1.5:
Bibliographical Notes / 1.6:
Exercises / 1.7:
Documents / 2:
Documentation Is All! / 2.1:
Kinds of Document Parts / 2.2:
Deliverables / 2.3:
Informative Document Parts / 2.4:
Descriptive Document Parts / 2.5:
Analytic Document Parts / 2.6:
Discussion / 2.7:
Conceptual Framework / 2.8:
Methods and Methodology / 3:
Method / 3.1:
Methodology / 3.2:
Method Constituents / 3.3:
Development Principles, Techniques and Tools / 3.4:
Models and Modelling / 3.5:
Introductory, Context-Setting Remarks / 4.1:
Model Attributes / 4.2:
Roles of Models / 4.3:
The Modelling Principle / 4.4:
Descriptions: Theory and Practice / 4.5:
Phenomena and Concepts / 5:
Introduction / 5.1:
Entities / 5.2:
Functions / 5.4:
Events and Behaviours / 5.5:
Choice on Modelling Phenomena and Concepts / 5.6:
On Defining and on Definitions / 5.7:
A Pragmatics of Definitions / 6.1:
Varieties of Philosophy Definitions / 6.2:
Preliminary Discussion / 6.3:
A Syntax of Formal Definitions / 6.4:
A Semantics of Formal Definitions / 6.5:
Jackson's Description Principles / 6.6:
Phenomena, Facts and Individuals / 7.1:
Designations / 7.2:
Explicit Definitions / 7.3:
Refutable Assertions / 7.4:
Discussion: Description Principles / 7.5:
Domain Engineering / 7.6:
Overview of Domain Engineering / 8:
A Review of Why Domain Engineering? / 8.1:
Overview of Part and Chapter / 8.3:
Domain Stakeholders and Their Perspectives / 8.4:
Domain Acquisition and Validation / 8.5:
Domain Analysis and Concept Formation / 8.6:
Domain Facets / 8.7:
Auxiliary Stages of Domain Development / 8.8:
The Domain Model Document / 8.9:
Further Structure of This Part / 8.10:
Domain Stakeholders / 8.11:
Stakeholders / 9.1:
Stakeholder Perspectives / 9.3:
Discussion: Stakeholders and Their Perspectives / 9.4:
Domain Attributes / 9.5:
Continuity, Discreteness and Chaos / 10.1:
Statics and Dynamics / 10.3:
Tangibility and Intangibility / 10.4:
One, Two, ..., Dimensionality / 10.5:
Domain Facilitators: Business Processes / 10.6:
Domain Intrinsics / 11.3:
Domain Support Technologies / 11.4:
Domain Management and Organisation / 11.5:
Domain Rules and Regulations / 11.6:
Domain Scripts / 11.7:
Domain Human Behaviour / 11.8:
Other Domain Facets? / 11.9:
Composition of Domain Models / 11.10:
Domain Acquisition / 11.11:
The Acquisition Process / 12.1:
Concept Formation / 12.3:
Consistencies, Conflicts and Completeness / 13.3:
From Analysis to Synthesis / 13.4:
Domain Verification and Validation / 13.5:
Domain Verification / 14.1:
Domain Validation / 14.3:
Towards Domain Theories / 14.4:
What Is a Domain Theory? / 15.1:
Example Statements of Domain Theories / 15.3:
Possible Domain Theories / 15.4:
How Do We Establish a Theory? / 15.5:
Purpose of a Domain Theory / 15.6:
Summary Principles, Techniques and Tools / 15.7:
The Domain Engineering Process Model / 15.8:
Review of Domain Development / 16.1:
Review of Domain Documents / 16.3:
Requirements Engineering / 16.4:
Overview of Requirements Engineering / 17:
Why Requirements, and for What? / 17.1:
Getting Started on Requirements Development / 17.3:
On Domains, Requirements and the Machine / 17.4:
Overview: Requirements Engineering Stages / 17.5:
The Requirements Document / 17.6:
The Structure of the Rest of the Part / 17.7:
Requirements Stakeholders / 17.8:
General Application Stakeholders / 18.1:
COTS Software House Stakeholders / 18.3:
Requirements Facets / 18.4:
Rough Sketching and Terminology / 19.1:
Business Process Reengineering Requirements / 19.3:
Domain Requirements / 19.4:
Interface Requirements / 19.5:
Machine Requirements / 19.6:
Composition of Requirements Models / 19.7:
Discussion: Requirements Facets / 19.8:
Requirements Acquisition / 19.9:
Requirements Acquisition Versus Domain Models / 20.1:
Domain Model-Based Requirements Acquisition / 20.2:
Overview of Concepts / 20.3:
Requirements Analysis and Concept Formation / 20.4:
Consistencies, Conflicts, and Completeness / 21.1:
Requirements Verification and Validation / 21.4:
Requirements Verification / 22.1:
Requirements Validation / 22.3:
Requirements Satisfiability and Feasibility / 22.4:
Satisfaction Study / 23.1:
Technical Feasibility Study / 23.3:
Economic Feasibility Study / 23.4:
Compliance with Implicit/Derivative Goals / 23.5:
The Requirements Engineering Process Model / 23.6:
Review of Requirements Development / 24.1:
Review of Requirements Documents / 24.3:
The Repeat Table of Contents Listing / 24.4:
Computing Systems Design / 24.5:
Hardware/Software Codesign / 25:
Introduction - On Architecture / 25.1:
Hardware Components and Modules / 25.2:
Software Components and Modules / 25.3:
Stepwise Refinement of Architectures / 25.4:
Principles, Techniques and Tools / 25.6:
Software Architecture Design / 26:
Initial Domain Requirements Architecture / 26.1:
Initial Machine Requirements Architecture / 26.3:
Analysis of Some Machine Requirements / 26.4:
Prioritisation of Design Decisions / 26.5:
Corresponding Designs / 26.6:
A Case Study in Component Design / 26.7:
Overview Introduction / 27.1:
Overview of Example / 27.2:
Methodology Overview / 27.3:
Step 0: Files and Pages / 27.4:
Step 1: Catalogue, Disk and Storage / 27.5:
Step 2: Disks / 27.6:
Step 3: Caches / 27.7:
Step 4: Storage Crashes / 27.8:
Step 5: Flattening Storage and Disks / 27.9:
Step 6: Disk Space Management / 27.10:
Domain-Specific Architectures / 27.11:
Translator Architectures / 28.1:
Information Repository Architectures / 28.3:
Client/Server Architectures / 28.4:
Workpiece Architectures / 28.5:
Reactive System Architectures / 28.6:
Connection Frame / 28.7:
Etcetera: Coding and All That! / 28.8:
From Formal Specification to Programming / 29.1:
The Beauty of Programming / 29.2:
Programming Practices / 29.3:
Confidence-Building Software Development / 29.4:
Verification, Model Checking and Testing / 29.5:
The Computing Systems Design Process Model / 29.6:
Review of Software Design / 30.1:
Review of Software Design Documents / 30.3:
Closing / 30.4:
The Triptych Development Process Model / 31:
Phase Process Models / 31.1:
Phase Documentation Table of Contents / 31.2:
Conclusion / 31.3:
Finale / 32:
Informal and Formal Software Engineering / 32.1:
Myths and Commandments of Formal Methods / 32.2:
FAQs: Frequently Asked Questions / 32.3:
Research and Tool Development / 32.4:
Application Areas / 32.5:
Closing Remarks / 32.6:
Appendixes / Part VIII:
An RSL Primer / A:
Types / A.1:
The RSL Predicate Calculus / A.2:
Concrete RSL Types / A.3:
[lambda]-Calculus and Functions / A.4:
Further Applicative Expressions / A.5:
Imperative Constructs / A.6:
Process Constructs / A.7:
Simple RSL Specifications / A.8:
Glossary / B:
Indexes / C:
Concepts Index / C.1:
Characterisations and Definitions Index / C.2:
Authors Index / C.3:
References
Preface
General
Brief Guide to Volume 3
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼