{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":68,"n_cols":5,"rows_kept":68,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[18,2,18,3],[19,2,19,3],[23,2,23,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[36,2,36,3],[37,2,37,3],[40,2,40,3],[43,2,43,3],[43,4,43,5],[44,2,44,3],[44,4,44,5],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3],[51,2,51,3],[55,2,55,3],[55,4,55,5],[56,2,56,3],[56,4,56,5],[57,2,57,3],[57,4,57,5],[58,2,58,3],[59,2,59,3],[60,2,60,3],[61,2,61,3],[62,2,62,3],[63,2,63,3],[64,2,64,3],[65,2,65,3],[66,2,66,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465379103316"]
[null,null,"Titolo",null,"Mathematics of Program Construction [[electronic resource] ] : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings / / edited by Eerke A. Boiten, Bernhard Möller"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-45442-X"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 266 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2386"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computation by Abstract Devices"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm -- Some Results in Dynamic Model Theory -- Mathematics in Computer Science Curricula -- Contributed Papers -- Logical Relations and Galois Connections -- Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications -- Fine Control of Demand in Haskell -- Reasoning about Timeouts -- Eternity Variables to Simulate Specifications -- Constructing Tournament Representations: An Exercise in Pointwise Relational Programming -- Type-Indexed Data Types -- Verification of Java’s AbstractCollection Class: A Case Study -- Solving Regular Path Queries -- Inverting Functions as Folds -- From Kleene Algebra to Refinement Algebra."]
[null,"2.","Record Nr.",null,"UNINA9910483153803321"]
[null,null,"Autore",null,"Hilgers Michael"]
[null,null,"Titolo",null,"The diesel engine / / Michael Hilgers; Wilfried Achenbach"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany : , : Springer Vieweg, , [2021]"]
[{"$nulls":4},"Â©2021"]
[null,null,"ISBN",null,"3-662-60857-X"]
[null,null,"Edizione",null,"[1st ed. 2021.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 75 p. 27 illus., 10 illus. in color.)"]
[null,null,"Collana",null,"Commercial vehicle technology"]
[null,null,"Disciplina",null,"629.224"]
[null,null,"Soggetti",null,"Trucks - Motors (Diesel)"]
[{"$nulls":4},"Diesel trucks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Diesel fuel and air -- The mechanics of the engine -- Integrating the engine in the vehicle -- The fuel system and fuel injection -- The exhaust system -- Thermodynamics -- Abbreviations and symbols."]
[null,null,null,"Sommario/riassunto","The aim of this work, consisting of 9 individual, self-contained booklets, is to describe commercial vehicle technology in a way that is clear, concise and illustrative. Compact and easy to understand, it provides an overview of the technology that goes into modern commercial vehicles. Starting from the customer's fundamental requirements, the characteristics and systems that define the design of the vehicles are presented knowledgeably in a series of articles, each of which can be read and studied on their own. This volume, The Diesel Engine, provides an initial overview of the vast topic that is the diesel engine. It offers basic information about the mechanical functioning of the engine. The integration of the engine in the vehicle and major systems such as the cooling system, the fuel system and the exhaust gas treatment system are explained so that readers in training and in a practical setting may gain an understanding of the diesel engine. Content Diesel fuel and air.- The mechanics of the engine.- Integrating the engine in the vehicle.- The fuel system and fuel injection.- The exhaust system.- Thermodynamics.- Abbreviations and symbols. The target groups Participants in master classes and those studying individual aspects of commercial vehicle technology Professors and lecturers instructing in the field of commercial vehicle technology Consultants and experts who need background knowledge and technical expertise regarding commercial vehicle technology Personnel "]
[{"$nulls":4},"working in the commercial vehicle technology or supply industry who are assigned to a new work area Cost planners and logistics companies The Authors Dr. Michael Hilgers is currently director of the testing center at BFDA, a Foton Daimler truck joint venture in China. Before that he was head of different development departments in Commercial Vehicle Development at Mercedes-Benz Trucks. Dr. Wilfried Achenbach has worked in the automotive industry for over 30 years. Recently he retired as Head of Development at Daimler Trucks North America."]
[null,"3.","Record Nr.",null,"UNISALENTO991002173439707536"]
[null,null,"Titolo",null,"Ex libris / a cura di Gian Franco Grechi"]
[null,null,"Pubbl/distr/stampa",null,"Milano : Mazzotta, [1981]"]
[null,null,"ISBN",null,"8820204673"]
[null,null,"Descrizione fisica",null,"107 p. : ill. ; 20 cm"]
[null,null,"Disciplina",null,"097"]
[null,null,"Soggetti",null,"Ex libris Milano Biblioteca comunale Esposizioni 1981"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","In testa al front.: Ripartizione cultura, Biblioteca comunale di Milano"]
[{"$nulls":4},"Catalogo della mostra tenuta a Milano nel 1981"]
[null,"4.","Record Nr.",null,"UNISALENTO991003421539707536"]
[null,null,"Autore",null,"Cognetti, Giuseppe"]
[null,null,"Titolo",null,"Anguille e anguillicoltura / G. Cognetti, C.M. De Angelis"]
[null,null,"Pubbl/distr/stampa",null,"Bologna : Edagricole, c1980"]
[null,null,"ISBN",null,"8820619709"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"viii, 138 p. : ill. ; 21 cm."]
[null,null,"Collana",null,"Quaderni di biologia pura e applicata"]
[null,null,"Disciplina",null,"639.37"]
[null,null,"Soggetti",null,"Eels - Culture"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]