Suchergebnisse für ""Burcu Külahç¿o¿lu""
2 Artikel gefunden
Suchfilter
Cover Timed Automata as a Verification Tool for Security Protocols
Burcu Külahç o lu 
Timed Automata as a Verification Tool …
Broschiertes Buch

32,99 €
Cover Los autómatas programados como herramienta de verificación de los protocolos de seguridad
Burcu Külahç¿o¿lu 
Los autómatas programados como …
Broschiertes Buch

32,99 €

Ähnliche Artikel

Cover Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, …
Advances in Verification of Time Petri …
Gebundenes Buch

115,99 €
Cover The use of Website as a Tool of E-Learning in Education
Hessa Alkhanbashi 
The use of Website as a Tool of …
Broschiertes Buch

52,99 €
Cover A Journey from Process Algebra via Timed Automata to Model Learning
 
A Journey from Process Algebra via …
Broschiertes Buch

38,99 €
Cover Formal Modeling and Analysis of Timed Systems
 
Formal Modeling and Analysis of Timed …
Broschiertes Buch

38,99 €
Cover Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassine Lakhnech / …
Formal Techniques, Modelling and …
Broschiertes Buch

39,99 €
Cover Formal Modeling and Analysis of Timed Systems
 
Formal Modeling and Analysis of Timed …
Broschiertes Buch

38,99 €
Cover Formal Modeling and Analysis of Timed Systems
 
Formal Modeling and Analysis of Timed …
Broschiertes Buch

53,49 €
Cover Towards a biological modelling tool recommending proper subnetworks
Fabienne Lambusch 
Towards a biological modelling tool …
Broschiertes Buch

33,99 €
Cover Table Extraction for Information Retrieval
Amin Mirdamadi 
Table Extraction for Information Retrieval
Broschiertes Buch

36,99 €
Cover Formal Modeling and Analysis of Timed Systems
 
Formal Modeling and Analysis of Timed …
Broschiertes Buch

38,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter