Yüklüyor…

QR Kod

Petri nets for systems engineering : a guide to modeling, verification, and applications /

Detaylı Bibliyografya
Yazar:	Girault, Claude
Diğer Yazarlar:	Valk, Rüdiger
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	New York ; London : Springer, 2003.
Konular:	Formal methods (Computer science) Biçimsel yöntemler (Bilgisayar bilimi) Systems engineering. Sistem mühendisliği. Petri nets. Petri ağları
Online Erişim:	OPAC'ta görüntüle

Benzer Materyaller

Advances in verification of time petri nets and timed automata : a temporal logic approach /
Yazar:: Penczek, Wojciech
Baskı/Yayın Bilgisi: (2006)

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

Sistem dinamiğine giriş /
Yazar:: Shearer, Jesse Lowen
Baskı/Yayın Bilgisi: (1984)

Sadeliğin yasaları /
Yazar:: Maeda, John
Baskı/Yayın Bilgisi: (2017)

Sistem ve Network Mühendisliği/
Yazar:: Kırbaş, Kayhan

Introduction to Industrial and systems engineering /
Baskı/Yayın Bilgisi: (1993)

Applied optimization /
Yazar:: Baldick, Ross
Baskı/Yayın Bilgisi: (2006)

Mühendislik sistemlerinin modellenmesi ve dinamiği /
Yazar:: Ercan, Yücel
Baskı/Yayın Bilgisi: (2003)

Energy Harvesting Systems : Principles, Modeling and Applications /
Baskı/Yayın Bilgisi: (2011)

Adım adım Microsoft visual C++ . net/
Yazar:: Templeman, Julian
Baskı/Yayın Bilgisi: (2003)

Mühendislik sistemlerinin modellenmesi ve dinamiği /
Yazar:: Ercan, Yücel
Baskı/Yayın Bilgisi: (2003)

Adım adım projelerle ASP.NET /
Yazar:: Gürleyen, Gökhan
Baskı/Yayın Bilgisi: (2015)

Neural networks : a comprehensive foundation
Yazar:: Haykin, Simon S.
Baskı/Yayın Bilgisi: (2009)

Neural networks : a comprehensive foundation
Yazar:: Haykin, Simon S.
Baskı/Yayın Bilgisi: (2009)

Systems analysis techniques in water resources management /
Yazar:: Kansal, M. L.
Baskı/Yayın Bilgisi: (2005)

Sistem ve network mühendisliği /
Yazar:: Kırbaş, Kayhan
Baskı/Yayın Bilgisi: (2021)

C# programlama dili ve yazılım tasarımı : programlama ilkeleri /
Yazar:: Kaymaz, Ahmet
Baskı/Yayın Bilgisi: (2009)

Temel istatistiksel yöntemler /
Yazar:: Toktamış, Öniz
Baskı/Yayın Bilgisi: (2020)

Dark Net : İnternetin Yeraltı Dünyası. /
Yazar:: Bartlett, Jamie
Baskı/Yayın Bilgisi: (2016)

Ağ yapım ve donam tekniği : (Balıkçılık II) /
Yazar:: Tokaç, Adnan
Baskı/Yayın Bilgisi: (2010)

İstatiksel veri analizi 1 : (SPSS ve MINITAB uygulamalı) /
Yazar:: Oğuzlar, Ayşe
Baskı/Yayın Bilgisi: (2007)

Sayısal yöntemler /
Yazar:: Yılmaz, Zekai

Ambulatuvar elektrokardiyografi /
Baskı/Yayın Bilgisi: (1994)

Systems analysis and design for the global enterprise /
Yazar:: Bently, Lonnie D.
Baskı/Yayın Bilgisi: (2007)

Sistem analizi ve tasarımı /
Yazar:: Baysal, Uğur
Baskı/Yayın Bilgisi: (2007)

Yapay zeka tabanlı araç koltuğu tanıma sisteminin geliştirilmesi/
Yazar:: Badem, Ali İhsan

Her Yönüyle C # /
Yazar:: Algan, Sefer

Neuroergonomics : The brain at work and everyday life /
Baskı/Yayın Bilgisi: (2019)

Probability and statistics for engineers /
Yazar:: Bayazıt, Mehmetçik
Baskı/Yayın Bilgisi: (1998)

Bilimsel araştırma ve istatistik teknikleri /
Yazar:: Kaptan, Saim
Baskı/Yayın Bilgisi: (1998)

Karar verme /

Foundations of statistical natural language processing /
Yazar:: Manning, Christopher D.

Endüstri ve sistem mühendisliğine giriş /
Yazar:: Turner, Wayne C.

Bilgisayar ağlarında saldırı ve savunma /
Yazar:: Usta, Gökhan
Baskı/Yayın Bilgisi: (2018)

Bilgisayar ağlarında saldırı ve savunma /
Yazar:: Usta, Gökhan
Baskı/Yayın Bilgisi: (2018)

Network sistemleri /
Yazar:: Tutkun, Hakan Koray
Baskı/Yayın Bilgisi: (2021)

Statistical quality control : a modern introduction /
Yazar:: Montgomery, Douglas C.
Baskı/Yayın Bilgisi: (2013)

Probability and statistics for engineers and scientists
Yazar:: Walpole, Ronald E.
Baskı/Yayın Bilgisi: (2014)

Kişilik Bozuklukları İçin Bilişsel Terapi : Şema Odaklı Bir Yaklaşım /
Yazar:: Young, Jeffrey E.
Baskı/Yayın Bilgisi: (2018)

Deep learning with Python /
Yazar:: Chollet, François
Baskı/Yayın Bilgisi: (2021)