{"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":64,"n_cols":5,"rows_kept":64,"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],[4,2,4,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[40,2,40,3],[41,2,41,3],[44,2,44,3],[47,2,47,3],[47,4,47,5],[48,2,48,3],[48,4,48,5],[49,2,49,3],[49,4,49,5],[50,2,50,3],[52,2,52,3],[53,2,53,3],[55,2,55,3],[57,2,57,3],[58,2,58,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910450398603321"]
[null,null,"Autore",null,"Risk William Paul"]
[null,null,"Titolo",null,"Compact blue-green lasers / / W.P. Risk, T.R. Gosnell, A.V. Nurmikko [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2003"]
[null,null,"ISBN",null,"1-107-12788-2"]
[{"$nulls":4},"0-511-06604-X"]
[{"$nulls":4},"1-280-41741-2"]
[{"$nulls":4},"9786610417414"]
[{"$nulls":4},"1-139-14571-1"]
[{"$nulls":4},"0-511-17864-6"]
[{"$nulls":4},"0-511-05973-6"]
[{"$nulls":4},"0-511-30586-9"]
[{"$nulls":4},"0-511-60650-8"]
[{"$nulls":4},"0-511-06817-4"]
[null,null,"Descrizione fisica",null,"1 online resource (xii, 540 pages) : digital, PDF file(s)"]
[null,null,"Disciplina",null,"621.3661"]
[null,null,"Soggetti",null,"Semiconductor lasers"]
[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","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover; Half-title; Title; Copyright; Contents; Preface; 1 The need for compact blue-green lasers; 2 Fundamentals of nonlinear frequency upconversion; 3 Single-pass SHG and SFG; 4 Resonator-enhanced SHG and SFG; 5 Intracavity SHG and SFG; 6 Guided-wave SHG; 7 Essentials of upconversion laser physics; 8 Upconversion lasers; 9 Introduction to blue-green semiconductor lasers; 10 Device design, performance, and physics of optical gain of the InGaN QW violet diode lasers; 11 Prospects and properties for vertical-cavity blue light emitters; 12 Concluding remarks; Index"]
[null,null,null,"Sommario/riassunto","William Risk, Timothy Gosnell and Arto Nurmikko have brought together their diverse expertise from industry and academia to write the first fully comprehensive book on the generation and application of blue-green lasers. This volume describes the theory and practical implementation of three techniques for the generation of blue-green light: nonlinear frequency conversion of infrared lasers, upconversion lasers, and wide bandgap semiconductor diode lasers.  In addition, it "]
[{"$nulls":4},"looks at the various applications that have driven the development of compact sources of blue-green light, and reflects on the recent application of these lasers in high-density data storage, color displays, reprographics, and biomedical technology. Compact Blue-Green Lasers is suitable for graduate-level courses or as a reference for academics and professionals in optics, applied physics, and electrical engineering."]
[null,"2.","Record Nr.",null,"UNISA996465377903316"]
[null,null,"Titolo",null,"Logical Foundations of Computer Science [[electronic resource] ] : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / / edited by Sergei Adian, Anil Nerode"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997"]
[null,null,"ISBN",null,"3-540-69065-4"]
[null,null,"Edizione",null,"[1st ed. 1997.]"]
[null,null,"Descrizione fisica",null,"1 online resource (IX, 436 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 1234"]
[null,null,"Disciplina",null,"004/.01/5113"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$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","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Topological semantics for hybrid systems -- Domain-free pure type systems -- Generic queries over quasi-o-minimal domains -- Towards computing distances between programs via Scott domains -- A safe recursion scheme for exponential time -- Finite model theory, universal algebra and graph grammars -- Complexity of query answering in logic databases with complex values -- Recognition of deductive data base stability -- The concurrency complexity for the Horn fragment of linear logic -- Studying algorithmic problems for free semi-groups and groups -- Learning small programs with additional information -- Cut elimination for the second order propositional logic with Hilbert's ?-symbol, extensionality, and full comprehension -- Finite bases of admissible rules for the logic S52 C -- An algebraic correctness criterion for intuitionistic proof-nets -- Towards a theory of recursive structures -- On the complexity of prefix formulas in modal logic of subset spaces -- The undecidability of second order linear affine logic -- Operational logic of proofs with functionality condition on proof predicate -- On linear ordering of strongly extensional finitely-branching graphs and non-well-founded sets -- Functions for the "]
[{"$nulls":4},"general solution of parametric word equations -- A proof procedure for hereditary Harrop formulas with free equality -- Basic forward chaining construction for logic programs -- Decidability and undecidability of the halting problem on Turing machines, a survey -- Case study: Additive linear logic and lattices -- Some decision problems for traces -- Existential instantiation and strong normalization -- Models for the logic of proofs -- Interpretation of the full computation tree logic CTL* on sets of infinite sequences -- Type introduction for equational rewriting -- Capturing bisimulation-invariant Ptime -- Equivalence of multiplicative fragments of cyclic linear logic and noncommutative linear logic -- A decidable fragment of second order linear logic -- Some results on Propositional Dynamic Logic with fixed points -- Quasi-characteristic inference rules for modal logics -- Provability logic with operations on proofs -- Formal verification of logic programs: Foundations and implementation -- Unification of terms with term-indexed variables -- Back-forth equivalences for design of concurrent systems -- Association nets: An alternative formalization of common thinking -- Simulating ?-expansions with ?-reductions in the second-order polymorphic ?-rcalculus -- Logical schemes for first order theories -- Verification of PLTL formulae by means of monotone disjunctive normal forms."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community."]
[null,"3.","Record Nr.",null,"UNINA9910711508403321"]
[null,null,"Autore",null,"Hickey John J."]
[null,null,"Titolo",null,"Variations in low-water streambed elevations at selected stream-gaging stations in northwestern California / / by J. J. Hickey"]
[null,null,"Pubbl/distr/stampa",null,"[Washington, D.C.] : , : United States Department of the Interior, Geological Survey, , 1969"]
[{"$nulls":4},"Washington : , : United States Government Printing Office"]
[null,null,"Descrizione fisica",null,"1 online resource (iii, 33 pages) : illustrations, maps"]
[null,null,"Collana",null,"Contributions to the hydrology of the United States"]
[{"$nulls":4},"Geological Survey water-supply paper ; ; 1879-E"]
[null,null,"Soggetti",null,"Sediments (Geology) - California"]
[{"$nulls":4},"Stream measurements - California"]
[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","\"Prepared in cooperation with the California Department of Water Resources.\""]
[{"$nulls":4},"\"US. Government Printing Office: 1969 O--348-307\"--Page 33."]
[{"$nulls":4},"Includes tables."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]