QR kód

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Blum, Manuel
Korporativní autor:	Proceedings Sweden, Lund
Další autoři:	Lingas, A. (Editor), Karlsson, R., Carlsson, S.
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. 700
Témata:	kryptografia > formálny jazyk > paralelný algoritmus > distribuovaný algoritmus > temporálna logika
ISBN:	3540569391
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Parallelism in algorithms and architectures : SPAA'12 : proceedings of the 24th ACM symposium ; Pittsburgh, Pennsylvania, USA, June 25 - 27, 2012 /
Vydáno: (2012)

Parallel algorithms and computing /
Autor: Tvrdík, Pavel 1956-
Vydáno: (2009)

Parallel processing : Proceedings of the IFIP WG 10.3 working conf., Pisa, Italy, 25 - 27 April 1988 /
Autor: Cosnard, Michel
Vydáno: (1988)

Logika /
Autor: Bek, Roman
Vydáno: (2000)

Quantum information processing and communication in Europe /
Autor: Van der Pyl, Thierry
Vydáno: (2005)

Automata theory with modern applications /
Autor: Anderson, James A., a další
Vydáno: (2006)

Distribuované systémy /
Autor: Janeček, Jan 1949-
Vydáno: (1997)

Algoritmy 2012 : proceedings of contributed papers and posters : 19th conference on scientific computing : Vysoké Tatry - Podbanské, Slovakia, September 9 - 14, 2012 /
Vydáno: (2012)

Optimum design of structures with special reference to alternative loads using geometric programming /
Autor: Chibani, Lahbib
Vydáno: (1989)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydáno: (2004)

Parallel processing for artificial intelligence. Vol. 1 /
Autor: Suttner, Christian B.
Vydáno: (1994)

Scheduler optimization in real-time distributed databases /
Autor: Bodlaender, Maarten Peter
Vydáno: (1999)

Third international conference on peer-to-peer computing : Proceedings, Linköping, Sweden, 1 - 3 Sept. 2003 /
Autor: Surridge, Mike
Vydáno: (2003)

ACM transactions on computational logic
Vydáno: (2000)

Použitie aparátu viachodnotovej logiky pre analýzu citlivosti dát /
Autor: Levashenko, Vitaly, a další
Vydáno: (2013)

Symposium on parallelism in algorithms and architectures : SPAA'13 ; proceedings of the 25th ACM conference ; Montréal, Québec, Canada, July 23 - 25, 2013 /
Vydáno: (2013)

ACM transactions on programming languages and systems
Vydáno: (1979)

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)

High-performance scientific computing : algorithms and applications /
Vydáno: (2012)

Principles of distributed computing : PODC'12 ; proceedings of the 2012 ACM symposium ; Madeira, Portugal, July 16 - 18, 2012 /
Vydáno: (2012)

Decentralized systems : Proceedings of the IFIP WG 10.3 working conf., Lyon, France, 11 - 13 Dec., 1989 /
Autor: Albertengo, G.
Vydáno: (1990)

Principles of distributed computing : PODC'14 ; proceedings of the 2014 ACM symposium, Paris, France, July 15 - 18, 2014 /
Vydáno: (2014)

Exercitium logicum /
Autor: Hemelík, Martin
Vydáno: (1994)

Parallelism in algorithms and architectures : SPAA ́11, proceedings of the twenty-third annual symposium, San Jose, California, USA, June 4 - 6, 2011 /
Autor: Ballard, Grey, a další
Vydáno: (2011)

An introduction to parallel programming /
Autor: Pacheco, Peter S.
Vydáno: (2011)

Computer security /
Autor: Gollmann, Dieter 1955-
Vydáno: (2006)

Paralelism in algorithms and architecture: proceedings of the 30th ACM symposium; Vienna, Austria, July 16-18, 2018 /
Vydáno: (2018)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Parallel computing 83 : Proceedings of the internat. conf., Berlin, 26 - 28 Sept. 1983 /
Autor: Evans, David J.
Vydáno: (1984)

Entwurf und Realisierung von massivparallelen Architekturen für Globale Zellulare Automaten /
Autor: Heenes, Wolfgang 1971-
Vydáno: (2007)

Úvod do teoretické informatiky /
Autor: Koubková, Alena 1954-, a další
Vydáno: (2005)

Parallelism in algorithms and architectures : SPAA'10, proceedings of twenty-second annual symposium, Thira, Santorine, Greece, June 13-15, 2010 /
Autor: Dally, William J.
Vydáno: (2010)

Discrete mathematics. A unified approach /
Autor: Wiitala, Stephen A.
Vydáno: (1987)

Jazyky a překlady /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1996)

Algoritmy i algoritmičeskije jazyki.
Vydáno: (1971)

Generic programming. SuchThat one can build an algebraic library /
Autor: Schupp, Sibylle
Vydáno: (1996)

Zborník prednášok 9. sympózia o algoritmoch : Algoritmy '87 /
Autor: Krempaský, Július
Vydáno: (1987)

IEEE concurrency : parallel, distributed and mobile computing

Symbolic and algebraic computation : ISSAC'2015 ; proceedings of the 40th international symposium, Bath, United Kingdom, July 6-9, 2015 /
Vydáno: (2015)

Foundations of genetic algorithms XIII : FOGA'15 ; proceedings of the 2015 ACM conference ; Aberystwyth, UK, January 17 - 20, 2015 /
Vydáno: (2015)