LEADER 01244nam0 22003013i 450 
001 SUN0096494
005 20140114120213.84
010   $a88-8252-014-5$d0.00
100   $a20140113d1994       |0itac50      ba
101   $aita$aITA
102   $aIT
105   $a||||    |||||
200 1 $aAntonio Basoli$evedute di Bologna$fintroduzione di Anna Ottani Cavina$gschede storiche di Giancarlo Roversi
205   $aFirenze : Vallecchi$b1994
210   $d69 p. : ill. ; 27 cm
215   $aMostra tenuta a Bologna nel 1994.
410  1$1001SUN0096499$12001 $aVallecchi arte$1210  $aFirenze$cVallecchi.
620   $dFirenze$3SUNL000014
702  1$aOttani Cavina$b, Anna$3SUNV018802
702  1$aRoversi$b, Giancarlo$3SUNV033623
702  1$aBasoli$b, Antonio$3SUNV076734
712   $aVallecchi$3SUNV000890$4650
801   $aIT$bSOL$c20181109$gRICA
912   $aSUN0096494
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS      Cb Bologna 1994                     $e07    11326                                 
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$h11326$kCONS Cb Bologna 1994$oc$qa
996   $aAntonio Basoli$91408312
997   $aUNICAMPANIA

LEADER 02629oam  2200589   450 
001 9910143504103321
005 20210716230318.0
010   $a3-540-49211-9
024 7 $a10.1007/3-540-49211-9
035   $a(CKB)1000000000210939
035   $a(SSID)ssj0000320764
035   $a(PQKBManifestationID)11213059
035   $a(PQKBTitleCode)TC0000320764
035   $a(PQKBWorkID)10258150
035   $a(PQKB)11283564
035   $a(DE-He213)978-3-540-49211-5
035   $a(MiAaPQ)EBC3072117
035   $a(MiAaPQ)EBC6486146
035   $a(PPN)155230492
035   $a(EXLCZ)991000000000210939
100   $a20210716d1998      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAbstract compositional analysis of iterated relations $ea structural approach to complex state transition systems /$fFrederic Geurts
205   $a1st ed. 1998.
210  1$aBerlin, Heidelberg :$cSpringer,$d[1998]
210  4$d©1998
215   $a1 online resource (XII, 280 p. 78 illus.) 
225 1 $aLecture Notes in Computer Science ;$v1426
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-65506-9 
320   $aIncludes bibliographical references and index.
327   $aPrologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work.
410  0$aLecture notes in computer science ;$v1426.
606   $aAbstract data types (Computer science)
606   $aSystem analysis
606   $aElectronic data processing$xStructured techniques
615  0$aAbstract data types (Computer science)
615  0$aSystem analysis.
615  0$aElectronic data processing$xStructured techniques.
676   $a005.73
700   $aGeurts$b Frederic$f1965-$0929151
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a9910143504103321
996   $aAbstract compositional analysis of iterated relations$92088100
997   $aUNINA