Podobné jednotky: An introduction to formal specification and Z /
- ZUM '95: The Z formal specification notation : 9th international conference : Konf. Limerick, Ireland, 7.- 9. Sept. 1995 /
- Formal development of programs and proofs /
- Specification case studies /
- Software engineering standards and specifications : An annotated index and directory /
- An introduction to programming. A structured approach using PL/I and PL/C /
- The Z notation : A reference manual /
Téma: software
- Návrh a realizácia riadenia pre kamerový slider
- Softvéry pre tvorbu dispozičných riešení pre montáž
- Softvér pre podporu výučby predmetu Programovanie priemyselných regulátorov
- CAM systémy pre výrobu stopkových rezných nástrojov
- Hardvérové a softvérové zabezpečenie pre počítačom integrovanú výrobu
- Návrh a realizácia SW aplikácie pre riadenie robota KoŠkuEl
Téma: programovanie
- Možnosti a metódy v programovaní priemyselných robotov
- Programovanie elektrického chápadla LEHF20K2-48-R5 na základe zvoleného typu súčiastkovej základne
- Vplyv CNC zariadení na proces trvalého zlepšovania v spoločnosti Hammerbacher SK : Diplomová práca
- Návrh a realizácia systému spojitej regulácie automatického plynového kotla pomocou programovateľného relé Teco : Diplomová práca
- PID regulácia v prostredí STEP7
- Simulácia konštrukčného riešenia automatizovanej zváracej bunky pomocou simulačného software Robcad