LEADER 03568nam  22008055  450 
001 996465566203316
005 20230329185509.0
010   $a3-642-31594-1
024 7 $a10.1007/978-3-642-31594-7
035   $a(CKB)3400000000085377
035   $a(SSID)ssj0000697449
035   $a(PQKBManifestationID)11386072
035   $a(PQKBTitleCode)TC0000697449
035   $a(PQKBWorkID)10692332
035   $a(PQKB)11582016
035   $a(DE-He213)978-3-642-31594-7
035   $a(MiAaPQ)EBC3070136
035   $a(PPN)168319802
035   $a(EXLCZ)993400000000085377
100   $a20120622d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomata, Languages, and Programming$b[electronic resource] $e39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I /$fedited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (860 p. 64 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7391
300   $aInternational conference proceedings.
311   $a3-642-31593-3 
320   $aIncludes bibliographical references and author index.
330   $aThis two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7391
606   $aAlgorithms
606   $aComputer science
606   $aComputer networks
606   $aInformation storage and retrieval systems
606   $aApplication software
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aAlgorithms
606   $aTheory of Computation
606   $aComputer Communication Networks
606   $aInformation Storage and Retrieval
606   $aComputer and Information Systems Applications
606   $aDiscrete Mathematics in Computer Science
615  0$aAlgorithms.
615  0$aComputer science.
615  0$aComputer networks.
615  0$aInformation storage and retrieval systems.
615  0$aApplication software.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aAlgorithms.
615 24$aTheory of Computation.
615 24$aComputer Communication Networks.
615 24$aInformation Storage and Retrieval.
615 24$aComputer and Information Systems Applications.
615 24$aDiscrete Mathematics in Computer Science.
676   $a005.1
702   $aCzumaj$b Artur$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMehlhorn$b Kurt$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPitts$b Andrew$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWattenhofer$b Roger$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465566203316
996   $aAutomata, languages and programming$9339738
997   $aUNISA

LEADER 01194nam0 22002891i 450 
001 UON00442716
005 20231205104956.810
010   $a05-215-9723-4
100   $a20140721r19982009   |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    1||||
200 1 $aLanguage to language$ea practical and theoretical guide for Italian/English translators$fChristopher Taylor
210   $aCambridge$cCambridge University Press$d1998$erist. 2009
215   $aVIII, 341 p.$d25 cm.
606   $aLingua inglese$xTraduzioni italiane$3UONC058206$2FI
606   $aLINGUA ITALIANA$xTraduzioni inglesi$3UONC058144$2FI
620   $dCambridge$3UONL000022
676   $a428.02$cLingua inglese. Uso corretto. Traduzioni$v21
700  1$aTAYLOR$bChristopher$3UONV031935$0388730
712   $aCambridge University Press$3UONV245943$4650
801   $aIT$bSOL$c20250808$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00442716
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Angl      VIII                                0726                $eSI    10502    5        0726                
996   $aLanguage to language$9253208
997   $aUNIOR