LEADER 00954nam0-2200289 --450 
001 9910287256603321
005 20190205143806.0
010   $a3825351653
100   $a20181017d2006----kmuy0itay5050    ba
101 0 $ager
102   $aDE
105   $af       001yy
200 1 $aPapyri aus dem Archiv des Koniglichen Schreibers Dionysios$eP. Heid. IX$fherausgegeben von Charikleia Armoni
210   $aHeidelberg$cUniversitatsverlag Winter$dc2006
215   $aXVI, 135 p., 19 pagine di tav.$d31 cm
225 1 $aVeroffentlichungen aus der Heidelberger Papyrus-Sammlung. N. F$v12
610   $aPapiri greci
676   $a471$v20
676   $a880$v20
702  1$aArmoni,$bCharikleia
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910287256603321
952   $aP2B 130 PAPYR. HEIDEL. 12$bBIBL. 2018$fFLFBCS
959   $aFLFBC
996   $aPapyri aus dem Archiv des Koniglichen Schreibers Dionysios$91534948
997   $aUNINA

LEADER 02253oam  2200445zu 450 
001 9910142721703321
005 20241212215512.0
010   $a9781509088584
010   $a150908858X
035   $a(CKB)1000000000331064
035   $a(SSID)ssj0000454895
035   $a(PQKBManifestationID)12161054
035   $a(PQKBTitleCode)TC0000454895
035   $a(PQKBWorkID)10398981
035   $a(PQKB)10079517
035   $a(NjHacI)991000000000331064
035   $a(EXLCZ)991000000000331064
100   $a20160829d2007      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$a12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand - 10-14 July 2007
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2007
215   $a1 online resource (xiv, 383 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780769528953 
311 08$a0769528953 
330   $aThe goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to report on how the disciplines' problems and solution techniques interact within the whole system. ICECCS 2007 focuses long-term research issues, near-term complex system requirements and promising tools, existing complex systems, and commercially available tools. Contents: Real-Time Systems; Modeling and Verification; Safety and Security; Context Awareness and Ubiquitous Computing; Formal Languages; Software Architecture; Addressing Complexity with Autonomic Systems; Complex Program Verifier; Advances in the FMICS-jETI Platform for Program Verification; Selected Papers from the UML 2007 & AADL 2007 Workshop.
606   $aSystem design$vCongresses
606   $aSystems engineering$vCongresses
615  0$aSystem design
615  0$aSystems engineering
676   $a004.21
801  0$bPQKB
906   $aPROCEEDING
912   $a9910142721703321
996   $a12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007): Auckland, New Zealand - 10-14 July 2007$92376454
997   $aUNINA