Štátna vedecká knižnica v Košiciach - Hlavná 10, 042 30 Košice, tel. +421918245888, e-mail: svkk@svkk.sk Preskočiť na obsah Zabudol som heslo
VuFind
  • 0 položky (Plný)
  • Registrácia
  • Odhlásiť
  • Prihlásiť
  • Študovňa
    • Študovňa kníh
    • Americké centrum
    • Študovňa periodík
    • Nemecká knižnica
    • Hala služieb
    • Regionálna lieratúra
    • Historické fondy
  • Digitálna zbierka
    • Knihy
    • Noviny
    • E-knihy
    • Platne, CD
  • Jazyk
    • Slovenčina
    • English
Pokročilý
Zrušiť filtre
Doporučené témy: náboženské periodiká
Zrušiť filtre
Zobraziť filtre (1)
Doporučené témy: náboženské periodiká
  • Channels
  • Verifikácia programov /
Vyhľadať ďalšie pohľady:

Podobné jednotky: Verifikácia programov /

Testovanie, diagnostika a verifikácia digitálnych systémov /

Modelovanie, simulácia a verifikácia vybraných mechatronických systémov /

Verifikácia experimentálnych metód určovania zvyškových napätí : tézy inauguračnej prednášky k vymenúvaciemu konaniu za profesora v odbore habilitačného konania a inauguračného konania Aplikovaná mechanika /

Programové inžinierstvo.

Hodnotenie výkonnosti lojalitných programov /

Programové zabezpečenie ASR : zbierka riešených úloh /

Programové vybavenie vstupu : programové zabezpečenie vstupného modulu ISIS [Diel] 4 /

Generátor prehľadávacích programov /

Programové ciele 1977.

Programovanie a algoritmy /

Programové vybavení počítačů /

Programové vybavení ASŘ /

Základy programové analýzy /

Programové zabezpečení ASŘ /

ITAT `2001: Information technologies - applications and theory. : Workshop on theory and practice of information technologies, Zuberec, Slovakia, September 2001. Proceedings. /

Programové zabezpečenie ASR : fortran /

Programové vybavení počítačů : algoritmizace /

Programové vyučovanie : (práca 17. ročníka pedagogického čítania) /

Programové zabezpečenie ASR : počítačová grafika /

Programové zabezpečenie ASR : Assembler JSEP /

Autor: Andrejková, Gabriela

Ďalšie vzdelávanie učiteľov základných a stredných škôl v predmete informatika : línia: Vlastný odborový text informatiky a informatickej výchovy. Kapitoly z informatiky /

Ďalšie vzdelávanie učiteľov základných a stredných škôl v predmete informatika : línia aktivity: vlastný odborový text informatiky a informatickej výchovy. Kapitoly z informatiky 2 /

ITAT ´2001: Information Technologies - Appplications and Theory : workshop on Theory and Practice of Information Technologies, Zuberec, Slovakia, September 2001 : proceedings /

ITAT 2002 Information Technologies - Applications and Theory : workshop on Theory and Practice of Information Technologies, Malinô Brdo, Slovakia, September 2002 : proceedings /

DidInfo 2011 : 17. ročník národnej konferencie /

Neurónové siete. Inžiniersky prístup. 1. diel., Dopredné siete. /

Neurónové siete. Inžiniersky prístup. 2. diel., Rekurentné a modulárne siete. /

ITAT `2001: Information technologies - applications and theory. : Workshop on theory and practice of information technologies, Zuberec, Slovakia, September 2001. Proceedings. /

Zbierka úloh z programovania /

Verifikácia programov /

Programovanie a algoritmy /

Autor: Chytil, Michal

Logika, algebry a grafy /

Verifikácia programov /

Sémantika programovacích jazyků - atributové gramatiky /

Přehled a využití výpočetní techniky v technické praxi /


Možnosti vyhľadávania

  • História vyhľadávaní
  • Pokročilé vyhľadávania

Objavte viac

  • Prechádzanie katalógu
  • Abecedné prechádzanie
  • Grafické prechádzanie katalógu
  • Nové tituly v katalógu

Viac katalógov

  • Historické fondy
  • Bibliografia
  • Online menný lístkový katalóg

Hľadáte pomoc?

  • Tipy pre vyhľadávanie
  • Často kladené otázky