Logic, Construction, Computation, Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Название: Minecraft Construction Handbook ISBN: 1405276800 ISBN-13(EAN): 9781405276801 Издательство: Egmont Рейтинг: Цена: 8790.00 T Наличие на складе: Нет в наличии. Описание: Minecraft is a multi-platform block-based gaming sensation available on Xbox, PlayStation, PC and mobile devices. This book is full of tips on how to make detailed creations. It is also packed with pictures showcasing the very best of Minecraft community creations from replicas of Tower Bridge to steampunk cityscapes to floating Islands.
Автор: Barendregt Название: Lambda Calculus with Types ISBN: 0521766141 ISBN-13(EAN): 9780521766142 Издательство: Cambridge Academ Рейтинг: Цена: 85530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
Автор: Migliaccio Giovanni C Название: Introduction to Construction Project Engineering ISBN: 1138736589 ISBN-13(EAN): 9781138736580 Издательство: Taylor&Francis Рейтинг: Цена: 39170.00 T Наличие на складе: Есть Описание:
This new textbook fills an important gap in the existing literature, in that it prepares construction engineering and built environment students for their first experience of the jobsite. This innovative book integrates conceptual and hands-on knowledge of project engineering to introduce students to the construction process and familiarize them with the procedures and activities they need to operate as project engineers during their summer internships and immediately after graduation.
The textbook is structured into four sections:
Section A: Introductory Concepts
Section B: Field Engineering
Section C: Office Engineering
Section D: Advanced Project Engineering
The emphasis on field tasks and case studies, questions, and exercises taken from across civil works and commercial building sectors makes this the ideal textbook for introductory to intermediate courses in Construction Engineering, Construction Engineering Technology, Civil and Architectural Engineering, and Construction Management degree programs.
Автор: Mcnally Название: Soil and Rock Construction Materials ISBN: 1138470414 ISBN-13(EAN): 9781138470415 Издательство: Taylor&Francis Рейтинг: Цена: 135770.00 T Наличие на складе: Есть Описание: An introduction to the investigation, extraction, processing and specification of natural soil and rock materials, with an emphasis on why particular material properties are sought and how they may be modified.
Автор: Hinman Название: Recursion-Theoretic Hierarchies ISBN: 1107168244 ISBN-13(EAN): 9781107168244 Издательство: Cambridge Academ Рейтинг: Цена: 159450.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The theory set out in this volume is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. The author develops a general theory from which the results of both areas can be derived, making the common themes clear.
Based on an extensive investigation on the various problems inherent in green construction projects, Performance and Improvement of Green Construction Projects provides a framework to compare and contrast common problems encountered when managing green construction projects and devising feasible solutions.
Performance and Improvement of Green Construction Projects expertly explain the specific characteristics and management approaches of green construction projects, with in-depth comparisons against conventional construction projects. The books present a holistic view on the management strategies and innovations for green construction projects, focusing on the assessment and improvement of green construction projects' management performance in the areas of cost, schedule, quality, safety, risk, productivity and leadership development
Addresses performance improvement and project management in green construction projects in view of cost, schedule, safety, quality, risk, productivity, and leadership
Clearly explains the obstacles, challenges, and barriers to implementing a green construction project
Discusses numerous special issues which are inherent in green construction projects from inception to delivery
Автор: Ghosh Название: Green Structures ISBN: 1498749631 ISBN-13(EAN): 9781498749633 Издательство: Taylor&Francis Рейтинг: Цена: 82170.00 T Наличие на складе: Есть Описание:
The world is beginning to feel the crunch of depleting conventional energy sources and these desperate times call for exploring newer vistas in terms of alternative sources of energy. The construction sector is expected to require a major overhaul involving strategic advancements in the utilization of green energy given the rapid urban growth. A number of policy initiatives to mainstream energy efficiency are in place in most countries that are expected to accelerate energy efficiency and sustainability in buildings. Streamlining the green building movement requires coordinated monitoring and intelligent control of a building's vital functions. This can be achieved through building management systems (BMS) involving the integration of structures, systems, services, and management. Green building movements should examine the potential of power generation from urban, municipal, and industrial wastes. Equitable distribution of water resources should be carefully planned--monsoon-dominated countries should adopt efficient rain-water harvesting measures to provide clean water to thirsty nations.
These overarching concepts are well woven into themed chapters in Green Structures: Energy Efficient Buildings. Easily comprehensible to undergraduates in civil, structural, and environmental engineering; graduate students and researchers; town planners; and architects worldwide, the content of this book not only comes from courses on energy efficient buildings taught by the authors, but also from new and original research. This definitive resource has an enduring appeal for all those concerned with green structures.
Автор: Scopatz Anthony, Huff Kathryn D. Название: Effective Computation in Physics ISBN: 1491901535 ISBN-13(EAN): 9781491901533 Издательство: Wiley Рейтинг: Цена: 32520.00 T Наличие на складе: Есть Описание: Written by two PhDs in nuclear engineering, this book includes practical examples drawn from a working knowledge of physics concepts. You`ll learn how to use the Python programming language to perform everything from collecting and analyzing data to building software and publishing your results.
Автор: Couch Peg Название: Illustrated Guide to Sewing: Garment Construction: A Complete Course on Designing and Making Clothing for Fit and Fashion ISBN: 1565235096 ISBN-13(EAN): 9781565235090 Издательство: GMC Рейтинг: Цена: 15830.00 T Наличие на складе: Нет в наличии. Описание: What are the building blocks of a great wardrobe? For men the shirt and trousers. For women the blouse, skirt, dress and trousers. This title teaches the home seamstress how to make them, as well as learn how to design and sew garments that flatter their figure and reflect their personal style.
Автор: Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger Название: Logic, Construction, Computation ISBN: 3110324539 ISBN-13(EAN): 9783110324532 Издательство: Walter de Gruyter Рейтинг: Цена: 218130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.
Название: English for Construction 2 CB +CD-ROM, шт ISBN: 1408269929 ISBN-13(EAN): 9781408269923 Издательство: Pearson Education Рейтинг: Цена: 43400.00 T Наличие на складе: Невозможна поставка. Описание: Written by industry practitioners, `English for Construction` provides specialist English relevant to a chosen vocation for thousands of non-native English speakers training for employment in the UK or already working in their chosen vocation.
Название: English for Construction Level 1 Coursebook & CD-rom Pack ISBN: 1408269910 ISBN-13(EAN): 9781408269916 Издательство: Pearson Education Рейтинг: Цена: 47350.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Written by industry practitioners, `English for Construction` provides specialist English relevant to a chosen vocation for thousands of non-native English speakers training for employment in the UK or already working in their chosen vocation.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz