COLBIB - Results page 1

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

2

3

shopify analytics