03664nam1 2200457 450 00001567420080904142233.0ntes x.re r.er clfa (3) 1797 (A)feiUNIPARTHENOPE BORB-H-14/Intrs .)e, .)nd 16j' (3) 1797 (A)feiUNIPARTHENOPE BORB-H-14/IIpses etce lele nede (3) 1797 (A)feiUNIPARTHENOPE BORB-H-14/IIIene, urls n.ue ilav (3) 1797 (A)feiUNIPARTHENOPE BORB-H-14/IV20080829d1797----km-y0itay50------bafreFRag--hj--e--------yyybb1000--af-u0bc-UNIPARTHENOPE--------------------------------------------------------------Voyage de La Pérouse autour du monde, publié conformément au décret du 22 avril 1791, et rédigé par M. L.A. Milet-Mureau ... Tome premier (-quatrieme)A Parisde l'Imprimerie de la Républiquean V. 1797[Parigi]imprime par les soins de P.D. Duboy-Laverne, directeur de l'Imprimerie de la Republique4 v.4°fol.atl.Per la consistenza dell'op. cfr. NUC on-lineSegnatura vol. 1: [pigreco]2 a-i 4 A-2U4 2X2Segnatura vol. 2: [pigreco]2 A-3D4Segnatura vol. 3: [pigreco]2 A-2G4Segnatura vol. 4: [pigreco]2 A-2P4 2Q4(-2Q4)Voll.- 1-4: Legature in perg. su piatti di cartone ricoperti di c. de. (40x30 cm); sui dorsi tasselli con tit., A., numero dei tomi, nome della biblioteca, e fregi impressi in oro; ivi, inoltre, etichette con antiche segnature; carte non rifilate; foxing; fori di tarli; macchi di umiditàUNIPARTHENOPEVol. 1: Sulla controg. ant. antiche segnature mss.: 13°-A-1813 (con cancellatura a matita) [n.i.]; I-AI-12 [n.i.]; 1 i 2 [n.i.]; Class XI 259 Ingresso 4251 del Registro inventario della Regia Marina Biblioteca dipartimentale di Napoli; ivi, inoltre, ex libris della Reale Biblioteca di Marina; i, 3, 1813, 87 [n.i.]; sul r. della c. di g. ant.: III-C-II-18 [n.i.]; parz. ripetuti, a matita, i dati del Registro inventario ...; sul front. class. Dewey dell'IUN: 910.45; Timbri A e B della Reale Biblioteca di MarinaUNIPARTHENOPEVol. 2-4: Sulle controg. ant. antiche segnature mss.: 1 i 2 [n.i.]; Class XI 259 Ingresso 4251 del Registro inventario della Regia Marina Biblioteca dipartimentale di Napoli; ivi, inoltre, ex libris della Reale Biblioteca di Marina; i, 3, 1813, 87 [n.i.]; sul r. della c. di g. ant.: parz. ripetuti, a matita, i dati del Registro inventario ...; sul front. class. Dewey dell'IUN: 910.45; Timbri A e B della Reale Biblioteca di MarinaUNIPARTHENOPEVol. 1: [4], LXXII, 346, [2] p., [1] c. di tav. : ritr. - Ritr. dell'A. inciso da Alexandre TardieuVol. 2: [4], 398, [2] p.Vol. 3: [4], 422, [2] p.Vol. 4: [4], 309, [1] p.0010000156792001 Atlas du voyage de La PerouseFranciaParigi910.4521Narrazioni di viaggi e avventure di mareLa Pérouse,Jean Francois : de Galaup de<conte>562635Milet de Mureau,Louis Marie Antoine : Destouff de <barone><barone>Tardieu,Alexandre350Imprimerie de la Republique<1795-1804>650Due Sicilie : Ministero della guerra e della marina390ITUNIPARTHENOPE20080829RICAUNIMARC000015674BORB-H-13/I-IVFB2008Voyage de La Pérouse autour du monde, publié conformément au décret du 22 avril 1791, et rédigé par M. L.A. Milet-Mureau ... Tome premier (-quatrieme1202565UNIPARTHENOPE04787nam 22007575 450 991034939900332120251225205236.09783030022273303002227710.1007/978-3-030-02227-3(CKB)4100000007003122(DE-He213)978-3-030-02227-3(MiAaPQ)EBC6244194(PPN)23146097X(EXLCZ)99410000000700312220181002d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVI, 265 p. 92 illus.) Programming and Software Engineering,2945-9168 ;111789783030022266 3030022269 Includes bibliographical references and index.Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. .This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design.Programming and Software Engineering,2945-9168 ;11178Electronic digital computersEvaluationArtificial intelligenceAlgorithmsSoftware engineeringData protectionSystem Performance and EvaluationArtificial IntelligenceAlgorithmsSoftware EngineeringData and Information SecurityElectronic digital computersEvaluation.Artificial intelligence.Algorithms.Software engineering.Data protection.System Performance and Evaluation.Artificial Intelligence.Algorithms.Software Engineering.Data and Information Security.004004.24Bakhshi Renaedthttp://id.loc.gov/vocabulary/relators/edtBallarini Paoloedthttp://id.loc.gov/vocabulary/relators/edtBarbot Benoîtedthttp://id.loc.gov/vocabulary/relators/edtCastel-Taleb Hindedthttp://id.loc.gov/vocabulary/relators/edtRemke Anneedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349399003321Computer Performance Engineering3004631UNINA