{"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":48,"n_cols":5,"rows_kept":48,"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],[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],[20,2,20,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[28,2,28,3],[29,2,29,3],[33,2,33,3],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[40,2,40,3],[42,2,42,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910465001503321"]
[null,null,"Titolo",null,"Recent progress in the Boolean domain / / edited by Bernd Steinbach"]
[null,null,"Pubbl/distr/stampa",null,"Newcastle upon Tyne, England : , : Cambridge Scholars Publishing, , 2014"]
[{"$nulls":4},"©2014"]
[null,null,"ISBN",null,"1-4438-5967-2"]
[null,null,"Descrizione fisica",null,"1 online resource (458 p.)"]
[null,null,"Disciplina",null,"004.015113"]
[null,null,"Soggetti",null,"Automatic theorem proving"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$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","\"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Contents; List of Figures; List of Tables; Preface; Foreword; Introduction; Exceptionally ComplexBoolean Problems; 1. Boolean Rectangle Problem; 2. Four-Colored Rectangle-FreeGrids; 3. Theoretical and PracticalConcepts; Digital Circuits; 4. Design; 5. Test; Towards Future Technologies; 6. Reversible and Quantum Circuits; Bibliography; List of Authors; Index of Authors"]
[null,null,null,"Sommario/riassunto","In today's world, people are using more and more digital systems in daily life. Such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to..."]
[null,"2.","Record Nr.",null,"UNINA9910451339103321"]
[null,null,"Titolo",null,"Physics and technology of linear accelerator systems [[electronic resource] ] : proceedings of the 2002 Joint USPAS-CAS-Japan-Russian Accelerator School, Long Beach, California 6-14 November 2002 / / editors, Helmut Wiedemann ... [et al.]"]
[null,null,"Pubbl/distr/stampa",null,"River Edge, N.J., : World Scientific, c2004"]
[null,null,"ISBN",null,"1-281-89906-2"]
[{"$nulls":4},"9786611899066"]
[{"$nulls":4},"981-270-306-3"]
[null,null,"Descrizione fisica",null,"1 online resource (365 p.)"]
[null,null,"Disciplina",null,"539.733"]
[null,null,"Soggetti",null,"Linear accelerators"]
[{"$nulls":4},"Particle accelerators"]
[{"$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."]
[null,null,"Nota di contenuto",null,"Preface; CONTENTS; Ion Linacs T. P. Wangler; Modern Trends in Induction Accelerator Technology G. J. Caporaso; RFQ - Accelerators A. Schempp; RF Structures (Design) H. Henke; Fabrication and Testing of RF Structures E. Jensen; Computational Tools for RF Structure Design E. Jensen; Wakefields and Instabilities in Linacs G. Stupakov; Beam Manipulation and Diagnostic Techniques in Linacs P. Logatchov; Space Charge and Beam Halos in Proton Linacs F. Gerigk; Power Sources for Accelerators beyond X-Band E. R. Colby; Recirculated and Energy Recovered Linacs G. A. Krafft"]
[{"$nulls":4},"Muon Colliders and Neutrino Factories: Basics and Prospects A. Skrinsky"]
[null,null,null,"Sommario/riassunto","This book is useful to people working or planning to work in the field of linear accelerators. It is a good reference, presenting the most recent advances in the field. The intended audience are researchers, practitioners, academics and graduate students. The proceedings have been selected for coverage in:.  Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings).  CC Proceedings - Engineering & Physical Sciences."]
[null,"3.","Record Nr.",null,"UNISA996393091103316"]
[null,null,"Titolo",null,"An ordinance of the Lords and Commons assembled in Parliament [[electronic resource] ] : for raising and maintaining of forces for the defence of the kingdom, under the command of Sir Thomas Fairfax Knight, who is hereby constituted and ordained commander in chief. 15. Febr. 1644. Ordered by the Commons in Parliament, that this ordinance be forthwith printed and published: H. Elsynge, Cler. Parl. D. Com"]
[null,null,"Pubbl/distr/stampa",null,"Printed at London, : for Edw. Husbands, Febr. 17. 1644. [i.e. 1645]"]
[null,null,"Descrizione fisica",null,"23, [1] p"]
[null,null,"Soggetti",null,"Armies - England"]
[{"$nulls":4},"Great Britain History Civil War, 1642-1649 Early works to 1800"]
[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","Wing has publication year 1644[5]; Thomason catalogue lists under 1645."]
[{"$nulls":4},"Reproduction of the original in the British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]