Yüklüyor…

QR Kod

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

Detaylı Bibliyografya
Yazar:	Penczek, Wojciech
Diğer Yazarlar:	Połrola, Agata
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Berlin : Springer, 2006.
Konular:	Petri ağları. Petri nets. Gerçek zamanlı kontrol. Real-time control. Gerçek zamanlı bilgi işlem. Real-time data processing.

Benzer Materyaller

A real time approach to process control /
Yazar:: Svrcek, William Y.
Baskı/Yayın Bilgisi: (John Wiley & Sons, 2000.)

Petri nets for systems engineering : a guide to modeling, verification, and applications /
Yazar:: Girault, Claude
Baskı/Yayın Bilgisi: (Springer, 2003.)

Modelling and analysis of hybrid supervisory systems : a petri net approach /
Yazar:: Villani, Emilia
Baskı/Yayın Bilgisi: (Springer, 2007.)

Üç serbestlik dereceli robotik kolun kartezyen uzayda empedans kontrolü /
Yazar:: Beyhan, Ayberk
Baskı/Yayın Bilgisi: (2021.)

The time machine
Yazar:: Wells, H. G. 1866-1946. (Herbert George)
Baskı/Yayın Bilgisi: (2008 Peacock Books)

Sorgulanan Uzay ve Zaman /
Yazar:: Arık, Metin
Baskı/Yayın Bilgisi: (TÜBİTAK Popüler Bilim Kitapları, 2019.)

Takımımızın yeteneklerini geliştirmede zaman yönetimi /
Yazar:: Allan, Jane
Baskı/Yayın Bilgisi: (Hayat, 2004.)

Zaman ve değerlendirilmesi /
Yazar:: Değirmenci, Yaşar
Baskı/Yayın Bilgisi: (Metropol Dağıtım, 1993)

60 saniyede organize olun /
Yazar:: Davidson, Jeff
Baskı/Yayın Bilgisi: (Martı Yayıncılık, 2008.)

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

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

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

Practical time series analysis : prediction with statistics and machine learning/
Yazar:: Nielsen, Aileen
Baskı/Yayın Bilgisi: (O’Reilly Media, 2020.)

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

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

Time series analysis : identification and adaptive filtering /
Yazar:: Graupe, Daniel
Baskı/Yayın Bilgisi: (R. E. Krieger Pub, 1989.)

Zaman serilerinin analizi ve arıma modelleri /
Yazar:: Akgül, Işıl
Baskı/Yayın Bilgisi: (Der Yayınları, 2011.)

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

Time series analysis, identification and adaptive filtering /
Yazar:: Graupe, Daniel
Baskı/Yayın Bilgisi: (Robert E. Krieger, 1989.)

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

Discrete-time signal processing /
Yazar:: Oppenheim, Alan V.
Baskı/Yayın Bilgisi: (Pearson, 2014.)

Discrete-time signal processing /
Yazar:: Oppenheim, Alan V.
Baskı/Yayın Bilgisi: (Pearson, 2014)

BBC Doctor Who : Dehşet ağı /
Yazar:: Tucker, Mike
Baskı/Yayın Bilgisi: (İthaki, 2017.)

Discrete-time processing of speech signals /
Yazar:: Deller, John R.
Baskı/Yayın Bilgisi: (IEEE Press, 2000.)

Discrete-time speech signal processing : principles and practice /
Yazar:: Quatieri, T. F. (Thomas F.)
Baskı/Yayın Bilgisi: (Prentice Hall, 2002.)

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

Telepati /
Yazar:: Patrignani, Leonardo
Baskı/Yayın Bilgisi: (Pegasus Yayınları, 2019.)

Time-frequency analysis /
Yazar:: Cohen, Leon
Baskı/Yayın Bilgisi: (Prentice Hall PTR, 1995.)

History and presence /
Yazar:: Orsi, Robert A.
Baskı/Yayın Bilgisi: (The Belknap Press of Harvard University Press, 2016.)

Raum zeit materia : vorlesungen über allgemeine relativitatstheorie /
Yazar:: Weyl, Hermann
Baskı/Yayın Bilgisi: (Verlag von Julius springer, 1961.)

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

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

Zaman makinesi /
Yazar:: Wells, H. G.
Baskı/Yayın Bilgisi: (İthaki Yayınları, 2019.)

Proceedings of the 20th International Symposium on Advancement of Construction Management and Real Estate
Baskı/Yayın Bilgisi: (Springer Nature Singapore : Imprint: Springer, 2017.)

The poetics of space /
Yazar:: Bachelard, Gaston, 1884-1962
Baskı/Yayın Bilgisi: (Beacon Press, 1994.)

Bilgi çağında insan /
Yazar:: Aydın, Selim
Baskı/Yayın Bilgisi: (T.Ö.V, 1994.)

Anadolu kültür tarihi /
Yazar:: Akurgal, Ekrem
Baskı/Yayın Bilgisi: (Phoenix, 2014)

Building Performance Evaluation From Delivery Process to Life Cycle Phases /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)

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

Niebel's methods, standards, and work design /
Yazar:: Freivalds, Andris
Baskı/Yayın Bilgisi: (McGraw-Hill Higher Education, 2014)