>> Amazon.co.jp
このページのQRコード

Drawing graphs : methods and models

種類:
図書
責任表示:
Michael Kaufmann, Dorothea Wagner (eds.)
出版情報:
Berlin : Springer, c2001
著者名:
シリーズ名:
Lecture notes in computer science ; 2025 <BA00009279>
ISBN:
9783540420620 [3540420622]  CiNii Books  Calil
注記:
"LNCS2025, Tutorial" -- on cover
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September …

Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, Alfaro, Luca de, Gilmore, &hellip;

Springer
7 図書 MAXIMUM ENTROPY AND BAYESIAN METHODS : CAMBRIDGE, ENGLAND, 1988

<ED. BY> SKILLING, J.

KLUWER ACADMEIC PUB.
2 図書 Logic and algebraic methods

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
8 図書 FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

World Congress on Formal Methods in the Development of Computing Systems, Wing, Jeannette Marie, Woodcock, James, &hellip;

Springer
3 図書 Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings

International Conference on Graph Transformation, Corradini, Andrea

Springer
9 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot

Springer
4 図書 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers

International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, &hellip;

Springer
10 図書 Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

VMCAI, Zuck, Lenore D., Attie, Paul C., Cortesi, Agostino, Mukhopadhyay, Supratik

Springer
5 図書 Graph theoretic concepts in computer science : 25th International Workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science, Widmayer, Peter, Neyer, Gabriele, Eidenbenz, &hellip;

Springer
11 図書 Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

VMCAI, Cortesi, Agostino

Springer
6 図書 Probabilistic and statistical methods in cryptology : an introduction by selected topics

Neuenschwander, Daniel, 1963-

Springer
12 図書 Advances in cryptology, CRYPTO '99 : 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 : proceedings

CRYPTO, Wiener, Michael

Springer