Digital resources - Ha Noi university of science and technology

Browsing by Subject ngôn ngữ lập trình

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 5 of 5

Ebooks (Sách điện tử)

A Byte of Python

Authors : C.H., Swaroop (2020)

Python is probably one of the few programming languages which is both simple and powerful. This is good for beginners as well as for experts, and more importantly, is fun to program with. This book aims to help you learn this wonderful language and show how to get things done quickly and painlessly - in effect 'The Anti-venom to your programming problems'.

Ebooks (Sách điện tử)

Java with BlueJ Part 2

Authors : McFadyen, Ron (2016)

This book is Part II of a two-part set that introduces the Java programming language. The text assumes the student will be using the BlueJ development environment and provides some introductory BlueJ material. Our experience has been that BlueJ is easy to learn and provides a good programming environment for the beginner programmer

Book

Programming Languages and Systems

Authors : Caires, Luís (2019)

Program Verification Time Credits and Time Receipts in Iris . Meta-FI: Proof Automation with SMT, Tactics, and Metaprograms. Semi-automated Reasoning About Non-determinism in C Expressions. Language Design Codata in Action. Composing Bidirectional Programs Monadically. Program Semantics, Extended call-by-push-value: Reasoning About Effectful Programs and Evaluation Order. Types Handling Polymorphic Algebraic Effects. Security and Incremental Computation Robustly Safe Compilation. Concurrency ...

Book

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings

Authors : Müller, Peter (2020)

Formal Methods for Evolving Database Applications. Many database applications undergo significant schema changes during their life cycle due to performance or maintainability reasons. Trace-Relating Compiler Correctness and Secure Compilation. Runners in Action. On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. Constructive Game Logic. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. Concise Read-Only ...

Book

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings

Authors : Yoshida, Nobuko (2021)

The Decidability of Verification under PS 2.0. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. Types for Complexity of Parallel Computation in Pi-Calculus. Checking Robustness Between Weak Transactional Consistency Models. Verified Software Units. An Automated Deductive Verification Framework for Circuit-building Quantum Programs. Nested Session Types. Coupled Relational Symbolic Execution for Differential Privacy...