{"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":66,"n_cols":5,"rows_kept":66,"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],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[12,2,12,3],[13,2,13,3],[17,2,17,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[43,2,43,3],[44,2,44,3],[48,2,48,3],[51,2,51,3],[51,4,51,5],[52,2,52,3],[52,4,52,5],[53,2,53,3],[54,2,54,3],[55,2,55,3],[56,2,56,3],[62,2,62,3],[63,2,63,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910460003603321"]
[null,null,"Titolo",null,"11th international congress molded interconnect devices : scientific proceedings : selected, peer reviewed papers from the 11th International Congress Molded Interconnect Devices (MID 2014), September 24-25, 2014, Nuremberg / Fuerth, Germany / / edited by Jörg Franke [and three others]"]
[null,null,"Pubbl/distr/stampa",null,"Pfaffikon, Switzerland : , : TTP, , 2014"]
[{"$nulls":4},"Enfield, New Hampshire : , : Trans Tech Publications Ltd, , [date of distribution not identified]"]
[{"$nulls":4},"©2014"]
[null,null,"ISBN",null,"3-03826-636-1"]
[null,null,"Descrizione fisica",null,"1 online resource (119 p.)"]
[null,null,"Collana",null,"Advanced Materials Research, , 1662-8985 ; ; Volume 1038"]
[null,null,"Disciplina",null,"621.367"]
[null,null,"Soggetti",null,"Molded interconnect devices"]
[{"$nulls":4},"Three-dimensional display systems"]
[{"$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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"11th International Congress Molded Interconnect Devices - Scientific Proceedings; Preface and Committees; Table of Contents; Chapter 1: Development and Prototyping; Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices; Novel Approach for the Implementation of 3D-MID Compatible Routing Functionalities into Computer-Aided Design Tools; Optimized Process Sequences for Prototyping of Molded Interconnect Devices; Integration of Functional Circuits into FDM Parts"]
[{"$nulls":4},"Chapter 2: Printing TechnologiesPrinting of Functional Structures on Molded 3D Devices; Electrical Functionalization of Thermoplastics by Combining Plasmadust Coating and Aerosol Jet Printing; Production of Miniaturized Sensor Structures on Polymer Substrates Using Inkjet Printing; Progress in the Manufacturing of Molded Interconnected Devices by 3D Microcontact Printing; Chapter 3: Materials and Manufacturing; Characterization of Electromagnetic Properties of MID Materials for High Frequency Applications up to 67 GHz"]
[{"$nulls":4},"Novel Laser Induced Metallization for Three Dimensional Molded "]
[{"$nulls":4},"Interconnect Device Applications by Spray MethodExperimental Investigation of Laser Sintering of Conductive Adhesive for Functional Prototypes Produced by Embedding Stereolithography; MID Fabricated by Ultrasonic Processing; Usage of Industrial Robots as Flexible Handling Devices Supporting the Process of Three Dimensional Conductive Pattern Generation; Chapter 4: Manufacturing Processes; Study of MID Technologies for Automotive Lighting and Light Signaling Devices; Chapter 5: Assembly Technologies and Inspection"]
[{"$nulls":4},"Design and Solder Process Optimization in MID Technology for High Power ApplicationsChapter 6: Quality and Reliability; Hot Pin Pull Method - New Test Procedure for the Adhesion Measurement for 3D-MID; Keywords Index; Authors Index"]
[null,null,null,"Sommario/riassunto","Collection of selected, peer reviewed papers from the 11 th International Congress Molded Interconnect Devices (MID 2014), September 24-25, 2014, Nuremberg / Fuerth, Germany. The 16 papers are grouped as follows: Chapter 1: Development and Prototyping, Chapter 2: Printing Technologies, Chapter 3: Materials and Manufacturing, Chapter 4: Manufacturing Processes, Chapter 5: Assembly Technologies and Inspection, Chapter 6: Quality and Reliability."]
[null,"2.","Record Nr.",null,"UNISA996213834703316"]
[null,null,"Titolo",null,"Tests and Proofs [[electronic resource] ] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / / edited by Martina Seidl, Nikolai Tillmann"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-09099-2"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 214 p. 76 illus.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 8570"]
[null,null,"Disciplina",null,"004"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Simulation and Modeling"]
[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,"Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver -- An Abstraction Technique for Testing Decomposable Systems by Model Checking -- An All-in-One Toolkit for Automated White-Box Testing -- Behaviour Driven Development for Tests and Verification -- Quality Assurance in MBE Back and Forth -- Visualizing Unbounded Symbolic Execution -- Film stripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models -- Generating Classified Parallel Unit Tests -- JTACO: Test Execution for Faster Bounded Verification -- Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing -- Runtime Assertion Checking and Its "]
[{"$nulls":4},"Combinations with Static and Dynamic Analyses: Tutorial Synopsis -- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test Generation Helps Software Specification and Deductive Verification in Frama-C."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification."]
[null,"3.","Record Nr.",null,"UNISA996210554803316"]
[null,null,"Titolo",null,"Namibia economist"]
[null,null,"Pubbl/distr/stampa",null,"Windhoek, : Namibia Economist"]
[null,null,"ISSN",null,"1563-5503"]
[null,null,"Descrizione fisica",null,"1 online resource"]
[null,null,"Soggetti",null,"Economic history"]
[{"$nulls":4},"Periodicals."]
[{"$nulls":4},"Namibia Economic conditions Periodicals"]
[{"$nulls":4},"Windhoek (Namibia) Periodicals"]
[{"$nulls":4},"Namibia"]
[{"$nulls":4},"Namibia Windhoek"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]
[null,null,null,"Sommario/riassunto","\"Business newspaper.\""]