Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Logic, Construction, Computation, Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger


Варианты приобретения
Цена: 283890.00T
Кол-во:
 о цене
Наличие: Невозможна поставка.

в Мои желания

Автор: Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Название:  Logic, Construction, Computation
ISBN: 9783110324938
Издательство: Walter de Gruyter
Классификация: ISBN-10: 3110324938
Обложка/Формат: Mixed media product
Страницы: 542
Вес: 0.00 кг.
Дата издания: 01.01.2012
Серия: Philosophy
Язык: English
Читательская аудитория: Professional and scholarly
Ключевые слова: PHILOSOPHY / General
Поставляется из: Германии
Описание: Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.

Minecraft Construction Handbook

Название: 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.

Lambda Calculus with Types

Автор: 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.

Introduction to Construction Project Engineering

Автор: 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:

  1. Section A: Introductory Concepts
  2. Section B: Field Engineering
  3. Section C: Office Engineering
  4. 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.


Soil and Rock Construction Materials

Автор: 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.

Performance and Improvement of Green Construction Projects

Автор: Bon-Gang Hwang
Название: Performance and Improvement of Green Construction Projects
ISBN: 0128154837 ISBN-13(EAN): 9780128154830
Издательство: Elsevier Science
Рейтинг:
Цена: 73880.00 T
Наличие на складе: Есть
Описание:

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

Green Structures

Автор: 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.


Effective Computation in Physics

Автор: 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.

English for Construction 2 CB +CD-ROM, шт

Название: 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.

Illustrated Guide to Sewing: Garment Construction: A Complete Course on Designing and Making Clothing for Fit and Fashion

Автор: 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.

Logic, Construction, Computation

Автор: 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 Level 1 Coursebook & CD-rom Pack

Название: 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.

Sewing Shirts with a Perfect Fit: The Ultimate Guide to Fit, Style, and Construction from Collared and Cuffed to Blouses and Tunics

Автор: Coffin David
Название: Sewing Shirts with a Perfect Fit: The Ultimate Guide to Fit, Style, and Construction from Collared and Cuffed to Blouses and Tunics
ISBN: 1589239520 ISBN-13(EAN): 9781589239524
Издательство: Неизвестно
Рейтинг:
Цена: 19000.00 T
Наличие на складе: Невозможна поставка.
Описание: Do you enjoy sewing your own shirts and blouses, but struggle with getting the right fit? In Sewing Shirts with a Perfect Fit, author, teacher, and renowned shirt-sewing expert David Page Coffin shows how you can easily transform the printed, multi-sized patterns included with the book (as well as patterns you already have) into three different customized basic shirt silhouettes--a loose fit, a trim fit, and a close fit--for both men and women.

Learn about shirts' unique fitting challenges, how to measure for each silhouette, and how to solve fit issues for all sorts of body shapes, including plus-size and athletic figures. Using his couture-inspired draping methods on both standard and custom-shaped body forms (which he also shows you how to make), David demonstrates how to adjust seams and armholes and add darts to achieve the right fit for each silhouette.

Get inspired by the four distinctive, original step-by-step shirt design and construction projects that show a variety of classic and contemporary shirt and shirtdress styles you can make with the included patterns. Sewing Shirts with a Perfect Fit will give you the skills you need to get the right fit every time


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия