{"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":51,"n_cols":5,"rows_kept":51,"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],[2,4,2,5],[3,2,3,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[32,4,32,5],[33,2,33,3],[33,4,33,5],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[43,2,43,3],[44,2,44,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910456070303321"]
[null,null,"Autore",null,"Crnkovic Ivica"]
[null,null,"Titolo",null,"Implementing and integrating product data management and software configuration management / / Ivica Crnkovic, Ulf Asklund, Annita Persson Dahlqvist"]
[null,null,"Pubbl/distr/stampa",null,"Boston : , : Artech House, , c2003"]
[{"$nulls":4},"[Piscataqay, New Jersey] : , : IEEE Xplore, , [2003]"]
[null,null,"ISBN",null,"1-58053-685-9"]
[null,null,"Descrizione fisica",null,"1 online resource (362 p.)"]
[null,null,"Collana",null,"Artech House computing library"]
[null,null,"Disciplina",null,"670/.285"]
[null,null,"Soggetti",null,"Computer integrated manufacturing systems"]
[{"$nulls":4},"Concurrent engineering"]
[{"$nulls":4},"Management information systems"]
[{"$nulls":4},"Production control - Data processing"]
[{"$nulls":4},"Electronic books."]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Contents; Foreword; Preface; Chapter 1: Requirements of complex pro; Chapter 2: General description of PDM; Chapter 3: General description of SCM; Chapter 4: Comparison of technical principles and key functionality; Chapter 5: Analysis and general findings; Chapter 6: PDM and SCM integration; Chapter 7: Evaluation and deployment; Chapter 8: Case Studies; Chapter 9: A survey of PDM tools; Chapter 10: Survey of SCM tools; Chapter 11: Document management systems; Chapter 12: Standards and de facto standards in PDM and SCM; List of Acronyms; About the authors; Index"]
[null,null,null,"Sommario/riassunto","Because today's products rely on tightly integrated hardware and software components, system and software engineers, and project and product managers need to have an understanding of both product data management (PDM) and software configuration management (SCM). This groundbreaking book offers you that essential knowledge, pointing out the similarities and differences of these two processes, and showing you how they can be combined to ensure effective and efficient product and system development, production and maintenance."]
[null,"2.","Record Nr.",null,"UNISA996534963703316"]
[null,null,"Titolo",null,"A Book of the names of all parishes, market towns, villages, hamlets, and smallest places, in England and Wales : alphabetically set down, as they be in every shire ..., so that naming any town or place in England and Wales, you may presently in the alphabet find it, and know in what shire and hundred it is, and so know the distance from it to the shire town, and in the large table for shires in England how far to London, or from it to any other town in England ."]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by M.S. for Tho : Jenner ..., 1657"]
[null,null,"Descrizione fisica",null,"Testo elettronico (PDF) (97 [i.e. 104] p. ; carte geografiche)"]
[null,null,"Disciplina",null,"914.2"]
[null,null,"Soggetti",null,"Gran Bretagna Geografia"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Risorsa elettronica"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Numerosi errori di impaginazione"]
[{"$nulls":4},"Imperfetto: pagine macchiate"]
[null,"3.","Record Nr.",null,"UNINA9910254060903321"]
[null,null,"Titolo",null,"Advances in proof theory / / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016"]
[null,null,"ISBN",null,"3-319-29198-X"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (430 p.)"]
[null,null,"Collana",null,"Progress in Computer Science and Applied Logic, , 2297-0576 ; ; 28"]
[null,null,"Disciplina",null,"511.3"]
[null,null,"Soggetti",null,"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Logic"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[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","\"Advances in proof theory was the title of a symposium organized on the occasion of the 60th birthday of Gerhard J ä ger. The meeting took place on December 13 and 14, 2013, at the University of Bern, Switzerland.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters."]
[null,null,"Nota di contenuto",null,"W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak \"pointwise\" induction, and a miniaturized predicativity."]
[null,null,null,"Sommario/riassunto","The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which "]
[{"$nulls":4},"was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. ."]