O teórii korektného programovania /
Uložené v:
| Hlavný autor: | Novitzká, Valerie |
|---|---|
| Médium: | Kniha |
| Vydavateľské údaje: |
Košice :
Elfa,
2003
|
| Vydanie: | [1. vyd.] |
| Predmet: | |
| ISBN: | 8089066615 |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky
Načíta sa…
Semantics of POOSL. An object-oriented specification language for the analysis and design of hardware/software systems /
Autor: Voeten, J. P. M.
Vydavateľské údaje: (1995)
Autor: Voeten, J. P. M.
Vydavateľské údaje: (1995)
Načíta sa…
Program specification and transformation : Proceedings of the IFIP TC2/WG2.1 working conf., Bad Tölz, FRG, 15 - 17 April, 1986 /
Autor: Meertens, Lambert G. L. T.
Vydavateľské údaje: (1987)
Autor: Meertens, Lambert G. L. T.
Vydavateľské údaje: (1987)
Načíta sa…
Software specification methods /
Autor: Habrias, Henri, a ďalší
Vydavateľské údaje: (2006)
Autor: Habrias, Henri, a ďalší
Vydavateľské údaje: (2006)
Načíta sa…
Malé a stredné podnikanie /
Autor: Strážovská, Helena 1934-
Vydavateľské údaje: (1999)
Autor: Strážovská, Helena 1934-
Vydavateľské údaje: (1999)
Načíta sa…
Objektové programovanie. Poznámky k prednáškam. Časť I /
Autor: Havlice, Zdeněk
Vydavateľské údaje: (1999)
Autor: Havlice, Zdeněk
Vydavateľské údaje: (1999)
Načíta sa…
Vybrané kapitoly zo sémantiky /
Autor: Zázrivcová, Monika
Vydavateľské údaje: (2011)
Autor: Zázrivcová, Monika
Vydavateľské údaje: (2011)
Načíta sa…
Problémy sémantiky /
Autor: Tondl, Ladislav 1924-
Vydavateľské údaje: (1966)
Autor: Tondl, Ladislav 1924-
Vydavateľské údaje: (1966)
Načíta sa…
Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
Autor: Špakovský, Viktor
Vydavateľské údaje: (2008)
Autor: Špakovský, Viktor
Vydavateľské údaje: (2008)
Načíta sa…
Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
Autor: Back, R. J. R.
Vydavateľské údaje: (1993)
Autor: Back, R. J. R.
Vydavateľské údaje: (1993)
Načíta sa…
The anatomy of programming languages /
Autor: Fischer, Alice E.
Vydavateľské údaje: (1993)
Autor: Fischer, Alice E.
Vydavateľské údaje: (1993)
Načíta sa…
Object-oriented databases /
Autor: Chorafas, Dimitris N.
Vydavateľské údaje: (1993)
Autor: Chorafas, Dimitris N.
Vydavateľské údaje: (1993)
Načíta sa…
Functional programming and input/output /
Autor: Gordon, Andrew D., 1964-
Vydavateľské údaje: (2008)
Autor: Gordon, Andrew D., 1964-
Vydavateľské údaje: (2008)
Načíta sa…
Medzi sémantikou a epistemológiou jazyka /
Autor: Zouhar, Marián
Vydavateľské údaje: (2010)
Autor: Zouhar, Marián
Vydavateľské údaje: (2010)
Načíta sa…
Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
Autor: Böhm, Klemens
Vydavateľské údaje: (1997)
Autor: Böhm, Klemens
Vydavateľské údaje: (1997)
Načíta sa…
Elements of functional programming /
Autor: Reade, Chris
Vydavateľské údaje: (1993)
Autor: Reade, Chris
Vydavateľské údaje: (1993)
Načíta sa…
Deň kvality : Svetový deň kvality, 2. 12. 1998 /
Autor: Fačková, Tatiana
Vydavateľské údaje: (1998)
Autor: Fačková, Tatiana
Vydavateľské údaje: (1998)
Načíta sa…
Vzťahy synonymie : logická sémantika verzus lingvistické teórie o synonymii /
Autor: Geistová Čakovská, Barbora
Vydavateľské údaje: (2010)
Autor: Geistová Čakovská, Barbora
Vydavateľské údaje: (2010)
Načíta sa…
Formal semantics of programming languages /
Vydavateľské údaje: (1972)
Vydavateľské údaje: (1972)
Načíta sa…
Mondattani - szémantikai tanulmányok /
Autor: Kiefer, Ferenc
Vydavateľské údaje: (1970)
Autor: Kiefer, Ferenc
Vydavateľské údaje: (1970)
Načíta sa…
Semantics, around and beyond : an introductory course /
Autor: Kavka, Stanislav J. 1946-
Vydavateľské údaje: (2015)
Autor: Kavka, Stanislav J. 1946-
Vydavateľské údaje: (2015)
Načíta sa…
Počítače a základy programovania /
Autor: Makóni, Július
Vydavateľské údaje: (1973)
Autor: Makóni, Július
Vydavateľské údaje: (1973)
Načíta sa…
Základy programovania a numerické metódy /
Autor: Gálová, Miriam, 1935-, a ďalší
Vydavateľské údaje: (1973)
Autor: Gálová, Miriam, 1935-, a ďalší
Vydavateľské údaje: (1973)
Načíta sa…
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)
Načíta sa…
Konstrukce překladačů. I. část /
Autor: Melichar, Bořivoj 1942-
Vydavateľské údaje: (1999)
Autor: Melichar, Bořivoj 1942-
Vydavateľské údaje: (1999)
Načíta sa…
Probabilistic process algebra /
Autor: Andova, Suzana
Vydavateľské údaje: (2002)
Autor: Andova, Suzana
Vydavateľské údaje: (2002)
Načíta sa…
Sémantické a kognitívne aspekty skúmania didakticky zameraného odborného textu z oblasti biológie /
Autor: Tuhárska, Zuzana
Vydavateľské údaje: (2010)
Autor: Tuhárska, Zuzana
Vydavateľské údaje: (2010)
Načíta sa…
Úvod do vedy.
Autor: Olejár, Marián sr
Vydavateľské údaje: (2008)
Autor: Olejár, Marián sr
Vydavateľské údaje: (2008)
Načíta sa…
Sloveso vo svetle kognitívnej gramatiky /
Autor: Kyseľová, Miroslava, a ďalší
Vydavateľské údaje: (2013)
Autor: Kyseľová, Miroslava, a ďalší
Vydavateľské údaje: (2013)
Načíta sa…
Úvod do programovania a sietí /
Autor: Novitzká, Valerie, a ďalší
Vydavateľské údaje: (2008)
Autor: Novitzká, Valerie, a ďalší
Vydavateľské údaje: (2008)
Načíta sa…
Teória a algoritmy lineárneho programovania /
Autor: Toma, Vladimír
Vydavateľské údaje: (1983)
Autor: Toma, Vladimír
Vydavateľské údaje: (1983)
Načíta sa…
Základy programovania a numerické metódy /
Autor: Galová, M., a ďalší
Vydavateľské údaje: (1973)
Autor: Galová, M., a ďalší
Vydavateľské údaje: (1973)
Načíta sa…
Zbierka úloh z programovania /
Autor: Andrejková, Gabriela
Vydavateľské údaje: (1991)
Autor: Andrejková, Gabriela
Vydavateľské údaje: (1991)
Načíta sa…
Úvod do výpočtovej techniky a programovania /
Autor: Paholič, Gabriel
Vydavateľské údaje: (1983)
Autor: Paholič, Gabriel
Vydavateľské údaje: (1983)
Načíta sa…
Modely riadenia a priemyselné aplikácie lineárneho programovania.
Autor: Charnes, A., a ďalší
Vydavateľské údaje: (1966)
Autor: Charnes, A., a ďalší
Vydavateľské údaje: (1966)
Načíta sa…
Základy programovania v jazyku BASIC : práca s terminálovou stanicou ; zborník /
Vydavateľské údaje: (1987)
Vydavateľské údaje: (1987)
Načíta sa…
Introduction to Pascal and structured design. Turbo version /
Autor: Dale, Nell
Vydavateľské údaje: (1992)
Autor: Dale, Nell
Vydavateľské údaje: (1992)
Načíta sa…
Problém hraníc medzi filozofiou, umením a vedou.
Autor: Šuch, Juraj
Vydavateľské údaje: (2007)
Autor: Šuch, Juraj
Vydavateľské údaje: (2007)
Načíta sa…
Pragmatika jazykových javov v masmediálnej komunikácii : (kontrastívna štúdia na materiáli v slovenčine a v nemčine) /
Autor: Rašová, Dominika
Vydavateľské údaje: (2013)
Autor: Rašová, Dominika
Vydavateľské údaje: (2013)
Načíta sa…
Algoritmizácia a základy štruktúrovaného programovania v jazyka C. Jana Jurinová
Autor: Jurinová, Jana, Ing., PhD
Vydavateľské údaje: (2021)
Autor: Jurinová, Jana, Ing., PhD
Vydavateľské údaje: (2021)
Načíta sa…
Základy numerickej matematiky a programovania. Návody na cvičenia /
Autor: Klimová, Ingeborg
Vydavateľské údaje: (1985)
Autor: Klimová, Ingeborg
Vydavateľské údaje: (1985)
Podobné jednotky
-
Semantics of POOSL. An object-oriented specification language for the analysis and design of hardware/software systems /
Autor: Voeten, J. P. M.
Vydavateľské údaje: (1995) -
Program specification and transformation : Proceedings of the IFIP TC2/WG2.1 working conf., Bad Tölz, FRG, 15 - 17 April, 1986 /
Autor: Meertens, Lambert G. L. T.
Vydavateľské údaje: (1987) -
Software specification methods /
Autor: Habrias, Henri, a ďalší
Vydavateľské údaje: (2006) -
Malé a stredné podnikanie /
Autor: Strážovská, Helena 1934-
Vydavateľské údaje: (1999) -
Objektové programovanie. Poznámky k prednáškam. Časť I /
Autor: Havlice, Zdeněk
Vydavateľské údaje: (1999)

