{"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":59,"n_cols":5,"rows_kept":59,"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],[20,2,20,3],[21,2,21,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[31,2,31,3],[33,2,33,3],[34,2,34,3],[39,2,39,3],[39,4,39,5],[40,2,40,3],[40,4,40,5],[41,2,41,3],[41,4,41,5],[42,2,42,3],[44,2,44,3],[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],[53,2,53,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466157103316"]
[null,null,"Titolo",null,"Application and Theory of Petri Nets 1995 [[electronic resource] ] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / / edited by Giorgio DeMichelis, Michel Diaz"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995"]
[null,null,"ISBN",null,"3-540-49408-1"]
[null,null,"Edizione",null,"[1st ed. 1995.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 518 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 935"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Architecture, Computer"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Algorithms"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Computation by Abstract Devices"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[{"$nulls":4},"Algorithm Analysis and Problem Complexity"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Processor Architectures"]
[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,"Nota di contenuto",null,"A refined view of the box algebra -- Distributed algorithms and causally consistent observations (abstract) -- Petri Nets for information systems modelling -- On liveness in Extended Non Self-Controlling Nets -- An algebraic semantics for hierarchical P/T nets -- A Petri net based environment for the design of event-driven interfaces -- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets -- A class of composable high level Petri nets -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment for developing concurrent application -- A notion of equivalence for stochastic Petri nets -- Parallel state space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- "]
[{"$nulls":4},"Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning -- Symbolic reachability graph and partial symmetries -- Causal behaviours and nets -- From Coloured Petri Nets to Object Petri Nets -- Handles and reachability analysis of free choice nets -- Performance bounds for stochastic timed Petri nets -- An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets -- Subclasses of recognizable trace languages -- Verification of asynchronous circuits by BDD-based model checking of Petri nets -- Parameterized reachability trees for algebraic Petri nets -- Efficient simulation of Thor nets -- Functional equivalences of Petri nets -- Hierarchical Time Stream Petri Net: A model for hypermedia systems -- Markov Regenerative Stochastic Petri Nets with age type general transitions -- Timed processes of Timed Petri Nets."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier."]
[null,"2.","Record Nr.",null,"UNINA9910696979603321"]
[null,null,"Titolo",null,"Guidance for industry [[electronic resource] ] : estimating the maximum safe starting dose in initial clinical trials for therapeutics in adult healthy volunteers"]
[null,null,"Pubbl/distr/stampa",null,"Rockville, MD : , : U.S. Dept. of Health and Human Services, Food and Drug Administration, Center for Drug Evaluation and Research, , [2005]"]
[null,null,"Descrizione fisica",null,"1 electronic resource (27 pages) : chart"]
[null,null,"Soggetti",null,"Drugs - Dosage"]
[{"$nulls":4},"Drugs - Testing"]
[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","\"Pharmacology and toxicology.\""]
[{"$nulls":4},"\"July 2005.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (pages 13-14)."]
[null,"3.","Record Nr.",null,"UNINA9910693490603321"]
[null,null,"Autore",null,"Smith Charles R (Charles Richard), <1943->"]
[null,null,"Titolo",null,"U.S. Marines in Vietnam : High Mobility and Standdown 1969"]
[null,null,"Pubbl/distr/stampa",null,"Chicago : , : Barakaldo Books, , 2021"]
[{"$nulls":4},"©2021"]
[null,null,"ISBN",null,"1-83974-762-5"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (672 pages)"]
[null,null,"Collana",null,"Marine Corps Vietnam Series"]
[null,null,"Disciplina",null,"359.9"]
[null,null,"Soggetti",null,"Vietnam War, 1961-1975 - Campaigns"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Intro -- TABLE OF CONTENTS -- ERRATUM -- Foreword -- Preface -- Maps, Charts, and Tables -- PART I-THE CONTINUING WAR -- CHAPTER 1-Planning the Campaign -- I Corps Order of Battle -- Strategy: A Re-evaluation of Priorities -- I Corps Planning -- CHAPTER 2-Mountain Warfare -- Northern I Corps -- Off Balance -- From the Cua Viet, South -- CHAPTER 3-The Spring Offensive Pre-empted -- Strike into the Da Krong -- A Phased Operation -- Phase I -- Backyard Cleanup -- CHAPTER 4-The Raid into Laos -- Across the Da Krong -- The NVA Retaliates -- Ambush Along 922 -- Heavy Fighting -- Back Into Laos -- Persistent Problems -- Phased Retraction -- Laos: Repercussions -- CHAPTER 5-The Quang Tri Border Areas -- No Change in Tactics -- The DMZ Front -- Brigade Mauls 27th -- The 9th Battles the 36th -- The Vietnam Salient -- Apache Snow -- Central DMZ Battles -- Eastern Quang Tri and Thua Thien -- PART II-SOUTHERN I CORPS BATTLEGROUND -- CHAPTER 6-Destruction of Base Area 112 -- Defense of Da Nang -- Attack into 112 -- \"A Little Urban Renewal\" -- Americal's TAOI -- CHAPTER 7-The Battle for Quang Nam Continues -- Rockets Equal Operations -- Operation Oklahoma Hills -- 5th Marines and the Arizona -- Securing the Southern and Northern Approaches -- Americal Battleground -- PART III-THE THIRD'S FINAL MONTHS -- CHAPTER 8-Redeployment: The First Phase -- Keystone Eagle -- \"A Turning Point\" -- CHAPTER 9-'A Strange War Indeed' -- Company Patrol Operations -- Idaho Canyon -- \"A Significant Step\" -- Specter of Anarchy -- CHAPTER 10-'A Difficult Phase' -- Maintaining a Protective Barrier -- \"You Shouldered Us\" -- The Brigade Takes Over -- PART IV-QUANG NAM: THE YEAR'S FINAL BATTLES -- CHAPTER 11-Go "]
[{"$nulls":4},"Noi and the Arizona -- Vital Area Security -- Pipestone Canyon: The Destruction of Go Noi Island -- 1st Marines: Protecting the Southern Flank -- The Arizona."]
[{"$nulls":4},"CHAPTER 12-Da Nang and the Que Son Valley -- The 7th Marines -- 26th Marines: Protecting the Northern Flank -- Quang Tin and Quang Ngai Battleground -- Results -- PART V-SUPPORTING THE TROOPS -- CHAPTER 13-Marine Air Operations -- 1st MAW Organization and Deployment -- Single Management: Relations with the Seventh Air Force -- Upgrading of Aviation Assets -- I Corps Fixed-Wing Support -- The Interdiction Campaign -- Air Control -- Helicopter Operations -- Improving Helicopter Support -- Air Defense -- Accomplishments and Costs -- CHAPTER 14-Artillery and Surveillance -- Artillery Operations -- Surveillance and Reconnaissance Activities -- CHAPTER 15-Supplying III MAF -- Force Logistic Command -- Naval Support Activity, Da Nang -- Engineer Support -- Motor Transport -- Medical Support -- Communications -- Logistics of Keystone Eagle and Keystone Cardinal -- PART VI-UNIQUE CONTRIBUTIONS -- CHAPTER 16-Pacification -- The National Perspective -- Pacification Planning in I Corps -- Line Unit Pacification -- Civic Action -- The Grass-Roots Campaign -- Results -- CHAPTER 17-Special Landing Force Operations -- The Strategic Reserve -- Organization and Operations -- The Fleet's Contingency Force -- CHAPTER 18-The Advisory Effort and Other Activities -- Marine Advisors and the Vietnamese Marine Corps -- 1st Air and Naval Gunfire Liaison Company (ANGLICO) -- U.S. Marines on the MACV Staff -- Embassy Guard Marines -- CHAPTER 19-1969: An Overview -- Appendix A-Marine Command and Staff List January-December 1969 -- Appendix B-Glossary of Terms and Abbreviations -- Appendix C-Chronology of Significant Events January-December 1969 -- Appendix D-Medal of Honor Citations 1969 -- Appendix E-List of Reviewers -- Marines -- Army -- Others -- Appendix F-Distribution of Personnel Fleet Marine Force, Pacific-(Reproduction of Status of Forces, 31 January 1969)."]
[{"$nulls":4},"Appendix G-Distribution of Personnel Fleet Marine Force, Pacific-(Reproduction of Status of Forces, 8 December 1969) -- NOTES."]
[null,null,null,"Sommario/riassunto","This volume details the change in United States policy for the Vietnam War. After a thorough review, President Richard M. Nixon adopted a policy of seeking to end United States military involvement in Vietnam either through negotiations or, failing that, turning the combat role over to the South Vietnamese. It was this decision that began the Vietnamization of the war in the summer of 1969 and which would soon greatly reduce and then end the Marine Corps' combat role in the war.The Marines of III Marine Amphibious Force continued the full range of military and pacification activities within I Corps Tactical Zone during this period of transition. Until withdrawn, the 3rd Marine Division, employing highly mobile tactics, successfully blunted North Vietnamese Army efforts to reintroduce troops and supplies into Quang Tri Province. The 1st Marine Division, concentrated in Quang Nam Province, continued both mobile offensive and pacification operations to protect the city of Da Nang and surrounding population centers. The 1st Marine Aircraft Wing provided air support to both divisions, as well as other allied units in I Corps, while Force Logistic Command served all major Marine commands.Although written from the perspective of III MAF and the Marine ground war in I Corps, an attempt has been made to place the Marine role in relation to the overall American effort. The volume also treats the Marine Corps' participation in the advisory effort, the operations of the Seventh Fleet Special Landing Force, and, to a lesser extent, the activities of the 101st Airborne Division (Airmobile), 23rd Infantry (Americal) Division, and 1st Brigade, 5th "]
[{"$nulls":4},"Infantry Division (Mechanized). There are separate chapters on Marine air, artillery, surveillance, and logistics."]