This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, computability, and complexity. Besides, it includes coverage of mathematical preliminaries. NEW TO THIS EDITION • Expanded sections on pigeonhole principle and the principle of induction (both in Chapter 2) • A rigorous proof of Kleene’s theorem (Chapter 5) • Major changes in the chapter on Turing machines (TMs) – A new section on high-level description of TMs – Techniques for the construction of TMs – Multitape TM and nondeterministic TM • A new chapter (Chapter 10) on decidability and recursively enumerable languages • A new chapter (Chapter 12) on complexity theory and NP-complete problems • A section on quantum computation in Chapter 12. • KEY FEATURES • Objective-type questions in each chapter—with answers provided at the end of the book. • Eighty-three additional solved examples—added as Supplementary Examples in each chapter. • Detailed solutions at the end of the book to chapter-end exercises. The book is designed to meet the needs of the undergraduate and postgraduate students of computer science and engineering as well as those of the students offering courses in computer applications.

Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes. Many topics often absent from other textbooks, such as repetitions in words, state complexity, the interchange lemma, 2DPDAs, and the incompressibility method, are covered here. The author places particular emphasis on the resources needed to represent certain languages. The book also includes a diverse collection of more than 200 exercises, suggestions for term projects, and research problems that remain open.

-

ENQC89246EN QUOI ET COMMENT l'aménagement des espaces et des équipements de loisir peut-il contribuer au bien-être de la société et de ses populations? Qu'il s'agisse d'équipements sportifs d'envergure ou de proximité, d'espaces culturels, patrimoniaux, de plein air ou touristiques, situés en milieu urbain, périurbain ou rural, leur aménagement n'est pas une mince affaire. Il faut en effet prendre en compte l'intégration durable et responsable des structures, l'accessibilité et la sécurité des aménagements, la promotion de saines habitudes de vie auprès des populations, bref, il faut être en mesure de concevoir tous les usages possibles d'un aménagement, du plus formel et normé au plus informel et créatif. Cet ouvrage, l'un des seuls en langue française sur le sujet, pose les bases théoriques, pragmatiques et réglementaires pour envisager, concevoir, analyser et mettre en application l'aménagement du territoire sous l'angle du loisir. Il met à contribution plus d'une quinzaine de chercheurs de plusieurs disciplines (études urbaines, sociologie, tourisme, géographie, études culturelles, etc.) qui se basent sur différents exemples québécois et internationaux pour montrer comment le loisir tire son essence, et tout son sens, des divers milieux de vie où il gravite.

Conçu et rédigé en collaboration avec des praticiens reconnus, le Mémento Urbanisme-Construction rassemble en un seul ouvrage une réglementation complexe et dispersée. Il expose de manière exhaustive et synthétique la réglementation d'urbanisme (règles d'occupation du sol, documents d'urbanisme, permis de construire, d'aménager et de démolir, zone d'aménagement concerté et opérations foncières d'aménagement), les règles applicables à l'édification' et à la commercialisation de l'immeuble (marchés de travaux, sociétés de construction, vente d'immeubles à construire et autres contrats spéciaux) et celles relatives à la responsabilité et à l'assurance construction. De substantiels développements sont consacrés à la fiscalité (taxes d'urbanisme, régime fiscal de l'acquisition du terrain à bâtir). Le Mémento est à jour de la loi Elan (évolution du logement, de l'aménagement et du numérique) qui impacte les documents d'urbanisme, les autorisations d'urbanisme, l'aménagement commercial, les zones d'aménagement concerté, les lotissements et la vente en l'état futur d'achèvement. Il intègre également la codification du droit de la commande publique, la création des procédures de rescrit en matière de fiscalité de l'urbanisme et la réforme du contentieux de l'urbanisme destinée à sécuriser les autorisations de construire et favoriser les projets de construction. Ce Mémento s'adresse aux professionnels de l'immobilier (lotisseurs, promoteurs, constructeurs, marchands de biens, etc.), à leurs assureurs, aux collectivités territoriales et, bien entendu, aux conseils (notaires et avocats, tout spécialement).

Que l’on souhaite construire ou rénover sa maison, la conception intérieure est une étape primordiale avant de se lancer dans de gros travaux. Il faut penser à tout: l’agencement des pièces, le choix des équipements et des matériaux de revêtement, l’étude des apports énergétiques…Comment résoudre ce terrible casse-tête pour éviter que sa maison ne devienne un véritable labyrinthe ? Quels sont les pièges à éviter ?Cet ouvrage passe au crible toutes les pièces de la maison: la salle de bain, les chambres, le couloir, la cuisine, la salle à manger, le séjour, l’entrée et le garage. Elles sont décortiquées dans les moindres détails, du nombre de prises de courant nécessaires jusqu’au plan final, en passant par le choix des matériaux adéquats et le calcul des surfaces. Sont également abordées les questions de sécurité et d’accessibilité afin que les lieux soient vivables pour tous. Complet et pratique, cet ouvrage, mis à jour pour cette nouvelle édition au niveau des normes et dispositions légales, est le guide idéal pour vous aider à réaliser un habitat agréable et bien conçu. Votre carnet de bord et vos outils sont préparés ? Prêt ? Partez

-

-

Cet ouvrage a pour objectif de fournir les concepts associe?s a? la me?canique des sols avec les principales me?thodes de calcul qui en de?coulent. Les rappels indispensables sur les mate?riaux et leur caracte?risation ainsi que des concepts de me?canique des milieux continus permettent au lecteur d'aborder le coeur de l'ouvrage. Cette nouvelle e?dition actualise les notions suivantes : calcul des tassements e?lastoplastiques de remblais, the?orie de la consolidation des sols fins, e?le?ments de poroe?lasticite?, calcul des efforts de pousse?e bute?e avec e?le?ments de plasticite?, fondations superficielles.

L'Art de bâtir les villes (Der Städtebau nach seinen hünstlerischen Grundsätzen), publié par Camillo Sitte en 1889, demeure aujourd'hui 1er passage obligé de toute réflexion sur la ville. Il enregistre le début d'une mutation qui achève de s'accomplir sous nos yeux: la disparition de l'ancien statut de la ville comme entité isolable. D'autre part, il explore la dimension esthétique de l'urbanisme. Constatant sa laideur, il se demande s'il est possible de créer aujourd'hui un bel environnement urbain, et il interroge les " villes historiques " pour y chercher non des configurations déterminées mais des règles d'organisation, des relations constantes liant les pleins et les vides qui constituent le tissu urbain : affirmation des différences entre édifices, petits et grands, publics et privés, savants et populaires ; articulation de tous les éléments bâtis, clôture des vides, jeu des échelles... Ce livre peut ainsi concourir, en cette époque où la ville est menacée, à recréer les conditions d'une réflexion sur ce que pourraient être aujourd'hui sa beauté et sa convivialité.

La Revue Deutsche Bauzeit5chrift a publié pendant les cinq premières années de sa parution un grand nombre de dessins et de photographies de détails, représentant de nouveaux bâtiments considérés comme des modèles du genre. Pour que cette somme d'expérience d'un intérêt incontestable soit rendue accessible à l'ensemble des techniciens du bâtiment, il a été nécessaire de sélectionner les éléments les plus originaux et les plus éprouvés. La grande valeur pratique des détails d'architecture justifie cet ouvrage dans lequel la présen­tation des dessins et des photographies a été particulièrement soignée. L'ordonnance judicieuse des sujets, les titres figurant en tête de chaque page, les vignettes de repérage placées en marge, permettent de trouver sûrement et rapidement le renseignement cherché. Ce travail se trouve facilité par une table des matières très étendue, dans laquelle les différents éléments de la construction ont été présentés suivant leur ordre rationnel. L'ensemble constitue un répertoire de bâtiments réellement exécutés et ayant fait leurs preuves.

Cet ouvrage est destiné aux élèves suivant une formation initiale ou continue, qui abordent le dessin technique de bâtiment. Parallèlement à l'acquisition des notions de base du dessin de Génie Civil (conventions de représentation, objectifs des différents plans, etc.), ce livre se propose de donner une méthode d'analyse des problèmes de construction (étude fonctionnelle, analyse technique).