Principles of Programming Languages

QR code

Principles of Programming Languages

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Dowek, Gilles
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Springer London 2020
Onderwerpen:	Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs
Online toegang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83014
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Gelijkaardige items

Programming Languages and Systems
Gepubliceerd in: (2020)

Inductive Logic Programming
door: Riguzzi, Fabrizio, et al.
Gepubliceerd in: (2020)

Unifying Theories of Programming
door: Bowen, Jonathan P., et al.
Gepubliceerd in: (2020)

Multiparadigm Programming in Mozart/Oz
Gepubliceerd in: (2020)

Program Analysis and Compilation, Theory and Practice
door: Reps, Thomas, et al.
Gepubliceerd in: (2020)

Logic-Based Program Synthesis and Transformation
door: Hermenegildo, Manuel V, et al.
Gepubliceerd in: (2020)

Value-Range Analysis of C Programs
door: Simon, Axel
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
door: Calimeri, Francesco, et al.
Gepubliceerd in: (2020)

Compiler Construction
door: Hendren, Laurie
Gepubliceerd in: (2020)

Computer Safety, Reliability, and Security
door: Tonetta, Stefano, et al.
Gepubliceerd in: (2020)

Theoretical Aspects of Computing – ICTAC 2017
door: Hung, Dang Van, et al.
Gepubliceerd in: (2020)

Critical Systems: Formal Methods and Automated Verification
door: Petrucci, Laure, et al.
Gepubliceerd in: (2020)

Computer Safety, Reliability, and Security
door: Tonetta, Stefano, et al.
Gepubliceerd in: (2020)

Rewriting Logic and Its Applications
door: Rusu, Vlad
Gepubliceerd in: (2020)

Compiler Construction
Gepubliceerd in: (2020)

Communicating Sequential Processes. The First 25 Years
Gepubliceerd in: (2020)

Theory and Applications of Formal Argumentation
door: Black, Elizabeth, et al.
Gepubliceerd in: (2020)

Computer Aided Verification
door: Majumdar, Rupak, et al.
Gepubliceerd in: (2020)

Compiler Construction
door: Krishnamurthi, Shriram, et al.
Gepubliceerd in: (2020)

Theoretical Aspects of Computing – ICTAC 2018
door: Fischer, Bernd, et al.
Gepubliceerd in: (2020)

Verified Software. Theories, Tools, and Experiments
door: Chakraborty, Supratik, et al.
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Nicola, Rocco De
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Caires, Luís
Gepubliceerd in: (2020)

Guide to Assembly Language Programming in Linux
Gepubliceerd in: (2020)

Accelerator Programming Using Directives
door: Chandrasekaran, Sunita, et al.
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Ahmed, Amal
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Shao, Zhong
Gepubliceerd in: (2020)

Database Programming Languages
Gepubliceerd in: (2020)

Programming Languages and Systems
Gepubliceerd in: (2020)

Programming Languages and Systems
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Yi, Kwangkeun
Gepubliceerd in: (2020)

Programming Languages and Systems
Gepubliceerd in: (2020)

Programming Languages and Systems
door: Drossopoulou, Sophia
Gepubliceerd in: (2020)

Logic, Language, and Computation
Gepubliceerd in: (2020)

The Agent Modeling Language - AML
Gepubliceerd in: (2020)

Network Programming with Go
door: Newmarch, Jan
Gepubliceerd in: (2020)

Functional Programming in R
door: Mailund, Thomas
Gepubliceerd in: (2020)

Introduction to Programming with Fortran
door: Chivers, Ian, et al.
Gepubliceerd in: (2020)

Beginning Ada Programming
door: Shvets, Andrew T.
Gepubliceerd in: (2020)

Systems Programming in Unix/Linux
door: Wang, K.C.
Gepubliceerd in: (2020)