Výsledky vyhľadávania
- Formal verification of network protocols using SPIN automated tool
Marko Peter ; I100 Hudec Ladislav ; I300
Datakon 2010: Proceedings of the Annual Database Conference, October 16-19, 2010, Mikulov, Czech Republic . s.183-186
verifikácia formálna verifikácia sieťové protokoly spin
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - Generovanie jednorazových autorizačných sekvencií pre Linux server
Halenárová Lenka Schreiber Peter (škol.) ; M6000
STU v Bratislave MTF UIAM, 2010
MTF ;
bezpečnosť Linux Linux počítačové siete sieťové protokoly
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=75194
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné MTF 0 0 0 1 - CCNP ROUTE 642-902 : Official Certificarion Guide
Indianapolis : Cisco Press, 2010 . - 730 s
ISBN 978-1-58720-253-7
počítačové siete sieťové protokoly Telekomunikácie
monografiaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 - Velký průvodce protokoly TCP/IP a systémem DNS
Kabelová Alena Dostálek Libor
5.aktual.vyd.
Brno : Computer Press, 2008 . - 488 s
ISBN 978-80-251-2236-5
sieťové protokoly
sprievodcaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 1 0 0 0 MTF 2 1 0 0 SVF 0 0 0 1 - DHCP. Příručka administrátora
Droms Ralph Lemon Ted
Brno : Computer Press, 2004 . - 490 s
ISBN 80-251-0130-4
prenosové protokoly systémy prenosu dát počítačové siete komunikačné protokoly komunikačné systémy sieťové protokoly
príručkaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 0 0 0 1 - Výkonnosť ATM protokolu v prostredí bezdrôtových komunikačných kanálov : Ved.odb. 26-27-9. Obh. 29.4.2004
Trúchly Peter ; E240 Podhradský Pavol (škol.) ; E240
Bratislava : STU v Bratislave FEI, 2003 . - 130 s
Telekomunikácie sieťové protokoly
dizertačná práca
DAI - Dizertačné a habilitačné práceFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 1 0 0 0 - OSPF anatomy of an Internet routing protocol
Moy John T.
Reading : Addison-Wesley, 1998 . - 339 s
ISBN 0-201-63472-4
komunikačné systémy sieťové protokoly
učebnicaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 - ANMP, ANMPv2, and RMON : Practical network management
Satllings William
Reading : Addison-Wesley, 1996 . - 478 s
ISBN 0-201-63479-1
manažment počítačové siete komunikačné protokoly TCP/IP sieťové protokoly diaľkové monitorovanie
učebnicaFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 0 1 0 - Multiprotocol routing in large networks = Multiprotokolové smerovanie vo veľkých sieťach / [aut.] Foster,James
Foster James
Stanford : University Video Communications, 1992 . - 1 videokaz. ; (45 : 00);VHS PAL
počítačové siete komunikačné systémy sieťové protokoly
video - kazeta - Lokálne počítačové siete s ľubovoľnou topológiou : Kand.diz.práca : V.odb. 26-08-9 : Obh. 15.03.1990 / [aut.] Uličný,Miloš, Ing.; Škol. Pořízek,Radoslav
Uličný Miloš Pořízek Radoslav (škol.)
Bratislava : SVŠT v Bratislave EF, 1989 . - 118 s
sieťové protokoly
dizertačná prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 1 0 0 0