Nyíregyházi Egyetem Tudományos Elektronikus Adattár: Böngészés a TEA-ban

	A DSpace rendszerről

Főoldal

Böngészés
Közösségek és gyűjtemények
Megjelenés Dátuma
Szerző
Cím
Tárgyszó

Bejelentkezés:
Felhasználói felület regisztrált felhasználóknak
Profil Szerkesztése

E-mail értesítés frissítésekről

A rendszerről

Böngészés szerint Tárgyszó theorem proving

Ugrás ide: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

vagy írja be az első betűit:

Dokumentumok listája: 1 - 2 Összesen: 2

Megjelenés Dátuma	Cím	Szerző(k)
14-jún-2012	TÖBBCSATORNÁS KRIPTOGRÁFIAI PROTOKOLLOK GYAKORLATI VIZSGÁLATA	Vályi, Sándor; Takács, Péter
14-jún-2012	Többcsatornás kriptográfiai protokollok vizsgálata a bővített CSN-logika eszközeivel	Vályi, Sándor; Takács, Péter

Dokumentumok listája: 1 - 2 Összesen: 2