Le sel : Essai sur la chimie / / Eugene Lefebvre

• Record Nr.: UNINA9910796290303321
• Autore: Lefebvre Eugene
• Pubbl/distr/stampa: [Place of publication not identified] : , : Ligaran, , 2015
• ISBN: 2-335-05465-1
• Descrizione fisica: 1 online resource (321 p.)
• Disciplina: 546.34
• Soggetti: Fused salts
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di contenuto: Couverture; Page de Copyright; Page de titre; PREMIÈRE PARTIE - Propriétés et usages du sel; CHAPITRE PREMIER - Les propriétés du sel; 1° Introduction; 2° Propriétés physiques du sel; 3° Le sel au point le vue chimique; CHAPITRE II - Les usages du sel; 1° Emploi du sel dans l'alimentation; 2° Conservation des matières alimentaires; 3° Emploi du sel en agriculture; 4° Emploi du sel dans l'industrie chimique; DEUXIÈME PARTIE - Le sel en France; CHAPITRE III - Les anciens procédés d'extraction; CHAPITRE IV - Les salins du Midi; 1° Évaporation de l'eau de mer; 2° Description du salin; 3° La récolte du selCHAPITRE V - Les marais salants de l'Ouest; 1° Les paludiers; 2° Le marais salant et l'extraction du sel; CHAPITRE VI - Les salines de l'Est; 1° Gisements de sel gemme en France; 2° Fabrication du sel; ANNEXE DU CHAPITRE VI - Les salines du Sud-Ouest; CHAPITRE VII - Les différentes qualités de sel; 1° Sels lavés et raffinés; 2° Propriétés diverses des sels français; CHAPITRE VIII - L'impôt du sel; 1° Les gabelles; 2° La taxe de consommation; N° 1. - Produit de la taxe sur les sels; N° 2. - Comparaison les années 1876 et 1877; TROISIÈME PARTIE - Sel marin et sel gemme; CHAPITRE IX - Sel marin1° La salure des différentes mers; 2° Mers intérieures et lacs salés; La mer Caspienne et le Kara-Boghaz; La mer Morte; Le grand lac Salé de l'Utah; Le lac Elton; 3° Extraction du sel marin; Les marais salants du Portugal; Extraction du sel par la gelée; CHAPITRE X - Sel gemme; 1° État naturel et exploitation du sel gemme; 2° Le sel en Autriche; A.- Les mines de Salzbourg et du Salzkammergut; B.- Les mixes de Wieliczka et de Dochnia; 3° Les sels ; des Stassfurt; 4° Le sel en Angleterre; 5° Le sel en Afrique
• Sommario/riassunto: Extrait : ""Certaines matières minérales sont abondantes sur des points déterminés du globe et manquent complètement ailleurs: d'autres se rencontrent très fréquemment, mais toujours en petites quantités. L'or, par exemple, est de ces dernières : il n'existe peut-être pas de sable qui ne contienne un peu d'or...""À PROPOS DES ÉDITIONS LIGARANLes éditions LIGARAN proposent des versions numériques de qualité de grands livres de la littérature classique mais également des livres rares en partenariat avec la BNF. Beaucoup de soins sont apportés à ces versions ebook pour éviter les fautes que l'on

Compiler construction using Java, JavaCC, and Yacc / / Anthony J. Dos Reis

• Record Nr.: UNINA9910829947203321
• Autore: Dos Reis Anthony J.
• Pubbl/distr/stampa: Hoboken, New Jersey : , : Wiley-IEEE Computer Society, , c2012; [Piscataqay, New Jersey] : , : IEEE Xplore, , [2012]
• ISBN: 1-283-91786-6; 1-118-11277-6; 1-118-11287-3; 1-118-11276-8
• Descrizione fisica: 1 online resource (655 p.)
• Classificazione: COM010000
• Disciplina: 005.453
• Soggetti: Compilers (Computer programs); Java (Computer program language)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Front Matter -- Strings, Languages, and Compilers -- Context-Free Grammars, Part 1 -- Context-free Grammars, Part 2 -- Context-Free Grammars, Part 3 -- Chomsky's Hierarchy (Optional) -- Top-Down Parsing -- LL(1) Grammars -- Table-Driven Stack Parser (Optional) -- Recursive-Descent Parsing -- Recursive-Descent Translation -- Assembly Language -- S1₇A Simple Compiler -- JavaCC (Optional) -- ; Building on S2 -- Compiling Control Structures -- Compiling Programs in Functional Form -- Finite Automata -- Capstone Project: Implementing Grep Using Compiler Technology -- Compiling to a Register-Oriented Architecture -- Optimization -- Interpreters -- Bottom-up Parsing -- Yacc -- Appendix A: Stack Instruction Set -- Appendix B: Register Instruction Set.
• Sommario/riassunto: A student-friendly, course-friendly guide to compiler theory, applications, and programming technologyCompiler construction is a tricky subject, involving theory, the application of that theory, and programming technology. Virtually every day, advances in computer technology propel advances in compiler technology. Compiler Construction Using Java, JavaCC, and Yacc covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects as well as several tutorials, well-defined projects, and test cases. While the coverage of JavaCC is entirely optional, this book provides the only comprehensive introduction to the topic currentlyavailable.Far easier to read and understand than any other compiler guide, this booksets a new standard for learning this invaluable skill. It provides:. Strong coverage of formal languages, including context-sensitive and unrestricted languages as well as regular and context-free languages. A clear exposition of compiler design and implementation theory . Numerous well-defined projects, using source language with six levels of complexity. A complete teaching support software package that evaluates compiler projects for correctness, run time, and size of code, and runs on multiple platforms. Immediate feedback for students on their projectsCompiler Construction Using JavaTM, JavaCC, and Yacc provides substantial support for each project, many of which are incremental enhancements of previous projects. The goals at each new level are challenging but achievable and can be reached in several different ways, for example, by writing a compiler or interpreter by hand, with JavaCC, or with Yacc.