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

Implementation of Functional Languages / 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers, Pena Ricardo, Arts Thomas



Варианты приобретения
Цена: 7314р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 91 шт.  Склад Америка: 61 шт.  
При оформлении заказа до:
Ориентировочная дата поставки:

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

Автор: Pena Ricardo, Arts Thomas
Название:  Implementation of Functional Languages / 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
Издательство: Springer
Классификация:
Компьютерное программирование
Алгоритмы и процедуры
Языки программирования

ISBN: 3540401903
ISBN-13(EAN): 9783540401902
ISBN: 3-540-40190-3
ISBN-13(EAN): 978-3-540-40190-2
Обложка/Формат: Book & Online
Страницы: 249
Вес: 0.42 кг.
Дата издания: 2003
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 23.39 x 15.60 x 1.40
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This book constitutes the thoroughly refereed post-proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, held in Madrid, Spain in September 2002.
Дополнительное описание: Формат: 235x155
Круг читателей: Researchers and professionals
Ключевые слова: functional programming
functional languages
functional theorem proving
programming languages
programming language implementation
parallel programming
functional operating systems
compilation haskell
type systems
Язык: eng





Languages and Compilers for Parallel Computing / 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

Автор: Dietz Henry Gordon
Название: Languages and Compilers for Parallel Computing / 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers
ISBN: 3540040293 ISBN-13(EAN): 9783540040293
Издательство: Springer
Рейтинг:
Цена: 9404 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 14th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2001, held in Lexington, KY, USA, in August 1-3, 2001.The 28 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in parallel processing are addressed, in particular compiler optimization, HP Java programming, power-aware parallel architectures, high performance applications, power management of mobile computers, data distribution, shared memory systems, load balancing, garbage collection, parallel components, job scheduling, dynamic parallelization, cache optimization, specification, and dataflow analysis.

Graph Drawing / 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers

Автор: Kaufmann Michael, Wagner Dorothea
Название: Graph Drawing / 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers
ISBN: 3540709037 ISBN-13(EAN): 9783540709039
Издательство: Springer
Рейтинг:
Цена: 9404 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-proceedings of the 14th International Symposium on Graph Drawing, GD 2006, held in Karlsruhe, Germany. This book addresses various aspects in graph drawing, ranging from foundational and methodological issues to applications for various classes of graphs in a variety of fields.

Languages and Compilers for High Performance Computing / 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

Автор: Eigenmann Rudolf, Li Zhiyuan, Midkiff Samuel P.
Название: Languages and Compilers for High Performance Computing / 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
ISBN: 354028009X ISBN-13(EAN): 9783540280095
Издательство: Springer
Рейтинг:
Цена: 9404 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 17th International Workshop on Languages and Compilers for High Performance Computing, LCPC 2004, held in West Lafayette, IN, USA in September 2004. The 33 papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections.

Recent Trends in Algebraic Development Techniques / 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Автор: Wirsing Martin, Pattinson Dirk, Hennicker Rolf
Название: Recent Trends in Algebraic Development Techniques / 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
ISBN: 3540205373 ISBN-13(EAN): 9783540205371
Издательство: Springer
Рейтинг:
Цена: 9090 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Automated Deduction in Geometry / 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Автор: Winkler Franz
Название: Automated Deduction in Geometry / 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
ISBN: 3540209271 ISBN-13(EAN): 9783540209270
Издательство: Springer
Рейтинг:
Цена: 7314 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

Logic Based Program Synthesis and Transformation / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Автор: Etalle Sandro
Название: Logic Based Program Synthesis and Transformation / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
ISBN: 3540266550 ISBN-13(EAN): 9783540266556
Издательство: Springer
Рейтинг:
Цена: 7314 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004.The 17 revised full papers presented were carefully selected and revised from 23 full paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

Implementation and Application of Automata / 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers

Автор: Champarnaud Jean-Marc, Maurel Denis
Название: Implementation and Application of Automata / 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
ISBN: 3540403914 ISBN-13(EAN): 9783540403913
Издательство: Springer
Рейтинг:
Цена: 7836 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002. The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata and related structures.

Computer Science Logic / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Автор: Ong Luke
Название: Computer Science Logic / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
ISBN: 3540282319 ISBN-13(EAN): 9783540282310
Издательство: Springer
Рейтинг:
Цена: 10449 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005.The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.

Automated Deduction in Geometry / Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

Автор: Richter-Gebert JГјrgen, Wang Dongming
Название: Automated Deduction in Geometry / Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
ISBN: 3540425985 ISBN-13(EAN): 9783540425984
Издательство: Springer
Рейтинг:
Цена: 7314 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.

Security in Communication Networks / Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002, Revised Papers

Автор: Cimato Stelvio, Galdi Clemente, Persiano Giuseppe
Название: Security in Communication Networks / Third International Conference, SCN 2002, Amalfi, Italy, September 11-13, 2002, Revised Papers
ISBN: 3540004203 ISBN-13(EAN): 9783540004202
Издательство: Springer
Рейтинг:
Цена: 8359 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Security in Communication Networks, SCN 2002, held in Amalfi, Italy in September 2002.The 24 revised full papers presented together with two invited papers were carefully selected from 90 submissions during two rounds of reviewing and revision. The papers are organized in topical sections on forward security, foundations of cryptography, key management, cryptanalysis, systems security, digital signature schemes, zero knowledge, and information theory and secret sharing.

Implementation of Functional Languages / 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Автор: Trinder Phil, Michaelson Greg, Pena Ricardo
Название: Implementation of Functional Languages / 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
ISBN: 3540237275 ISBN-13(EAN): 9783540237273
Издательство: Springer
Рейтинг:
Цена: 6791 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003.The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming. 

Implementation and Application of Functional Languages / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Автор: Butterfield Andrew, Grelck Clemens, Huch Frank
Название: Implementation and Application of Functional Languages / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
ISBN: 354069174X ISBN-13(EAN): 9783540691747
Издательство: Springer
Рейтинг:
Цена: 6791 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005.The 13 revised full papers presented went through two rounds of reviewing and improvement and were selected from an initial total of 32 workshop presentations. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages.


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