Formal foundations of correct programming /
Uložené v:
| Hlavný autor: | Novitzká, Valerie |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Košice :
Elfa,
1999
|
| Vydanie: | [1st ed.] |
| Predmet: | |
| ISBN: | 8088964229 |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky
Načíta sa…
Theorie der Kategorien /
Autor: Hasse, M., a ďalší
Vydavateľské údaje: (1966)
Autor: Hasse, M., a ďalší
Vydavateľské údaje: (1966)
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…
Conceptual mathematics : a first introduction to categories /
Autor: Lawvere, F. William, a ďalší
Vydavateľské údaje: (2009)
Autor: Lawvere, F. William, a ďalší
Vydavateľské údaje: (2009)
Načíta sa…
Algebraic theory of automata /
Autor: Gécseg, F., a ďalší
Vydavateľské údaje: (1972)
Autor: Gécseg, F., a ďalší
Vydavateľské údaje: (1972)
Načíta sa…
Algebraická teória automatov. 2. diel : Cvičenia /
Autor: Donoval, Dušan
Vydavateľské údaje: (1989)
Autor: Donoval, Dušan
Vydavateľské údaje: (1989)
Načíta sa…
Algebraická teória automatov.
Autor: Príkopa, Juraj
Vydavateľské údaje: (1987)
Autor: Príkopa, Juraj
Vydavateľské údaje: (1987)
Načíta sa…
Algebraická teória automatov. 2. diel /
Autor: Donoval, Dušan
Vydavateľské údaje: (1987)
Autor: Donoval, Dušan
Vydavateľské údaje: (1987)
Načíta sa…
Algebraic theory of machines, languages, and semigroups /
Vydavateľské údaje: (1968)
Vydavateľské údaje: (1968)
Načíta sa…
Applied semantic web technologies /
Vydavateľské údaje: (2012)
Vydavateľské údaje: (2012)
Načíta sa…
Course in combinatorics /
Autor: Lint, J. H. van
Vydavateľské údaje: (1994)
Autor: Lint, J. H. van
Vydavateľské údaje: (1994)
Načíta sa…
2nd workshop on intelligent and knowledge oriented technologies : WIKT 2007 proceedings, November 15 - 16, 2007 /
Autor: Babič, František, a ďalší
Vydavateľské údaje: (2008)
Autor: Babič, František, a ďalší
Vydavateľské údaje: (2008)
Načíta sa…
Matematika vo výučbe, výskume a praxi. 2002 : Zborník ved. prác z medzinár. ved. konf., 11. 6. 2002 /
Autor: Baraníková, Helena
Vydavateľské údaje: (2002)
Autor: Baraníková, Helena
Vydavateľské údaje: (2002)
Načíta sa…
Štúdie vybraných tém programových a informačných systémov.
Autor: Habudová, Nikoleta
Vydavateľské údaje: (2009)
Autor: Habudová, Nikoleta
Vydavateľské údaje: (2009)
Načíta sa…
Logické systémy : Laboratórne cvičenia /
Autor: Bača, Ján
Vydavateľské údaje: (1987)
Autor: Bača, Ján
Vydavateľské údaje: (1987)
Načíta sa…
Logické systémy /
Autor: Eysselt, Miloš
Vydavateľské údaje: (1985)
Autor: Eysselt, Miloš
Vydavateľské údaje: (1985)
Načíta sa…
Algebraic topology /
Autor: Maunder, C. R. F.
Vydavateľské údaje: (1970)
Autor: Maunder, C. R. F.
Vydavateľské údaje: (1970)
Načíta sa…
Metóda konečných prvkov /
Autor: Slodička, Marián
Vydavateľské údaje: (2001)
Autor: Slodička, Marián
Vydavateľské údaje: (2001)
Načíta sa…
Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
Autor: Andreoli, Jean-Marc
Vydavateľské údaje: (1991)
Autor: Andreoli, Jean-Marc
Vydavateľské údaje: (1991)
Načíta sa…
Foundations of neuro-fuzzy systems /
Autor: Nauck, Detlef
Vydavateľské údaje: (1997)
Autor: Nauck, Detlef
Vydavateľské údaje: (1997)
Načíta sa…
Proving programs correct /
Autor: Anderson, Robert Brockett, 1941-
Vydavateľské údaje: (1979)
Autor: Anderson, Robert Brockett, 1941-
Vydavateľské údaje: (1979)
Načíta sa…
MATLAB : a practical introduction to programming and problem solving
Autor: Attaway, Stormy
Vydavateľské údaje: (2011)
Autor: Attaway, Stormy
Vydavateľské údaje: (2011)
Načíta sa…
Linejnyje algebraičeskije gruppy /
Autor: Borel, Armand
Vydavateľské údaje: (1972)
Autor: Borel, Armand
Vydavateľské údaje: (1972)
Načíta sa…
Využití kvantitatívních vztahů mezi strukturou a biologickou aktivitou /
Autor: Kuchař, Miroslav 1935-
Vydavateľské údaje: (1987)
Autor: Kuchař, Miroslav 1935-
Vydavateľské údaje: (1987)
Načíta sa…
Approximate identification and control design with application to a mechanical system /
Autor: Schrama, Rudolphus Johannes Petrus
Vydavateľské údaje: (1992)
Autor: Schrama, Rudolphus Johannes Petrus
Vydavateľské údaje: (1992)
Načíta sa…
Digitale Systeme. Grundlagen /
Autor: Wunsch, Gerhard
Vydavateľské údaje: (1993)
Autor: Wunsch, Gerhard
Vydavateľské údaje: (1993)
Načíta sa…
Algebra a jej inžinierske aplikácie /
Autor: Palúch, Stanislav
Vydavateľské údaje: (2009)
Autor: Palúch, Stanislav
Vydavateľské údaje: (2009)
Načíta sa…
Algebraická teorie automatů /
Autor: Demlová, Marie
Vydavateľské údaje: (1990)
Autor: Demlová, Marie
Vydavateľské údaje: (1990)
Načíta sa…
Logické a číslicové systémy /
Autor: Chudý, Vladimír
Vydavateľské údaje: (1987)
Autor: Chudý, Vladimír
Vydavateľské údaje: (1987)
Načíta sa…
C++ programming : from problem analysis to program design /
Autor: Malik, D. S.
Vydavateľské údaje: (2007)
Autor: Malik, D. S.
Vydavateľské údaje: (2007)
Načíta sa…
Document engineering : DocEng 2010, proceedings of the 2010 ACM symposium, Manchester, United Kingdom, September 21 - 24, 2010 /
Autor: Sojka, Petr 1963-
Vydavateľské údaje: (2010)
Autor: Sojka, Petr 1963-
Vydavateľské údaje: (2010)
Načíta sa…
Personalized web - science, technologies and engineering : proceedings ; 9th Spring 2011 PeWe Workshop, Viničné, April 1, 2011 /
Vydavateľské údaje: (2011)
Vydavateľské údaje: (2011)
Načíta sa…
WIKT 2008 : Proceedings in informatics and information technologies, 3rd workshop on intelligent and knowledge oriented technologies, proceedings, Smolenice, 6. - 7. november 2008 /
Autor: Tvarožek, Michal
Vydavateľské údaje: (2009)
Autor: Tvarožek, Michal
Vydavateľské údaje: (2009)
Načíta sa…
Umelá inteligencia a kognitívna veda.
Autor: Kvasnička, Vladimír 1924-
Vydavateľské údaje: (2010)
Autor: Kvasnička, Vladimír 1924-
Vydavateľské údaje: (2010)
Načíta sa…
Kybernetika. Cvičení /
Autor: Vorlíček, Jan
Vydavateľské údaje: (1990)
Autor: Vorlíček, Jan
Vydavateľské údaje: (1990)
Načíta sa…
AUTOMATIC CORRECTION AND IMPROVEMENT OF PROGRAMS /
Autor: Wertz, H.
Vydavateľské údaje: (1987)
Autor: Wertz, H.
Vydavateľské údaje: (1987)
Načíta sa…
Mathematical theory of program correctness /
Autor: Bakker, Jaco de
Vydavateľské údaje: (1980)
Autor: Bakker, Jaco de
Vydavateľské údaje: (1980)
Načíta sa…
Programovanie riadiacich systémov /
Autor: Ždánsky, Juraj, a ďalší
Vydavateľské údaje: (2011)
Autor: Ždánsky, Juraj, a ďalší
Vydavateľské údaje: (2011)
Načíta sa…
Foundations of microprogramming : architecture, software, and applications /
Autor: Agrawala, Ashok K., a ďalší
Vydavateľské údaje: (1976)
Autor: Agrawala, Ashok K., a ďalší
Vydavateľské údaje: (1976)
Načíta sa…
Introduction to the logical design of switching systems /
Autor: Torng, H. C.
Vydavateľské údaje: (1964)
Autor: Torng, H. C.
Vydavateľské údaje: (1964)
Načíta sa…
Coding for data and computer communications /
Autor: Salomon, David
Vydavateľské údaje: (2005)
Autor: Salomon, David
Vydavateľské údaje: (2005)
Podobné jednotky
-
Theorie der Kategorien /
Autor: Hasse, M., a ďalší
Vydavateľské údaje: (1966) -
Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
Autor: Pierro, Alessandra Di
Vydavateľské údaje: (1996) -
Conceptual mathematics : a first introduction to categories /
Autor: Lawvere, F. William, a ďalší
Vydavateľské údaje: (2009) -
Algebraic theory of automata /
Autor: Gécseg, F., a ďalší
Vydavateľské údaje: (1972) -
Algebraická teória automatov. 2. diel : Cvičenia /
Autor: Donoval, Dušan
Vydavateľské údaje: (1989)

