| Record ID | ia:automatalanguage0000inte_b1l7 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/automatalanguage0000inte_b1l7/automatalanguage0000inte_b1l7_marc.xml |
| Download MARC binary | https://www.archive.org/download/automatalanguage0000inte_b1l7/automatalanguage0000inte_b1l7_meta.mrc |
LEADER: 05048cam 2200961Ia 4500
001 ocm28515815
003 OCoLC
005 20220413141935.0
008 930726s1993 gw a b 101 0 eng d
040 $aRRR$beng$cRRR$dOCL$dUBA$dOCL$dOCLCQ$dMUQ$dNLGGC$dOCLCG$dYDXCP$dDRB$dZWZ$dDEBBG$dOCLCQ$dGBVCP$dOCLCO$dMUU$dOCLCF$dOCLCQ$dOCLCO$dNAM$dOCL$dOCLCO$dDEBSZ$dOCLCQ$dOCLCO$dOCLCQ$dOCLCO$dUWO$dOCLCA$dOL$$dOCLCO$dUAB$dOCLCO
019 $a977574680
020 $a3540569391$q(Springer-Verlag Berlin Heidelberg New York)
020 $a9783540569398$q(Springer-Verlag Berlin Heidelberg New York)
020 $a0387569391$q(Springer-Verlag New York Berlin Heidelberg)
020 $a9780387569390$q(Springer-Verlag New York Berlin Heidelberg)
035 $a(OCoLC)28515815$z(OCoLC)977574680
050 4 $aQA267$b.A9228 1993
055 3 $aQA 267$bC72 1991
082 04 $a511.3
084 $a54.10$2bcl
084 $a54.51$2bcl
084 $a28$2sdnb
084 $aDAT 510f$2stub
084 $aDAT 550f$2stub
084 $aSS 1993$2rvk
084 $aSS 4800$2rvk
084 $aST 130$2rvk
084 $a*00B25$2msc
084 $a54.62$2bcl
084 $a68-06$2msc
111 2 $aInternational Colloquium on Automata, Languages, and Programming.
245 10 $aAutomata, languages and programming :$b20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings /$cA. Lingas, R. Karlsson, S. Carlsson (eds.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c©1993.
300 $axii, 697 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v700
504 $aIncludes bibliographical references and index.
520 $a"The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions."--PUBLISHER'S WEBSITE.
650 0 $aMachine theory$vCongresses.
650 0 $aFormal languages$vCongresses.
650 0 $aComputer programming$vCongresses.
650 6 $aThéorie des automates$vCongrès.
650 6 $aLangages formels$vCongrès.
650 6 $aProgrammation (Informatique)$vCongrès.
650 7 $aComputer programming.$2fast$0(OCoLC)fst00872390
650 7 $aFormal languages.$2fast$0(OCoLC)fst00932922
650 7 $aMachine theory.$2fast$0(OCoLC)fst01004846
650 17 $aAbstracte automaten.$2gtt
650 17 $aProgrammeertalen.$2gtt
650 7 $aAutomatentheorie$2gnd
650 7 $aFormale Sprache$2gnd
650 7 $aInformatik$2gnd
650 7 $aTheoretische Informatik$2gnd
650 7 $aTeoria Da Computacao.$2larpcal
650 7 $aLangages formels$xCongrès.$2ram
650 7 $aAutomates mathématiques, Théorie des$xCongrès.$2ram
650 7 $aOrdinateurs$xProgrammation$xCongrès.$2ram
650 7 $aKongress$2gnd
655 4 $aKongress$zLund$y1993.
655 4 $aKongreß$zJerusalem$y1994.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 7 $aJerusalem (1994)$2swd
655 7 $aLund (1993)$2swd
700 1 $aLingas, Andrzej.
700 1 $aKarlsson, R.$q(Rolf),$d1950-
700 1 $aCarlsson, Svante.
776 08 $iOnline version:$aInternational Colloquium on Automata, Languages, and Programming.$tAutomata, languages and programming.$dBerlin ; New York : Springer-Verlag, ©1993$w(OCoLC)1036844312
830 0 $aLecture notes in computer science ;$v700.
856 42 $uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0814.00020$3Inhaltstext
856 4 $3Cover$uhttp://swbplus.bsz-bw.de/bsz034049657cov.htm$v20150910142308
856 4 $zConnect to Internet resource$xLNCS$uhttps://www.lib.uwo.ca/cgi-bin/ezpauthn.cgi?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=700
938 $aYBP Library Services$bYANK$n325018
029 1 $aAU@$b000010323584
029 1 $aDEBBG$bBV008042596
029 1 $aDEBSZ$b034049657
029 1 $aGBVCP$b127715649
029 1 $aNLGGC$b108750159
029 1 $aNZ1$b4278750
029 1 $aZWZ$b017362032
994 $aZ0$bP4A
948 $hHELD BY P4A - 162 OTHER HOLDINGS