Loading…

QR Code

Advances in verification of time petri nets and timed automata : a temporal logic approach /

Bibliographic Details
Main Author:	Penczek, Wojciech
Other Authors:	Połrola, Agata
Format:	Book
Language:	English
Published:	Berlin : Springer, 2006.
Subjects:	Petri ağları. Petri nets. Gerçek zamanlı kontrol. Real-time control. Gerçek zamanlı bilgi işlem. Real-time data processing.

Similar Items

A real time approach to process control /
by: Svrcek, William Y.
Published: (John Wiley & Sons, 2000.)

Petri nets for systems engineering : a guide to modeling, verification, and applications /
by: Girault, Claude
Published: (Springer, 2003.)

Modelling and analysis of hybrid supervisory systems : a petri net approach /
by: Villani, Emilia
Published: (Springer, 2007.)

Üç serbestlik dereceli robotik kolun kartezyen uzayda empedans kontrolü /
by: Beyhan, Ayberk
Published: (2021.)

The time machine
by: Wells, H. G. 1866-1946. (Herbert George)
Published: (2008 Peacock Books)

Sorgulanan Uzay ve Zaman /
by: Arık, Metin
Published: (TÜBİTAK Popüler Bilim Kitapları, 2019.)

Takımımızın yeteneklerini geliştirmede zaman yönetimi /
by: Allan, Jane
Published: (Hayat, 2004.)

Zaman ve değerlendirilmesi /
by: Değirmenci, Yaşar
Published: (Metropol Dağıtım, 1993)

60 saniyede organize olun /
by: Davidson, Jeff
Published: (Martı Yayıncılık, 2008.)

Tarihsel jeoloji : Jeolojik devirlerde yaşam ve evrim adımları /
by: İnan, Nurdan
Published: (Seçkin Yayıncılık, 2017)

Ekonometrik zaman serileri analizi : EViews uygulamalı /
by: Sevüktekin, Mustafa
Published: (Dora -Basım Yayın Dağıtım Ltd.Şti, 2017.)

Zamanın kıymeti : İslam alimlerinin gözüyle/
by: Ebu Gudde, Abdulfettah
Published: (Takdim Kitap, 2023.)

Practical time series analysis : prediction with statistics and machine learning/
by: Nielsen, Aileen
Published: (O’Reilly Media, 2020.)

Mekânın üretimi /
by: Lefebvre, Henri
Published: (Sel Yayıncılık, 2015.)

Mekânın üretimi /
by: Lefebvre, Henri
Published: (Sel Yayıncılık, 2014.)

Time series analysis : identification and adaptive filtering /
by: Graupe, Daniel
Published: (R. E. Krieger Pub, 1989.)

Zaman serilerinin analizi ve arıma modelleri /
by: Akgül, Işıl
Published: (Der Yayınları, 2011.)

Zaman üzerine dokuz düşünce : Bilimkurgu, bilimsel gerçek ve zaman yolculuğuna dair doğrular /
by: Gribbin, John
Published: (Alfa Basım Yayın Dağıtım San. ve Tic. Ltd. Şti., 2024.)

Time series analysis, identification and adaptive filtering /
by: Graupe, Daniel
Published: (Robert E. Krieger, 1989.)

İslam âlimlerinin gözüyle zamanın kıymeti/
by: Ebu Gudde, Abdulfettah
Published: (Otto Yayınları, 2017)

Discrete-time signal processing /
by: Oppenheim, Alan V.
Published: (Pearson, 2014.)

Discrete-time signal processing /
by: Oppenheim, Alan V.
Published: (Pearson, 2014)

BBC Doctor Who : Dehşet ağı /
by: Tucker, Mike
Published: (İthaki, 2017.)

Discrete-time processing of speech signals /
by: Deller, John R.
Published: (IEEE Press, 2000.)

Discrete-time speech signal processing : principles and practice /
by: Quatieri, T. F. (Thomas F.)
Published: (Prentice Hall, 2002.)

Sorumluluklarını geciktiren çocuklar /
by: Emmett, Rita
Published: (Kariyer Yayıncılık, 2003.)

Telepati /
by: Patrignani, Leonardo
Published: (Pegasus Yayınları, 2019.)

Time-frequency analysis /
by: Cohen, Leon
Published: (Prentice Hall PTR, 1995.)

History and presence /
by: Orsi, Robert A.
Published: (The Belknap Press of Harvard University Press, 2016.)

Raum zeit materia : vorlesungen über allgemeine relativitatstheorie /
by: Weyl, Hermann
Published: (Verlag von Julius springer, 1961.)

Gayrimenkul piyasaları ve finansmanı : Türkiye'de gayrimenkul finansman piyasalarının gelişimi /
by: Hepşen, Ali
Published: (Literatür yayınları, 2010.)

Tüm boyutlarıyla emlak danışmanlığı /
by: Karakurt Tosun, Elif
Published: (Ekin Basım Yayın Dağıtım, 2020.)

Zaman makinesi /
by: Wells, H. G.
Published: (İthaki Yayınları, 2019.)

Proceedings of the 20th International Symposium on Advancement of Construction Management and Real Estate
Published: (Springer Nature Singapore : Imprint: Springer, 2017.)

The poetics of space /
by: Bachelard, Gaston, 1884-1962
Published: (Beacon Press, 1994.)

Bilgi çağında insan /
by: Aydın, Selim
Published: (T.Ö.V, 1994.)

Anadolu kültür tarihi /
by: Akurgal, Ekrem
Published: (Phoenix, 2014)

Building Performance Evaluation From Delivery Process to Life Cycle Phases /
Published: (Springer International Publishing : Imprint: Springer, 2018.)

Hiperuzay : paralel evrenler, zaman bükülmeleri ve 10. boyutta bilimsel bir macera/
by: Kaku, Michio
Published: (ODTÜ Geliştirme Vakfı Yayıncılık ve İletişim A.Ş., 2022.)

Niebel's methods, standards, and work design /
by: Freivalds, Andris
Published: (McGraw-Hill Higher Education, 2014)