Yazar
Lubos Brim
5 cilt bulundu.
Cilt sonuçları
CONCUR 2002-concurrency theory
Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonín Kucera · Springer
611 sayfa · 2002
Parallel processing (Electronic computers) / Congresses / Parallel processing (electronic computers)
Mathematical Foundations of Computer Science, 1998
Lubos Brim, Josef Gruska, Gerhard Goos, Juris Hartmanis · Springer-Verlag Telos
843 sayfa · 1998
Informatique / Mathematiques / Kongress / Teoria da computacao / Fundamentele informatica
CONCUR 2002 - Concurrency Theory
Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonín Kucera · Springer London, Limited
609 sayfa · 2003
Kategori yok
Formal Methods : Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol · Springer London, Limited
Sayfa sayısı yok · 2007
Software engineering / Computer programs / Computer software, reliability / Computer software, verification