Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Популярные книги


Загрузка...
Название: Programming Languages and Systems
Автор: Hongseok Yang
Издательство: Springer
Год: 2017
Формат: PDF
Размер: 26,5 Мб
Язык: английский / English

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.








Нерабочая ссылка? Вам СЮДА


Успейте скачать!!!
Ссылки на скачивание книг ЗАПРЕЩЕННЫХ ИЗДАТЕЛЬСТВ удаляются через 3 дня с момента публикации и заменяются (по договору с АЗАПИ) партнерскими ссылками магазина LITRES!



Автор: black 11-04-2017, 21:08 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.




С этой публикацией часто скачивают:

    Introduction to Programming Languages Introduction to Programming Languages Название: Introduction to Programming Languages Автор: Arvind Kumar Bansal Издательство: CRC Год: 2014 Страниц: 624 Формат: PDF Размер: 10 Mb Язык:...

    Learning Concurrent Programming in Scala, 2nd Edition Learning Concurrent Programming in Scala, 2nd Edition Название: Learning Concurrent Programming in Scala, 2nd Edition Автор: Aleksandar Prokopec Издательство: Packt Publishing Год: 2017 Страниц: 382...

    Learning Functional Data Structures and Algorithms Learning Functional Data Structures and Algorithms Название: Learning Functional Data Structures and Algorithms Автор: Atul Khot Издательство: Packt Publishing Год: 2017 Страниц: 394 Формат: True PDF,...

    Foundations of Programming Languages Foundations of Programming Languages Название: Foundations of Programming Languages Автор: Kent D. Lee Издательство: Springer Год: 2015 Формат: PDF, EPUB Размер: 20 Мб Язык: английский...

    Concepts of Programming Languages, Global Edition Concepts of Programming Languages, Global Edition Название: Concepts of Programming Languages, Global Edition Автор: Robert W. Sebesta Издательство: Pearson Год: 2016 Формат: PDF, EPUB Размер: 13,9...

    Programming Language Explorations Programming Language Explorations Название: Programming Language Explorations Автор: Alexander Schneider, Eileen Choe, Rachel Rivera, Ray Toal Издательство: Chapman and Hall/CRC Год:...

    Python Programming Cookbook Python Programming Cookbook Название: Python Programming Cookbook Автор: Sebastian Vinci Издательство: Exelixis Media Год: 2016 Формат: PDF Размер: 2 Мб Язык: английский /...

    Programming Concepts in C++ Programming Concepts in C++ Название: Programming Concepts in C++ Автор: Robert Burns Издательство: Xlibris Год: 2014 Страниц: 242 Формат: PDF Размер: 14 Mb Язык: English ...

    Automating with SIMATIC: Controllers, Software, Programming, Data Communication, 6th Edition Automating with SIMATIC: Controllers, Software, Programming, Data Communication, 6th Edition Название : Automating with SIMATIC: Controllers, Software, Programming, Data Communication, 6th Edition Автор : Hans Berger Издательство: Publicis...

    The C# Programming Language The C# Programming Language Автор: Anders Hejlsberg and Mads Torgersen Название: The C# Programming Language Издательство: Addison-Wesley Professional Год: 2010 ISBN:...

    Programming Languages for MIS: Concepts and Practice Programming Languages for MIS: Concepts and Practice Автор: Hai Wang Название: Programming Languages for MIS: Concepts and Practice Издательство: Auerbach Publications Год: 2014 Язык: English Формат:...

    Programming Erlang: Software for a Concurrent World, 2nd Edition Programming Erlang: Software for a Concurrent World, 2nd Edition Название: Programming Erlang: Software for a Concurrent World, 2nd Edition Автор: Joe Armstrong Издательство: Pragmatic Bookshelf Год: 2013 Формат:...

  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent





Нажимая на кнопку "Отправить", Вы даете согласие на обработку персональных данных, а также подтверждаете условия "Политики конфиденциальности" настоящего сайта.


 MirKnig.Su  ©2018     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности