Search

Now showing items 1-10 of 2458

Személyszállítási feladatra multimodális útvonaltervező és optimalizáló algoritmus fejlesztése

Katona, Géza (2019)

Practice-oriented formal methods to support the software development of industrial control systems

Darvas, Daniel (2017)

N és P hiány hatásai, a glikogénakkumuláló mikroorganizmusok szerepének újraértelmezése az eleveniszapos szennyvíztisztításban a bioreaktor elrendezés tükrében

Lemaire, Bernadett (2017)

Challenges and formal aspects of volunteer computing

Marosi, Attila Csaba (2016)

Extensions and generalization of the saturation algorithm in model checking

Molnár, Vince (2019)

Metamodel-based model generation and validation techniques with applications

Szatmári, Zoltán (2016)

Glutation-függő sejthalálfolyamatok

Lőrincz, Tamás (2018)

Disquisition on pricing of telecommunication services and billing system functionalities

Ary, Bálint Dávid (Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013)

Performance evaluation of QoS architectures for packet-switched networks

Martinecz, Mátyás (Budapesti Műszaki és Gazdaságtudományi Egyetem, 2008)

Improved performance models for web-based software systems

Bogárdi-Mészöly, Ágnes (Budapesti Műszaki és Gazdaságtudományi Egyetem, 2009)

1
2
3
4
. . .
246