LEADER 01273nam--2200409---450-
001 990001198910203316
005 20031222105318.0
010   $a3-446-19624-2
010   $a1-56990-317-4
035   $a000119891
035   $aUSA01000119891
035   $a(ALEPH)000119891USA01
035   $a000119891
100   $a20031016d2003----km-y0enga50------ba
101 0 $aing
102   $aDE
105   $ay|||z|||001yy
200 1 $aScrew extrusion$escience and technology$feditors James L. White, Helmut Potente$gwith contributions from U. Berghaus ...[et al.]
210   $aMunich$cHanser$aCincinnati$bHanser Gardner$d2003
215   $aXVI, 444 p.$d24 cm
225 2 $aPolymer processing society
410  0$12001$aPolymer processing society
606 0 $aMaterie plastiche$xEstensione
676   $a668.413
702  1$aWHITE,$bJames Lindsay
702  1$aPOTENTE,$bHemut
702  1$aBERGHAUS,$bU.
801  0$aIT$bsalbc$gISBD
912   $a990001198910203316
951   $a668.413 SCR A$b17711 Ing.$c668.413$d00089688
959   $aBK
969   $aTEC
979   $aMARIA$b10$c20031016$lUSA01$h1210
979   $aRENATO$b90$c20031222$lUSA01$h1053
979   $aPATRY$b90$c20040406$lUSA01$h1726
996   $aScrew extrusion$9985306
997   $aUNISA

LEADER 03175nam  22007695  450 
001 9910483466503321
005 20251225210836.0
010   $a3-662-55751-7
024 7 $a10.1007/978-3-662-55751-8
035   $a(CKB)3710000001631298
035   $a(DE-He213)978-3-662-55751-8
035   $a(MiAaPQ)EBC6295173
035   $a(MiAaPQ)EBC5577669
035   $a(Au-PeEL)EBL5577669
035   $a(OCoLC)1002417711
035   $a(PPN)203850475
035   $a(EXLCZ)993710000001631298
100   $a20170815d2017      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFundamentals of Computation Theory $e21st International Symposium, FCT 2017, Bordeaux, France, September 11?13, 2017, Proceedings /$fedited by Ralf Klasing, Marc Zeitoun
205   $a1st ed. 2017.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2017.
215   $a1 online resource (XXI, 432 p. 33 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10472
300   $aIncludes index.
311 08$a3-662-55750-9 
327   $aTheoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
330   $aThis book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10472
606   $aComputer science
606   $aAlgorithms
606   $aComputer networks
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aSoftware engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
606   $aComputer Communication Networks
606   $aTheory of Computation
606   $aDiscrete Mathematics in Computer Science
606   $aSoftware Engineering
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aComputer networks.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615  0$aSoftware engineering.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
615 24$aComputer Communication Networks.
615 24$aTheory of Computation.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSoftware Engineering.
676   $a511.352
702   $aKlasing$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZeitoun$b Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483466503321
996   $aFundamentals of Computation Theory$92557870
997   $aUNINA