Search results
- Metamath - Assembler Language of Proof Languages
Kiselkov Martin ; I200
Student Research Conference 2007. 3rd Student Research Conference in Informatics and Information Technologies Bratislava, April 18, 2007 : . s.233-240
automatické dokazovanie matematická logika formálne systémy
článok zo zborníka
AFD - Reports at home scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - Multiplatformová sieťová knižnica-LNET
Katona Aleš ; I200 Kiselkov Martin (Thesis advisor) ; I200
Bratislava : STU v Bratislave FIIT, 2007 . - 71 s príl.
informatika
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - Sieťovo-transparentný systém používateľského rozhrania
Kiselkov Saša Kiselkov Martin (Thesis advisor) ; I200
Bratislava : STU v Bratislave FIIT, 2007
FIIT ; . - 59 s príl.
informatika
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - Štúdie vybraných tém softvérového inžnierstva 3 : Pokročilé metódy navrhovania programových systémov. Pokročilé metódy získavania,vyhľadávania, reprezentácie a prezentácie informácie
Bieliková Mária ; I200 Návrat Pavol ; I200 Barla Michal ; I200 Bartalos Peter ; I200 Ciglan Marek Hamar Jozef Kiselkov Martin ; I200 Laclavík Michal Mažgut Jakub ; I200 Máté Ján ; I200 Suchal Ján ; I200 Šeleng Martin ; I200 Tvarožek Michal ; I200 Vojtek Peter ; I200
Bratislava : STU v Bratislave FIIT, 2007 . - 216 s.
ISBN 978-80-227-2701-3
softvérové inžinierstvo
zborník (príspevkov)
AED - Scientific titles in home noticed scientific year-books (not conference)
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
(2) - článokFaculty Available Inaccesible Issued For Request Only FEI 0 1 0 0 FIIT 1 1 0 0 - Štúdia servera pre interaktívne systémy obohatenej reality
Kiselkov Martin ; I200 Štefanovič Juraj (xxx) ; I300
Bratislava : STU, 2005 . - 57 s
informatika
diplomová prácaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0