Historie programování a VT u nás
Vyhledávání...
Přepnout navigaci
AKTUÁLNÍ NOVINKY
Cíle expozice
PRŮVODCE EXPOZICÍ
Současnost SW a IT
KNIHOVNA
Historické počítače
COBOL
O nás
Úvod
Mapa stránek
(štítky)
Zadejte část názvu
Zobrazit
5
10
15
20
25
30
50
100
Vše
. aplikovaná informatika (15)
1976 - Některé aspekty řešení interaktivních systémů
1979 - Rozhodovací tabulky jako prostředek usnadnění verifikace programů
1979 - Štruktůra programov (v BPS)
1980 - Testování programů
1983 - Interaktivní grafové systémy
1985 - Čtyři úrovně abstrakce při koncipování modelů a procesů
1985 - Projektování datové základny metodou HIT modelu
1989 - Technologie projektování informačních systémů
1989 - Výřezy programů v procesu ladění a testování
1994 - Verifikace funkční a datové struktury
1995 - Modelování, simulace a realizace softwarového procesu
1997 - Algoritmy, datové struktury a přínos jejich studia pro vzdělání inženýra
1998 - OBJ3 a LEGO jako nástroje pro specifikaci funkčního modelu
2002 - Teoretická informatika ve vztahu k programátorským technikám
A apt
Prohlídkové okruhy
Témata ()
Mapa stránek
(štítky)
TOP *** (s)
Populárně psané články (s)
Pamětnické vzpomínky (s)
- - -
A - systémy a programování
B - počítače a další technika
C - využití počítačů a VT
D - lidé
E - instituce a info-zdroje
- - -
H - historický vývoj u nás
M - virtuální sbírka TM v Brně
P - programátorské příklady
R - redakce vývoje prog-story
- - -
Přihlášení
Uživatelské jméno
Heslo
Pamatuj si mě
Přihlásit se
Zapomenuté jméno?
Zapomenuté heslo?
Upravované
Principy systematického přehledu - příklady (SP)
2023-11-23 75 let od vzniku kybernetiky
2023-11-10 Výskumný Ústav Výpočtovej Techniky Žilina
2023-11-10 Česká stopa v historii výpočetní techniky
2xxx-yy-zz Programovací stavebnice Mini-web
2022-06-03 Nejstarší osobní exponát - program COBOL z r. 1970
2021-09-03 LGP 30 atd ...
2020 - připomenutí 45 let od 1. ročníku semináře PROGRAMOVÁNÍ `75
~ VHJ Tesla Praha
P - PROGRAMÁTORSKÉ PŘÍKLADY