- Rozšíření Behavior Protocols +12007 | Matematicko-fyzikální fakulta
- Ověřování softwarových komponent s použitím Behavior Protocols a Spinu2007 | Matematicko-fyzikální fakulta
- Extrakce modelu interakce mezi komponentou a prostředím pomocí průchodu stavovým prostorem2010 | Matematicko-fyzikální fakulta
- Rozšíření Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Nástroj pro ověřování behavior protokolů +1Publikace bez příslušnosti k fakultě
- Threaded Behavior Protocols2013 | Matematicko-fyzikální fakulta
- Distribuovaný ověřovač Behavior protokolů2006 | Matematicko-fyzikální fakulta
- Standardy a protokoly pro podporu ob ěhu2007 | Ústřední knihovna
- Standardy a protokoly pro podporu oběhu2007 | Lékařská fakulta v Plzni
- Standardy a protokoly pro podporu oběhu2007 | Lékařská fakulta v Plzni, 1. lékařská fakulta
- Distribuovaný ověřovač Behavior protokolůPublikace bez příslušnosti k fakultě
- High Entropy Random Selection Protocols2021 | Matematicko-fyzikální fakulta
- Rozšíření protokolů chování o podporu vyjímek2005 | Matematicko-fyzikální fakulta
- Pediatrický protokol a jeho využití v praxi2018 | 2. lékařská fakulta, 3. lékařská fakulta
- Rozšíření Behavior protokolů o data a multisynchronizaciPublikace bez příslušnosti k fakultě
- Masivní transfuzní protokol2023 | Lékařská fakulta v Hradci Králové
- Protocols for dental-related stem cells isolation, amplification and differentiation2016 | Lékařská fakulta v Hradci Králové
- Determinants of Dictator Giving under Interactive and Non-interactive Protocols2020 | Právnická fakulta
- Model checking a redukce behavior protokolů2006 | Matematicko-fyzikální fakulta
- Behavior Protocoly: Řešení problému 'spearhead'2006 | Matematicko-fyzikální fakulta
- Výjimky v komponentových interakčních protokolech - nutnost2006 | Matematicko-fyzikální fakulta
- Protokoly MR zobrazování2014 | 2. lékařská fakulta, Lékařská fakulta v Hradci Králové
- On Protocols for Monotone Feasible Interpolation2023 | Matematicko-fyzikální fakulta
- Model amorfního počítače a jeho komunikačního protokolu2007 | Matematicko-fyzikální fakulta
- Zlepšení výkony testování protokolů chování2005 | Matematicko-fyzikální fakulta
- Ekomorfologický monitoring říční sítě v povodí Liběchovky2008 | Přírodovědecká fakulta
- Kompilace stenografických záznamů českého parlamentu do korpusu2020 | Matematicko-fyzikální fakulta
- The Protocol of 1997 and the European Union (introduction)2014 | Právnická fakulta