Database:
COLBIB
Search:
DIAGRAMS []
References found:
2
[
Refine the search
]
Showing:
1 .. 2
in format [
Normal
]
page 1 of 1
1 / 2
select
print
Control Number
56727
Library
Central library
Signature
ER 000869
Title
Advances in verification of time Petri Nets and Timed Automata [Edocument] : a temporal logic approach
Main author
Penczek, Wojciech
Author(s)
Potrola, Agata
Publisher
Heidelberg :
Springer
, 2006
Description
256 pagina's : illustraties
Series
Studies in Computational Intelligence
; vol. 20
ISBN
18609503
Notes
Met lit. opg.. - Met index
Subjects (Dut.)
COMPUTERTECHNOLOGIE
;
BEVEILIGINGSPROTOCOLLEN
;
TIJD PETRINETTEN
;
DIAGRAMMEN
;
WISKUNDIGE MODELLEERTAAL
;
TIJDMODELLERING
;
GETIMEDE AUTOMATEN-MODEL
;
MODELCONTROLE
;
VERIFICATIE-INSTRUMENT
Subjects (Eng.)
COMPUTER TECHNOLOGY
;
SAFETY
;
DIAGRAMS
;
MATHEMATIC MODELING LANGUAGE
;
TIME MODELING
;
CONTROLING SYSTEM
;
VERIFICATION INSTRUMENT
2 / 2
select
print
Control Number
15304
Library
Central library
Signature
TEM 517
Title
Temperley-Lieb recoupling theory and invariants of 3-manifolds
Main author
Kauffman, Louis H.
Author(s)
Lins, Sostenes L.
Publisher
New Jersey :
Princeton
, 1994
Description
296 pagina's
Series
Annals of Mathematics studies
; Nr. 134
ISBN
0691036403
Notes
Met bibliogr.. - Met index
Subjects (Dut.)
WISKUNDIGE ANALYSE
;
ALGEBRA
;
TOPOLOGIE
;
DIFFERENTIAALREKENINGEN
;
VARIATIES
;
GRAFIEKEN
;
DIAGRAMMEN
;
VCTOREN
;
REPRESENTATIETHEORIE
;
TEMPERLEY-LIEB-ALGEBRA
Subjects (Eng.)
MATHEMATICS
;
MATHEMATICAL ANALYSIS
;
TOPOLOGY
;
GRAPHS
;
DIAGRAMS
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
202200000295
SRUvSCB
L
TEM 517
page 1 of 1
Refine the search
COLBIB : Advanced form
Basic form
Search:
in field:
1
Words
Title words
Title
Serial title
Author
Institutional author
Subject
Subject(dutch)
Signature
Publisher
Publication Year
University
Collection
Notes
2
and
or
and not
Words
Title words
Title
Serial title
Author
Institutional author
Subject
Subject(dutch)
Signature
Publisher
Publication Year
University
Collection
Notes
3
and
or
and not
Words
Title words
Title
Serial title
Author
Institutional author
Subject
Subject(dutch)
Signature
Publisher
Publication Year
University
Collection
Notes