LEADER 01383nam2-2200397li-450 
001 990000178970203316
005 20180312154741.0
035   $a0017897
035   $aUSA010017897
035   $a(ALEPH)000017897USA01
035   $a0017897
100   $a2001997011969-------y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aFormal languages and their relation to automata$fJohn E. Hopcroft, Jeffrey D. Ullman
210   $aReading$cAddison-Wesley$d1969
215   $aX, 242 p.$cill.$d23 cm
225 2 $aAddison-Wesley series in computer science and information processing$v0
410  0$10010017896$12001$aAddison-Wesley series in computer science and information processing
610 1 $aLinguaggi formali
610 1 $aLogica matematica
676   $a511.3$9Logica simbolica (Logica matematica)
700  1$aHOPCROFT,$bJohn E.$044212
702  1$aULLMAN,$bJeffrey D.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000178970203316
951   $a511.3 HOP (A)$b940/CBS$c511.3$d00216508
959   $aBK
969   $aSCI
979   $c19970122
979   $c20001110$lUSA01$h1713
979   $c20020403$lUSA01$h1625
979   $aPATRY$b90$c20040406$lUSA01$h1613
979   $aRSIAV6$b90$c20090421$lUSA01$h1529
996   $aFormal languages and their relation to automata$9188009
997   $aUNISA

LEADER 00980nam  2200193z- 450 
001 9910585797903321
010   $a1-119-87116-6
035   $a(CKB)5850000000051399
035   $a(EXLCZ)995850000000051399
100   $a20220802c2022uuuu  -u-            -
101 0 $aeng
200 10$aChemical Process Engineering : Design, Analysis, Simulation and Integration, and Problem Solving With Microsoft Excel ? UniSim Design Software, Heat Transfer & Process Integration, Process Safety, Chemical Kinetics & Reactor Design, Engineering Economi
210   $cJohn Wiley & Sons, Ltd
311   $a1-119-87060-7 
517   $aChemical Process Engineering 
906   $aBOOK
912   $a9910585797903321
996   $aChemical Process Engineering : Design, Analysis, Simulation and Integration, and Problem Solving With Microsoft Excel ? UniSim Design Software, Heat Transfer & Process Integration, Process Safety, Chemical Kinetics & Reactor Design, Engineering Economi$92903623
997   $aUNINA