QR-Code

STACS 93 : Proceedings, Würzburg, Germany, Febr. 25 - 27, 1993 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Castellani, Ilaria
Körperschaft:	Proceedings Germany, Würzburg
Weitere Verfasser:	Enjalbert, P. (HerausgeberIn), Finkel, A., Wagner, K. W.
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1993
Ausgabe:	[1st ed.]
Schriftenreihe:	Lecture notes in computer science Vol. 665
Schlagworte:	logika > výpočtová geometria > teória automatov > sémantika programovacích jazykov > kryptografia
ISBN:	3540565035
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semantics. Foundations and applications : Proceedings, Beekbergen, The Netherlands, June 1 - 4, 1992 /
von: Back, R. J. R.
Veröffentlicht: (1993)

Teorie automatů /
von: Bělohoubek, Pavel
Veröffentlicht: (1989)

Algebraická teória automatov. 1. diel : Návody na cvičenia /
von: Príkopa, Juraj
Veröffentlicht: (1988)

Teorie automatů /
von: Douša, Jiří
Veröffentlicht: (1987)

Algebraická teorie automatů /
von: Moisil, Gr. C.
Veröffentlicht: (1964)

Teorija samovosproizvodjaščichsja avtomatov /
von: Von Neumann, John 1903-1957
Veröffentlicht: (1971)

Vvedenije v teoriju konečnych avtomatov /
von: Kobrinskij, Naman Jefimovič, et al.
Veröffentlicht: (1962)

Inteligencia ako výpočet /
von: Šefránek, Ján
Veröffentlicht: (2000)

Algebraic theory of automata /
von: Gécseg, F., et al.
Veröffentlicht: (1972)

Úvod do vedy.
von: Olejár, Marián sr
Veröffentlicht: (2008)

A method for general simultaneous full decomposition of sequential machines. Algorithms and implementation /
von: Jóžwiak, L.
Veröffentlicht: (1992)

Teorie automatů /
von: Prokeš, Josef 1922-
Veröffentlicht: (1976)

Reachability analysis of systems based on Petri Nets /
von: Hudák, Štefan
Veröffentlicht: (1999)

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /
von: Blum, Manuel
Veröffentlicht: (1993)

Logické systémy /
von: Kaprálik, Peter, et al.
Veröffentlicht: (2007)

Logické systémy /
von: Kaprálik, Peter, et al.
Veröffentlicht: (2009)

Očerki po matematičeskoj teorii sistem /
von: Kalman, R. E., et al.
Veröffentlicht: (2004)

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
von: Pierro, Alessandra Di
Veröffentlicht: (1996)

Digital copyright protection /
von: Wayner, Peter
Veröffentlicht: (1997)

Discrete mathematics /
von: Johnsonbaugh, Richard
Veröffentlicht: (2005)

Programové systémy /
von: Kokeš, Josef
Veröffentlicht: (2005)

Voprosy nadežnosti diskretnych avtomatov /
von: Francis, T. A.
Veröffentlicht: (1970)

Vybrané kapitoly zo sémantiky /
von: Zázrivcová, Monika
Veröffentlicht: (2011)

Problémy sémantiky /
von: Tondl, Ladislav 1924-
Veröffentlicht: (1966)

Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
von: Špakovský, Viktor
Veröffentlicht: (2008)

Příklady k matematice. I. díl /
von: Charvát, Jura, 1947-2009
Veröffentlicht: (1997)

Applications of abstract algebra with Maple and Matlab /
von: Klima, Richard E., et al.
Veröffentlicht: (2007)

Foundations of software science and computation structures : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
von: Abramsky, Samson
Veröffentlicht: (2003)

Languages and translations /
von: Melichar, Bořivoj 1942-
Veröffentlicht: (1997)

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

Medzi sémantikou a epistemológiou jazyka /
von: Zouhar, Marián
Veröffentlicht: (2010)

Elements of functional programming /
von: Reade, Chris
Veröffentlicht: (1993)

Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente /
von: Böhm, Klemens
Veröffentlicht: (1997)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Veröffentlicht: (1977)

Moderní kryptografie : [průvodce světem šifrování] /
von: Oulehla, Milan, et al.
Veröffentlicht: (2017)

International symposium on information theory : proceedings, Sorrento, Italy, 25 - 30 June, 2000 /
von: Barg, Alexander
Veröffentlicht: (2000)

Základné prvky filozofie. Úvod, logika, teória poznania /
von: Vanniová Rovighiová, Sofia
Veröffentlicht: (1994)

Concrete and abstract Voronoi diagrams /
von: Klein, Rolf
Veröffentlicht: (1989)

Vybrané prednášky z didaktiky matematiky. 2. časť /
von: Kováčik, Štefan
Veröffentlicht: (2000)

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /
von: Guttag, John V.
Veröffentlicht: (1993)