QR kód

On formal semantics of object systems with data and object attributes /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Parnitzke, Daniel
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Technická univerzita, 2001
Vydání:	[1st ed.]
Edice:	Forschungsberichte des Fachbereichs Informatik Nr. 2001-05
Témata:	prechodový graf > algebra > funktor
ISSN:	1436-9915
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Semantic integration of heterogeneous formal specifications via transformation systems /
Autor: Grosse-Rhode, Martin
Vydáno: (2001)

Object data management. Object-oriented and extended relational database systems /
Autor: Cattell, Roderic Geoffrey Galton
Vydáno: (1994)

Object data management. Object-oriented and extended relational database systems /
Autor: Cattell, Roderic Geoffrey Galton
Vydáno: (1991)

Economic Objects and the Objects of Economics
Vydáno: (2018)

Algebry a grafy /
Autor: Galanová, Jana 1943-
Vydáno: (1987)

Electrical transients in power systems /
Autor: Greenwood, Allan
Vydáno: (1971)

Formal semantics of programming languages /
Vydáno: (1972)

Data structures. An object-oriented approach /
Autor: Collins, William Joseph
Vydáno: (1992)

Acta Mathematica Universitatis Comenianae. Spring 2002. Vol. LXXI. Nr. 1. New series /
Autor: Stacho, L.
Vydáno: (2002)

Object 2005.
Vydáno: (2005)

Logika, algebry a grafy /
Autor: Kolář, Josef
Vydáno: (1989)

Semantics of POOSL. An object-oriented specification language for the analysis and design of hardware/software systems /
Autor: Voeten, J. P. M.
Vydáno: (1995)

Programs as data objects : proceedings of a workshop ; Copenhagen, Denmark, Oct. 17 - 19, 1985 /
Autor: Abramsky, Samson, 1953-
Vydáno: (1986)

Data structures and other objects using Java /
Autor: Main, Michael
Vydáno: (1999)

Teoretická elektrotechnika.
Autor: Šumichrast, Ľubomír
Vydáno: (2005)

Sets for mathematics /
Autor: Lawvere, F. William, a další
Vydáno: (2003)

Object-oriented magnetic resonance. Classes and objects, calculations and computations /
Autor: Mehring, Michael
Vydáno: (2001)

Object-oriented databases /
Autor: Chorafas, Dimitris N.
Vydáno: (1993)

Engineering distributed objects /
Autor: Emmerich, Wolfgang
Vydáno: (2000)

Objective method for assembly /
Autor: Václav, Štefan
Vydáno: (2011)

Formal specification and analysis of industrial systems /
Autor: Bos, Victor
Vydáno: (2002)

Objective-C programming
Vydáno: (2013)

Object-oriented software for manufacturing systems /
Autor: Adiga, Sadashiv
Vydáno: (1993)

Electronic Money System Security Objectives
Vydáno: (2003)

The Vitality of Objects Exploring the Work of Christopher Bollas
Vydáno: (2012)

Integrated information systems design. An approach based on object-oriented concepts and Petri nets /
Autor: Verkoulen, Peter Antonius Christiaan
Vydáno: (1993)

Object-oriented C++ data structures for real programmers /
Autor: Harrington, Jan L.
Vydáno: (2002)

Cluster analysis algorithms for data reduction and classification of objects /
Autor: Späth, Helmuth
Vydáno: (1980)

Basic circuit theory. Vol. I /
Autor: Mikulec, Milan
Vydáno: (1994)

Diskrétna matematika /
Autor: Bučko, Michal
Vydáno: (1998)

Constraints in object-oriented graphics /
Autor: Kelleners, Richard Hendrikus Maria Christina
Vydáno: (1999)

Object-oriented software construction /
Autor: Meyer, Bertrand
Vydáno: (1997)

Object-oriented programming with C++ /
Autor: Ege, Raimund K.
Vydáno: (1994)

Scattering by objects with electric contrast /
Autor: Zwamborn, Adrianus Petrus Maria
Vydáno: (1991)

Stereology of objects with internal structure /
Autor: Saxl, Ivan
Vydáno: (1989)

Object-oriented software in C++ /
Autor: Smith, Michael A.
Vydáno: (1993)

Stereology of objects with internal structure /
Autor: Saxl, Ivan
Vydáno: (1989)

Risk assessment for object conservation /
Autor: Ashley-Smith, Jonathan
Vydáno: (1999)

Diskrétna matematika /
Autor: Bučko, Michal
Vydáno: (1991)

Object Vision. Praktický sprievodca /
Autor: Macko, Ondrej
Vydáno: (1992)