LEADER 01023cam0-2200313 --450 001 9910497709503321 005 20211007110007.0 010 $a978-88-98670-37-6 020 $aIT$b2019-2197 100 $a20211007d2019----km y0itay50 ba 101 0 $aita 102 $aIT 105 $aa 001yy 200 1 $a<>narrazione a lungo mancata$edella diaspora giuliano-dalmata e degli altri esodi del Novecento alla luce del tempo presente$fa cura di Riccardo Marchis 210 $aTorino$cSeb27$d2019 215 $a112 p.$cill.$d21 cm 225 1 $aSegni parole voci 225 1 $aLaissez passer$v55 610 0 $aMigrazioni$aSec. 20. 610 0 $aProfughi dalmati [e] Profughi giuliani$aAccoglienza$aEuropa$a1944-1956 676 $a949.72023$v23$zita 702 1$aMarchis,$bRiccardo 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910497709503321 952 $aCollez. 2774 (55)$b3886/2020$fFSPBC 959 $aFSPBC 996 $aNarrazione a lungo mancata$91875497 997 $aUNINA LEADER 02975nam 22006374a 450 001 9910784571203321 005 20200520144314.0 010 $a1-280-64149-5 010 $a9786610641499 010 $a0-08-045554-9 035 $a(CKB)1000000000363670 035 $a(EBL)269943 035 $a(OCoLC)304118269 035 $a(SSID)ssj0000133190 035 $a(PQKBManifestationID)11139153 035 $a(PQKBTitleCode)TC0000133190 035 $a(PQKBWorkID)10041148 035 $a(PQKB)11443666 035 $a(MiAaPQ)EBC269943 035 $a(Au-PeEL)EBL269943 035 $a(CaPaEBR)ebr10138286 035 $a(CaONFJC)MIL64149 035 $a(PPN)182567230 035 $a(EXLCZ)991000000000363670 100 $a20051123d2006 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCrystallography made crystal clear$b[electronic resource] $ea guide for users of macromolecular models /$fGale Rhodes 205 $a3rd ed. 210 $aAmsterdam ;$aBoston $cElsevier/Academic Press$dc2006 215 $a1 online resource (354 p.) 225 1 $aComplementary science series 300 $aDescription based upon print version of record. 311 $a0-12-587073-6 320 $aIncludes bibliographical references and index. 327 $aContents; Preface to the Third Edition; Preface to the Second Edition; Preface to the First Edition; Model and Molecule; An Overview of Protein Crystallography; Protein Crystals; Collecting Diffraction Data; From Diffraction Data to Electron Density; Obtaining Phases; Obtaining and Judging the Molecular Model; A User's Guide to Crystallographic Models; Other Diffraction Methods; Other Kinds of Macromolecular Models; Tools for Studying Macromolecules; Viewing Stereo Images; Index 330 $aCrystallography Made Crystal Clear makes crystallography accessible to readers who have no prior knowledge of the field or its mathematical basis. This is the most comprehensive and concise reference for beginning Macromolecular crystallographers, written by a leading expert in the field. Rhodes' uses visual and geometric models to help readers understand the mathematics that form the basis of x-ray crystallography. He has invested a great deal of time and effort on World Wide Web tools for users of models, including beginning-level tutorials in molecular modeling on personal computers. Rhode 410 0$aComplementary science series. 606 $aX-ray crystallography 606 $aMacromolecules$xStructure 606 $aProteins$xStructure 615 0$aX-ray crystallography. 615 0$aMacromolecules$xStructure. 615 0$aProteins$xStructure. 676 $a547/.7 700 $aRhodes$b Gale$0151303 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910784571203321 996 $aCrystallography made crystal clear$9472163 997 $aUNINA LEADER 04486nam 22007935 450 001 9910483552503321 005 20251226195534.0 010 $a3-540-38865-6 024 7 $a10.1007/11841197 035 $a(CKB)1000000000284057 035 $a(SSID)ssj0000320686 035 $a(PQKBManifestationID)11258733 035 $a(PQKBTitleCode)TC0000320686 035 $a(PQKBWorkID)10249646 035 $a(PQKB)11174432 035 $a(DE-He213)978-3-540-38865-4 035 $a(MiAaPQ)EBC3068068 035 $a(PPN)123137896 035 $a(BIP)34164239 035 $a(BIP)13618387 035 $a(EXLCZ)991000000000284057 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aWeb Services and Formal Methods $eThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /$fedited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 289 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4184 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-38862-1 320 $aIncludes bibliographical references and index. 327 $aInvitedPapers -- DecSerFlow: Towards a Truly Declarative Service Flow Language -- Service QoS Composition at the Level of Part Names -- SCC: A Service Centered Calculus -- Contributed Papers -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool -- Semantic Querying of Mathematical Web Service Descriptions -- Verified Reference Implementations of WS-Security Protocols -- From BPEL Processes to YAWL Workflows -- Translating Orc Features into Petri Nets and the Join Calculus -- Dynamic Constraint-Based Invocation of Web Services -- A Formal Account of Contracts for Web Services -- Execution Semantics for Service Choreographies -- Analysis and Verification of Time Requirements Applied to the Web Services Composition -- A Formal Approach to Service Component Architecture -- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System -- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment -- Application of Model Checking to AXML System?s Security: A Case Study -- Towards a Unifying Theory for Web Services Composition -- Towards the Formal Model and Verification of Web Service Choreography Description Language. 330 $aHere are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4184 606 $aComputer science 606 $aSoftware engineering 606 $aComputer networks 606 $aElectronic digital computers$xEvaluation 606 $aTheory of Computation 606 $aComputer Science 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aElectronic digital computers$xEvaluation. 615 14$aTheory of Computation. 615 24$aComputer Science. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSystem Performance and Evaluation. 676 $a004.0151 701 $aBravetti$b Mario$01756355 701 $aNunez$b Manuel$cProfesor.$046583 701 $aZavattaro$b Gianluigi$01754873 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483552503321 996 $aWeb services and formal methods$94204802 997 $aUNINA