QR kód

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Courcoubetis, Costas
Korporativní autor:	Proceedings Greece, Elounda
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 1993
Vydání:	[1st ed.]
Edice:	Lecture notes in computer science Vol. 697
Témata:	overovanie > hardware > analýza systémov v reálnom čase > čiastočné usporiadanie > symetria
ISBN:	3540569227
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Applications in parallel and distributed computing : Proceedings of the IFIP WG10.3 working conf., Caracas, Venezuela, 18 - 22 April, 1994 /
Autor: Misra, Manavendra
Vydáno: (1994)

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)

Mathematical modelling of technical processes. Prepared within SOCRATES - ERAMUS programme : MAMOTEP, Prešov, July 2 - 13, 2001 /
Autor: Hrubina, Kamil
Vydáno: (2001)

Architectures and compilation techniques for fine and medium grain parallelism : Proceedings of the IFIP WG10.3 working conf., Orlando, Florida, USA, 20 - 22 Jan., 1993 /
Autor: Wang, Jian
Vydáno: (1993)

Hybrid dynamical systems : controller and sensor switching problems /
Autor: Savkin, Andrey V., a další
Vydáno: (2002)

Reconfigurable embedded control systems : applications for flexibility and agility /
Vydáno: (2011)

Real-time embedded systems : optimization, synthesis, and networking /
Autor: Qiu, Meikang, a další
Vydáno: (2011)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
Autor: Jones, C. B.
Vydáno: (1993)

Real-time systems : formal specification and automatic verification /
Autor: Olderog, Ernst-Rüdiger, a další
Vydáno: (2008)

Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
Autor: Henkel, J.
Vydáno: (1993)

Network and operating systems support for digital audio and video : Proceedings, Durham, New Hampshire, USA, April 19-21, 1995 /
Autor: Little, Thomas D. C.
Vydáno: (1995)

Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung. Band 1 /
Autor: Bieber, E.
Vydáno: (1995)

LabVIEW 8. Evaluation CD
Vydáno: (2008)

Kompozícia /
Autor: Kentová, Sarah
Vydáno: (1996)

Automatics and informatics '03 : international conference, Sofia, Bulgaria, October 6-8, 2003 : proceedings.
Autor: Karadimas, N.
Vydáno: (2003)

Parallel algorithms for VLSI computer aided design /
Autor: Banerjee, Prithviraj
Vydáno: (1994)

[Kreisregner. Versenkregner].
Vydáno: (2006)

Proceedings of the seventh symposium on microcomputer and microprocessor application. Vol. II : Budapest, Hungary, 22 - 24 April, 1992 /
Autor: Dudás, József
Vydáno: (1992)

Computers /
Autor: Long, Larry E.
Vydáno: (1993)

Program correctness over abstract data types, with error-state semantics /
Autor: Tucker, John V.
Vydáno: (1988)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
Autor: Boigelot, Bernard
Vydáno: (1996)

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /
Autor: Guttag, John V.
Vydáno: (1993)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)

Etjudy o simmetrii /
Autor: Wegner, Eugene P.
Vydáno: (1971)

Experimentálne overovanie konštrukcií /
Autor: Kereškényi, Ján
Vydáno: (1988)

International scientific conference on mathematics : Proceedings, June 30 - July 3, 1998 /
Autor: Bača, Martin
Vydáno: (1998)

Vector quantization /
Autor: Abut, Hüseyin
Vydáno: (1990)

Štatistická ročenka o pôdnom fonde v Slovenskej republike podľa údajov katastra nehnuteľností k 1. januáru 2001.
Vydáno: (2001)

Štatistická ročenka o pôdnom fonde v Slovenskej republike podľa údajov katastra nehnuteľností k 1. januáru 2000.
Vydáno: (2000)

Signály a sústavy. Návody na cvičenia /
Autor: Ondráček, Oldřich 1950-
Vydáno: (1998)

Pořádání informací.
Autor: Mojžíšek, Josef
Vydáno: (1970)

Teorija unitarnoj simmetrii /
Autor: Rumer, Jurij Borisovič, a další
Vydáno: (1970)

Continuous authentication using biometrics : data, models, and metrics /
Vydáno: (2012)

Diferenciální počet. I. díl /
Autor: Jankovský, Zdeněk
Vydáno: (1994)

Experimentální ověřování ve výstavbě /
Autor: Procházka, Josef
Vydáno: (1988)

Experimentálne overovanie konštrukcií /
Autor: Kereškényi, Ján
Vydáno: (1984)

Civil engineering. C/7 /
Autor: Bhargava, R. R.
Vydáno: (1994)

Collaborative computing. Multimedia across the network /
Autor: Shapiro, Jeff
Vydáno: (1996)

Metropolis now! Urban cultures in global cities /
Autor: Biswas, Ramesh Kumar
Vydáno: (2000)

Das Möbelbuch : Ein Nachschlagewerk über Möbel und ihre Anordnung im Raum /
Autor: Bermpohl, R., a další
Vydáno: (1958)