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

Saved in:
Bibliographic Details
Main Author: Blum, Manuel
Corporate Author: Proceedings Sweden, Lund
Other Authors: Lingas, A. (Editor), Karlsson, R., Carlsson, S.
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1993
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 700
Subjects:
kryptografia > formálny jazyk > paralelný algoritmus > distribuovaný algoritmus > temporálna logika
ISBN:3540569391
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617191351.0
008 950505s1993 gw e ||||||eng d
020 |a 3540569391 
035 |a CVTIDW0931985 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 519.7  |2 UDC-MRF 
080 |a 519.68  |2 UDC-MRF 
080 |a 004  |2 UDC-MRF 
100 1 |a Blum, Manuel 
111 0 |a Proceedings  |d (July 5 - 9, 1993 :  |c Sweden, Lund) 
242 1 0 |a Automaty, jazyky a programovanie 
245 1 0 |a Automata, languages and programming :  |b Proceedings, Lund, Sweden, July 5 - 9, 1993 /  |c Authors: Manuel Blum and Co. ; Red.: A. Lingas, R. Karlsson, S. Carlsson 
250 |a [1st ed.] 
260 |a Berlin :  |b Springer,  |c 1993 
300 |a XII, 697 s. :  |b lit., obr., tab. ; 
490 0 |a Lecture notes in computer science  |v Vol. 700 
653 1 |a kryptografia  |a formálny jazyk  |a paralelný algoritmus  |a distribuovaný algoritmus  |a temporálna logika 
692 |a GM VD PO MM 
700 1 |a Lingas, A.  |4 edt 
700 1 |a Karlsson, R. 
700 1 |a Carlsson, S. 
760 1 |t Lecture notes in computer science 
910 |b A546826 
919 |a 3-540-56939-1 
974 |f Knihy 
992 |a AZN 
999 |c 92310  |d 92310 

Similar Items