QR kód

O teórii korektného programovania /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Novitzká, Valerie
Médium:	Kniha
Vydavateľské údaje:	Košice : Elfa, 2003
Vydanie:	[1. vyd.]
Predmet:	konštruktor > programovanie > parametrizovaná špecifikácia > sémantika
ISBN:	8089066615
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

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)

Vybrané kapitoly zo sémantiky /
Autor: Zázrivcová, Monika
Vydavateľské údaje: (2011)

Problémy sémantiky /
Autor: Tondl, Ladislav 1924-
Vydavateľské údaje: (1966)

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)

Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
Autor: Back, R. J. R.
Vydavateľské údaje: (1993)

The anatomy of programming languages /
Autor: Fischer, Alice E.
Vydavateľské údaje: (1993)

Object-oriented databases /
Autor: Chorafas, Dimitris N.
Vydavateľské údaje: (1993)

Functional programming and input/output /
Autor: Gordon, Andrew D., 1964-
Vydavateľské údaje: (2008)

Medzi sémantikou a epistemológiou jazyka /
Autor: Zouhar, Marián
Vydavateľské údaje: (2010)

Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
Autor: Böhm, Klemens
Vydavateľské údaje: (1997)

Elements of functional programming /
Autor: Reade, Chris
Vydavateľské údaje: (1993)

Deň kvality : Svetový deň kvality, 2. 12. 1998 /
Autor: Fačková, Tatiana
Vydavateľské údaje: (1998)

Vzťahy synonymie : logická sémantika verzus lingvistické teórie o synonymii /
Autor: Geistová Čakovská, Barbora
Vydavateľské údaje: (2010)

Formal semantics of programming languages /
Vydavateľské údaje: (1972)

Mondattani - szémantikai tanulmányok /
Autor: Kiefer, Ferenc
Vydavateľské údaje: (1970)

Semantics, around and beyond : an introductory course /
Autor: Kavka, Stanislav J. 1946-
Vydavateľské údaje: (2015)

Počítače a základy programovania /
Autor: Makóni, Július
Vydavateľské údaje: (1973)

Základy programovania a numerické metódy /
Autor: Gálová, Miriam, 1935-, a ďalší
Vydavateľské údaje: (1973)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996)

Konstrukce překladačů. I. část /
Autor: Melichar, Bořivoj 1942-
Vydavateľské údaje: (1999)

Probabilistic process algebra /
Autor: Andova, Suzana
Vydavateľské údaje: (2002)

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)

Úvod do vedy.
Autor: Olejár, Marián sr
Vydavateľské údaje: (2008)

Sloveso vo svetle kognitívnej gramatiky /
Autor: Kyseľová, Miroslava, a ďalší
Vydavateľské údaje: (2013)

Úvod do programovania a sietí /
Autor: Novitzká, Valerie, a ďalší
Vydavateľské údaje: (2008)

Teória a algoritmy lineárneho programovania /
Autor: Toma, Vladimír
Vydavateľské údaje: (1983)

Základy programovania a numerické metódy /
Autor: Galová, M., a ďalší
Vydavateľské údaje: (1973)

Zbierka úloh z programovania /
Autor: Andrejková, Gabriela
Vydavateľské údaje: (1991)

Úvod do výpočtovej techniky a programovania /
Autor: Paholič, Gabriel
Vydavateľské údaje: (1983)

Modely riadenia a priemyselné aplikácie lineárneho programovania.
Autor: Charnes, A., a ďalší
Vydavateľské údaje: (1966)

Základy programovania v jazyku BASIC : práca s terminálovou stanicou ; zborník /
Vydavateľské údaje: (1987)

Introduction to Pascal and structured design. Turbo version /
Autor: Dale, Nell
Vydavateľské údaje: (1992)

Problém hraníc medzi filozofiou, umením a vedou.
Autor: Šuch, Juraj
Vydavateľské údaje: (2007)

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)

Algoritmizácia a základy štruktúrovaného programovania v jazyka C. Jana Jurinová
Autor: Jurinová, Jana, Ing., PhD
Vydavateľské údaje: (2021)

Základy numerickej matematiky a programovania. Návody na cvičenia /
Autor: Klimová, Ingeborg
Vydavateľské údaje: (1985)