LEADER 01258nam0-2200409---450 
001 990008640820403321
005 20240228174010.0
100   $a20080401d1974----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $a--------001yy
200 1 $aAtlante di istologia$emicroscopia ottica, istochimica e microscopia elettronica$fMariano S. H. Di Fiore, Roberto E. Mancini, Eduardo D. P. De Robertis
210   $aBologna$cZanichelli$dc1974
215   $aXIV, 329 p.$cill.$d28 cm
225 1 $aBiblioteca scientifica
610 0 $aIstologia$aAtlanti
676   $a611.18$v22$zita
700  1$aDi Fiore,$bMariano S. H.$0307440
701  1$aDe Robertis,$bEduardo D. P.$0100912
701  1$aMancini,$bRoberto E.$0307441
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008640820403321
952   $aL 6$b4376$fDMVCC
952   $aI B 22$b753$fFMVBC
952   $aIIId C 213$bs.i.$fDMVSF
952   $aIIId C 273-1$b8727$fDMVSF
952   $aIIId C 273-2$b8776$fDMVSF
952   $aF V 19/o$b2195$fDMVCM
952   $aA PAT 2076$b3021/2024$fFAGBC
959   $aFMVBC
959   $aDMVSF
959   $aDMVCC
959   $aDMVCM
959   $aFAGBC
996   $aAtlante di istologia$9716088
997   $aUNINA

LEADER 03228nam  22007575  450 
001 9910357845903321
005 20251225200649.0
010   $a3-030-34175-5
024 7 $a10.1007/978-3-030-34175-6
035   $a(CKB)4100000009845126
035   $a(DE-He213)978-3-030-34175-6
035   $a(MiAaPQ)EBC5979686
035   $a(PPN)255495080
035   $a(EXLCZ)994100000009845126
100   $a20191108d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Languages and Systems $e17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1?4, 2019, Proceedings /$fedited by Anthony Widjaja Lin
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XIII, 492 p. 609 illus., 24 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11893
311 08$a3-030-34174-7 
320   $aIncludes bibliographical references and index.
327   $aInvited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. .
330   $aThis book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v11893
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer programming
606   $aElectronic digital computers$xEvaluation
606   $aComputers
606   $aProfessions
606   $aComputer science
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aSystem Performance and Evaluation
606   $aThe Computing Profession
606   $aComputer Science Logic and Foundations of Programming
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aElectronic digital computers$xEvaluation.
615  0$aComputers.
615  0$aProfessions.
615  0$aComputer science.
615 14$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aSystem Performance and Evaluation.
615 24$aThe Computing Profession.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.13
676   $a005.13
702   $aLin$b Anthony Widjaja$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910357845903321
996   $aProgramming Languages and Systems$93644366
997   $aUNINA