logo

Database:
COLBIB
Search:
DIAGRAMMEN []
References found:
Showing:
1 .. 2   in format [Normal]
page 1 of 1


1 / 2
select
print






Control Number56727
LibraryCentral library
SignatureER 000869
TitleAdvances in verification of time Petri Nets and Timed Automata [Edocument] : a temporal logic approach
Main authorPenczek, Wojciech
Author(s)Potrola, Agata
PublisherHeidelberg : Springer, 2006
Description 256 pagina's : illustraties
SeriesStudies in Computational Intelligence ; vol. 20
ISBN18609503
NotesMet 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 Number15304
LibraryCentral library
SignatureTEM 517
TitleTemperley-Lieb recoupling theory and invariants of 3-manifolds
Main authorKauffman, Louis H.
Author(s)Lins, Sostenes L.
PublisherNew Jersey : Princeton, 1994
Description 296 pagina's
SeriesAnnals of Mathematics studies ; Nr. 134
ISBN0691036403
NotesMet 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.LibraryType of MaterialShelf LocDate Return
202200000295SRUvSCBLTEM 517




page 1 of 1

  COLBIB : Advanced form

   
Search:
in field:
 
1     
2   
3   
 
shopify analytics