QR kód

From algebraic module specifications to component concepts and integrated modeling techniques /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Frantzen, Lars
Další autoři:	Ehrig, H. (Editor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Technická univerzita, 2001
Vydání:	[1st ed.]
Edice:	Forschungsberichte des Fachbereichs Informatik Nr. 2001/21
Témata:	Petriho sieť > graf transformácie > softvér
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

Controller synthesis for application specific integrated circuits /
Autor: Zahir, Rumi
Vydáno: (1991)

Architectures and compilation techniques for a data-driven processor array /
Autor: Vasell, Jesper
Vydáno: (1994)

Theory of transformations in molecular physics /
Autor: Cihla, Zdeněk
Vydáno: (1972)

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

Selected topics in modelling and control. Vol. 1 /
Autor: Mikleš, J.
Vydáno: (1998)

Stochastic modelling of protection systems. Comparison of four mathematical techniques /
Autor: Smeets, B. H. T.
Vydáno: (1995)

La réforme de la réglementation en Hongrie /
Autor: Stein, Sophie
Vydáno: (2001)

Vybrané problémy simulačních modelů. 1. díl : 11. podzimní severomoravské kolokvium, Krnov, 5. - 7. 9. 1989 /
Autor: Kotva, Milan 1933-1994
Vydáno: (1989)

Distributed real-time systems. Monitoring, visualization, debugging, and analysis /
Autor: Tsai, Jeffrey J. P.
Vydáno: (1996)

Applied and computing mathematics. Vol. 1 : Proceedings of the 119th Pannonian applied mathematical meeting, Herľany, Oct., 23 - 26, 1997 /
Autor: Madarász, Ladislav
Vydáno: (1997)

Modelling production management systems : Proceedings of the IFIP WG 5.7 working conf., Copenhagen, Denmark, 29 - 31 August, 1984 /
Autor: Falster, Peter
Vydáno: (1985)

ConTEL 2003. Vol. 1 : Proceedings of the 7th internat. conf. on telecommunications, Croatia, June 11 - 13, 2003 /
Autor: Mikuc, Miljenko
Vydáno: (2003)

Interactive modelling and simulation of heterogeneous systems /
Autor: Fleurkens, Johannes Wilhelmus Gerardus
Vydáno: (1996)

First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
Autor: Meseguer, José
Vydáno: (2003)

International computer performance and dependability symposium : proceedings, Erlangen, Germany, April 24 - 26, 1995 /
Autor: Levendel, Y.
Vydáno: (1995)

Software engineering : 17th international conference, Seattle, Washington, U.S.A., April 23 - 30, 1995 /
Autor: Heimdahl, Mats P. E.
Vydáno: (1995)

Umelé neurónové siete v automatickom riadení. Testovanie neuromodelov a návrh predkompenzovaných riadiacich štruktúr /
Autor: Popardovský, Vladimír
Vydáno: (1999)

Algebraic constructions of regular maps /
Autor: Ipolyiová, Mária 1976-
Vydáno: (2005)

Formal models in programming : Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /
Autor: Neuhold, Erich J.
Vydáno: (1985)

Úvod do modelování procesů Petriho sítěmi /
Autor: Voráčová, Šárka 1973-, a další
Vydáno: (2008)

Data mining. Concepts and techniques /
Autor: Han, Jiawei
Vydáno: (2001)

Probabilistic process algebra /
Autor: Andova, Suzana
Vydáno: (2002)

ACM symposium on principles of database systems ; and ACM SIGMOD international conference on management of data ; and SIGMOD/PODS 2014 symposium : SIGMOD/PODS'14 ; compilation proceedings ; Snowbird, UT, USA, June 22-27, 2014 /
Vydáno: (2014)

Knowledge discovery and data mining : KDD '15 ; proceedings of the 21st ACM SIGKDD international conference, Sydney, Australia, August 10-13, 2015 /
Vydáno: (2015)

Excel 2000. Podrobný průvodce začínajícího uživatele /
Autor: Pecinovský, Josef, 1946-
Vydáno: (1999)

TRANSCOM '99. Section 4 : 3rd European conf. of young research and science workers in transport and telecommunications, June 29 - 30, 1999 /
Autor: Hanuliak, Ivan
Vydáno: (1999)

Petriho sítě. Úvod do teorie a nástrojů pro aplikaci Petriho sítí /
Autor: Češka, Milan 1946-
Vydáno: (1994)

An interpreter for heterogeneous prototypes of embedded software /
Autor: Pulli, Petri
Vydáno: (1991)

Systémové inženýrství 91 : 8. celostátní konf. s mezinár. účastí, Plzeň, 11. - 14. 6. 1991 /
Autor: Brejcha, Milan
Vydáno: (1991)

SWITCH-technologija. Algoritmizacija i programmirovanije zadač logičeskogo upravlenija /
Autor: Šalyto, Anatolij Abramovič
Vydáno: (1998)

Algebra and trigonometry /
Autor: Larson, Ron
Vydáno: (2004)

Fourier integral operators and partial differential equations : colloque a réuni à l´Université de Nice, du 20 au 25 Mai 1974 /
Vydáno: (1975)

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

Envirautom. Zborník vedeckých prác environmentalistiky a riadenia procesov. Roč. 3. Č. 1-2/1998 /
Autor: Bača, Daniel
Vydáno: (1998)

Tools and algorithms for the construction and analysis of systems : Proceedings, Passau, Germany, March 27 - 29, 1996 /
Autor: Margaria, Tiziana
Vydáno: (1996)

Computer aided education in automation and control : Internat. Summer School, Aug. 24 - Sept. 6, 1997 /
Autor: Jörgl, H. Peter
Vydáno: (1997)

eLearn 2007 : zborník príspevkov, 5. - 6. február 2007 /
Autor: Kuba, Jozef
Vydáno: (2007)

Détermination des points de transformation des alliages au cours d ́un refroidissement rapide /
Autor: Economopoulos, M.
Vydáno: (1964)

Information systems. Module 5 /
Autor: Závodný, Peter
Vydáno: (2004)

Informačné systémy. Modul 5 /
Autor: Závodný, Peter
Vydáno: (2004)