Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

First-Order Programming Theories, Tamas Gergely; Laszlo Ury


Варианты приобретения
Цена: 13974.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Tamas Gergely; Laszlo Ury
Название:  First-Order Programming Theories
ISBN: 9783642635038
Издательство: Springer
Классификация:



ISBN-10: 3642635032
Обложка/Формат: Paperback
Страницы: 353
Вес: 0.58 кг.
Дата издания: 13.11.2012
Серия: Monographs in Theoretical Computer Science. An EATCS Series
Язык: English
Размер: 244 x 170 x 19
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.


A Primer on Scientific Programming with Python

Автор: Langtangen Hans Petter
Название: A Primer on Scientific Programming with Python
ISBN: 3662498863 ISBN-13(EAN): 9783662498866
Издательство: Springer
Рейтинг:
Цена: 4890.00 р. 6986.00 -30%
Наличие на складе: Есть (1 шт.)
Описание: The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches 'Matlab-style' and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageous to study classical and numerical one-variable calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of science and engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science.From the reviews: Langtangen … does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objects and functions and embracing the object-oriented paradigm. … Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010Those of us who have learned scientific programming in Python ‘on the streets’ could be a little jealous of students who have the opportunity to take a course out of Langtangen’s Primer.” John D. Cook, The Mathematical Association of America, September 2011This book goes through Python in particular, and programming in general, via tasks that scientists will likely perform. It contains valuable information for students new to scientific computing and would be the perfect bridge between an introduction to programming and an advanced course on numerical methods or computational science.Alex Small, IEEE, CiSE Vol. 14 (2), March?/April 2012 “This fourth edition is awonderful, inclusive textbook that covers pretty much everything one needs toknow to go from zero to fairly sophisticated scientific programming in Python…”Joan Horvath, Computing Reviews, March2015

Programming Languages and Systems

Автор: G. Ramalingam
Название: Programming Languages and Systems
ISBN: 3540893296 ISBN-13(EAN): 9783540893295
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security.

ECOOP 2009 -- Object-Oriented Programming

Автор: Sophia Drossopoulou
Название: ECOOP 2009 -- Object-Oriented Programming
ISBN: 3642030122 ISBN-13(EAN): 9783642030123
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Thanks to Sophia Drossopoulou for her dedicated work as PC Chair in assembling a ?ne scienti?c program including forward-looking keynotes, and for her e?orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting.

Theories of Programming Languages

Автор: Reynolds
Название: Theories of Programming Languages
ISBN: 0521594146 ISBN-13(EAN): 9780521594141
Издательство: Cambridge Academ
Рейтинг:
Цена: 10613.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.

Unifying Theories of Programming

Автор: David Naumann
Название: Unifying Theories of Programming
ISBN: 3319148052 ISBN-13(EAN): 9783319148052
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.

Unifying Theories of Programming

Автор: Burkhard Wolff; Marie-Claude Gaudel; Abderrahmane
Название: Unifying Theories of Programming
ISBN: 3642357040 ISBN-13(EAN): 9783642357046
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012.

Programming Interviews Exposed: Secrets to Landing Your Next Job, 3rd Edition

Автор: Giguere
Название: Programming Interviews Exposed: Secrets to Landing Your Next Job, 3rd Edition
ISBN: 1118261364 ISBN-13(EAN): 9781118261361
Издательство: Wiley
Рейтинг:
Цена: 3800.00 р.
Наличие на складе: Поставка под заказ.

Описание: Be prepared for your next job interview with this tried-and-true advice In today's tight job market, competition for programming jobs is hotter than ever. This third edition of a popular guide to the programming interviews includes new code examples, information on the latest languages, new chapters on sorting and design patterns, tips on using LinkedIn, and a downloadable app to help prepare applicants for the interview. Like its earlier editions, this guide covers what software companies and IT departments want their programmers to know and includes plenty of helpful hints to boost your confidence. Looks at current job search and hiring processes, such as the rise of LinkedIn and other social networks as recruiting resources Addresses the most important languages for a programmer to know and features examples in multiple languages Includes new programming questions designed to sharpen your knowledge Features all-new chapters on design patterns and sorting, including how to deal with memory constraints and mobility issues Walk into your next job interview with confidence, knowing you have thoroughly studied this newest edition of Programming Interviews Exposed.

Automata, Languages and Programming

Автор: Luca Aceto; Ivan Damgaard; Leslie Ann Goldberg; Ma
Название: Automata, Languages and Programming
ISBN: 3540705740 ISBN-13(EAN): 9783540705741
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. This work is grouped in three tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations.

Unifying Theories of Programming

Автор: Jonathan P. Bowen; Huibiao Zhu
Название: Unifying Theories of Programming
ISBN: 3319522272 ISBN-13(EAN): 9783319522272
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.

Unifying Theories of Programming and Formal Engineering Methods

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Unifying Theories of Programming and Formal Engineering Methods
ISBN: 3642397204 ISBN-13(EAN): 9783642397202
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

Theories of Programming and Formal Methods

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Theories of Programming and Formal Methods
ISBN: 3642396976 ISBN-13(EAN): 9783642396977
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

Unifying Theories of Programming

Автор: Andrew Butterfield
Название: Unifying Theories of Programming
ISBN: 3642145205 ISBN-13(EAN): 9783642145209
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия