{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":57,"n_cols":5,"rows_kept":57,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[15,2,15,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[25,2,25,3],[26,2,26,3],[29,2,29,3],[29,4,29,5],[30,2,30,3],[30,4,30,5],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[49,2,49,3],[50,2,50,3],[54,2,54,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465954303316"]
[null,null,"Titolo",null,"Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / / edited by Katinka Wolter"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany : , : Springer, , [2007]"]
[{"$nulls":4},"©2007"]
[null,null,"ISBN",null,"3-540-75211-0"]
[null,null,"Edizione",null,"[1st ed. 2007.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 304 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 4748"]
[null,null,"Disciplina",null,"004.24"]
[null,null,"Soggetti",null,"Formal methods (Computer science)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Keynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution -- Compositionality for Markov Reward Chains with Fast Transitions -- Closed Form Absorption Time Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts -- Grid and Peer-to-Peer Systems -- Evaluation of P2P Search Algorithms for Discovering Trust Paths -- Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study -- Performance Measuring Framework for Grid Market Middleware -- Queueing Theory and Applications of Queueing -- A Fixed-Point Algorithm for Closed Queueing Networks -- A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis -- Optimal Dynamic Server Allocation in Systems with On/Off Sources -- Towards an Automatic Modeling Tool for Observed System Behavior -- Benchmarking and Bounding -- Censoring Markov Chains and Stochastic Bounds -- Workload Characterization of the SPECjms2007 Benchmark -- Resource Sharing in Performance Models -- Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency -- Wireless Networks -- An "]
[{"$nulls":4},"Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks -- The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System."]
[null,"2.","Record Nr.",null,"UNINA9910297858803321"]
[null,null,"Autore",null,"Thunberg, Carl Peter <1743-1828>"]
[null,null,"Titolo",null,"Prodromus Plantarum Capensium, quas in promontorio Bonæ Spei Africes, annis 1772-1775, collegit Carol. Pet. Thunberg. Pars prior [-posterior]"]
[null,null,"Pubbl/distr/stampa",null,"Upsaliæ, : litteris Viduæ direct. Joh. Edman, 1794-1800"]
[null,null,"Descrizione fisica",null,"2 v. ; 8°"]
[null,null,"Locazione",null,"DBV"]
[null,null,"Collocazione",null,"A IV 226 (1"]
[{"$nulls":4},"A IV 226 (2"]
[null,null,"Lingua di pubblicazione",null,"Latino"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Paginazione e segnatura continue nei 2 v."]
[null,"3.","Record Nr.",null,"UNINA9910437566603321"]
[null,null,"Titolo",null,"Evaluation of Novel Approaches to Software Engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / / edited by Leszek A. Maciaszek, Kang Zhang"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013"]
[null,null,"ISBN",null,"3-642-32341-3"]
[null,null,"Edizione",null,"[1st ed. 2013.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 219 p. 102 illus.)"]
[null,null,"Collana",null,"Communications in Computer and Information Science, , 1865-0937 ; ; 275"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Electronic data processing - Management"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"IT Operations"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Software quality and testing -- Requirements engineering -- Programming -- Software processes and methods -- Software tools and environments -- Business process and services modeling -- Software components -- Software effort and processes -- Socio-technical aspects of software development."]
[null,null,null,"Sommario/riassunto","This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a "]
[{"$nulls":4},"wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling, software components, software effort and processes, and socio-technical aspects of software development."]