Programming Languages and Systems, Xinyu Feng; Sungwoo Park
Автор: Zhong Shao Название: Programming Languages and Systems ISBN: 3642548326 ISBN-13(EAN): 9783642548321 Издательство: Springer Рейтинг: Цена: 10062.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The contributions are organized in topical sections named: type systems;
Автор: S. Doaitse Swierstra Название: Programming Languages and Systems ISBN: 3540656995 ISBN-13(EAN): 9783540656999 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents the proceedings of the 8th European Symposium on Programming. The revised papers cover topics including program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming and code splicing.
Автор: Matthias Felleisen; Philippa Gardner Название: Programming Languages and Systems ISBN: 3642370357 ISBN-13(EAN): 9783642370359 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. shared-memory concurrency and verification; weak-memory concurrency and verification;
Автор: Giuseppe Castagna Название: Programming Languages and Systems ISBN: 3642005896 ISBN-13(EAN): 9783642005893 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Автор: Gert Smolka Название: Programming Languages and Systems ISBN: 3540672621 ISBN-13(EAN): 9783540672623 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These refereed papers are from the 9th European Symposium on Programming, in Berlin, in March/April 2000. Among the topics addressed are language translation, coordination languages, typed languages, logic programs, Java, C-programming, type systems, and language continuations.
Автор: Jan Vitek Название: Programming Languages and Systems ISBN: 3662466686 ISBN-13(EAN): 9783662466681 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.
Автор: Hanne R. Nielson Название: Programming Languages and Systems - ESOP `96 ISBN: 3540610553 ISBN-13(EAN): 9783540610557 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings discuss such topics as software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation and implementation techniques.
Автор: Chris Hankin Название: Programming Languages and Systems ISBN: 3540643028 ISBN-13(EAN): 9783540643029 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents 17 papers from a total of 59 submissions, and one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis and program transformation.
Автор: Hongseok Yang Название: Programming Languages and Systems ISBN: 3662544334 ISBN-13(EAN): 9783662544334 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Wang Название: Programming Languages for MIS ISBN: 1482222663 ISBN-13(EAN): 9781482222661 Издательство: Taylor&Francis Рейтинг: Цена: 12095.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Programming Languages for MIS: Concepts and Practice supplies a synopsis of the major computer programming languages, including C++, HTML, JavaScript, CSS, VB.NET, C#.NET, ASP.NET, PHP (with MySQL), XML (with XSLT, DTD, and XML Schema), and SQL. Ideal for undergraduate students in IS and IT programs, this textbook and its previous versions have been used in the authors' classes for the past 15 years.
Focused on web application development, the book considers client-side computing, server-side computing, and database applications. It emphasizes programming techniques, including structured programming, object-oriented programming, client-side programming, server-side programming, and graphical user interface.
Introduces the basics of computer languages along with the key characteristics of all procedural computer languages
Covers C++ and the fundamental concepts of the two programming paradigms: function-oriented and object-oriented
Considers HTML, JavaScript, and CSS for web page development
Presents VB.NET for graphical user interface development
Introduces PHP, a popular open source programming language, and explains the use of the MySQL database in PHP
Discusses XML and its companion languages, including XSTL, DTD, and XML Schema
With this book, students learn the concepts shared by all computer languages as well as the unique features of each language. This self-contained text includes exercise questions, project requirements, report formats, and operational manuals of programming environments. A test bank and answers to exercise questions are also available upon qualified course adoption.
This book supplies professors with the opportunity to structure a course consisting of two distinct modules: the teaching module and the project module. The teaching module supplies an overview of representative computer languages. The project module provides students with the opportunity to gain hands-on experience with the various computer languages through projects.
Автор: Peter Thiemann Название: Programming Languages and Systems ISBN: 3662494973 ISBN-13(EAN): 9783662494974 Издательство: Springer Рейтинг: Цена: 13416.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Simulating Cities: A Software Engineering Perspective.- Regular Programming for Quantitative Properties of Data Streams.- Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach.- Practical Optional Types for Clojure.- A Timed Process Algebra for Wireless Networks with an Application in Routing.- Computing with semirings and weak rig groupoids.- On Hierarchical Communication Topologies in the pi-calculus.- Modular Termination Verification for Non-blocking Concurrency.- Call-by-Push-Value from a Linear Logic point of view.- Visible Type Application.- Automatically Splitting a Two-Stage Lambda Calculus.- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate.- An application of computable distributions to the semantics of probabilistic programming languages.- Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.- Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations.- Needle & Knot: Binder boilerplate tied up.- On the Relative Expressiveness of Higher-Order Session Processes.- A Realizability Model for a Semantical Value Restriction.- Probabilistic functions and cryptographic oracles in higher order logic.- Extensible and Efficient Automation through Reflective Tactics.- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.- Functional Big-step Semantics.- Classical by-need.- Macrofication: Refactoring by Reverse Macro Expansion.- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules.- Actor Services: Modular Verification of Message Passing Programs.- Transfinite Step-indexing: Decoupling Concrete and Logical Steps.- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.- The Expressive Power of Monotonic Parallel Composition.
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
