Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002

Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002
Год
 
Страниц
 
224
ISBN
 
ISBN10:3540439137
Издатель
 
Springer

Описание:

Proceedings of the 10th Intl Conference on Conceptual Structures, held July 15-17, 2002 in Borovets, Bulgaria. Papers organized in topical sections on data and knowledge structures, semantics, interfaces and applications, and logical and mathematical foundations. Softcover.

Похожие книги

Purely Functional Data StructuresPurely Functional Data Structures
Автор: Chris Okasaki
Год: 1999
Textile Composites and Inflatable StructuresTextile Composites and Inflatable Structures
Автор: Onate E.
Год: 2005
Multiscale Modelling for Structures and CompositesMultiscale Modelling for Structures and Composites
Автор: G. Panasenko
Год: 2005
Purely functional data structuresPurely functional data structures
Автор: Chris Okasaki
Год: 1999
Acoustic and electromagnetic diffraction by canonical structuresAcoustic and electromagnetic diffraction by canonical structures
Автор: Vinogradov Sergey Sergeyevich, Smith Paul Denis, Vinogradova Elena Dmitrievna
Год: 2002