Programming Languages and Systems

QRコード

Programming Languages and Systems

保存先:

書誌詳細
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80962
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Principles of Programming Languages
著者:: Dowek, Gilles
出版事項: (2020)

Inductive Logic Programming
著者:: Riguzzi, Fabrizio, 等
出版事項: (2020)

Unifying Theories of Programming
著者:: Bowen, Jonathan P., 等
出版事項: (2020)

Multiparadigm Programming in Mozart/Oz
出版事項: (2020)

Program Analysis and Compilation, Theory and Practice
著者:: Reps, Thomas, 等
出版事項: (2020)

Logic-Based Program Synthesis and Transformation
著者:: Hermenegildo, Manuel V, 等
出版事項: (2020)

Value-Range Analysis of C Programs
著者:: Simon, Axel
出版事項: (2020)

Practical Aspects of Declarative Languages
著者:: Calimeri, Francesco, 等
出版事項: (2020)

Critical Systems: Formal Methods and Automated Verification
著者:: Petrucci, Laure, 等
出版事項: (2020)

Compiler Construction
著者:: Hendren, Laurie
出版事項: (2020)

Computer Safety, Reliability, and Security
著者:: Tonetta, Stefano, 等
出版事項: (2020)

Theoretical Aspects of Computing – ICTAC 2017
著者:: Hung, Dang Van, 等
出版事項: (2020)

Computer Safety, Reliability, and Security
著者:: Tonetta, Stefano, 等
出版事項: (2020)

Rewriting Logic and Its Applications
著者:: Rusu, Vlad
出版事項: (2020)

Compiler Construction
出版事項: (2020)

Communicating Sequential Processes. The First 25 Years
出版事項: (2020)

Theory and Applications of Formal Argumentation
著者:: Black, Elizabeth, 等
出版事項: (2020)

Computer Aided Verification
著者:: Majumdar, Rupak, 等
出版事項: (2020)

Compiler Construction
著者:: Krishnamurthi, Shriram, 等
出版事項: (2020)

Theoretical Aspects of Computing – ICTAC 2018
著者:: Fischer, Bernd, 等
出版事項: (2020)

Programming Languages and Systems
著者:: Nicola, Rocco De
出版事項: (2020)

Programming Languages and Systems
著者:: Caires, Luís
出版事項: (2020)

Programming Languages and Systems
著者:: Ahmed, Amal
出版事項: (2020)

Programming Languages and Systems
著者:: Shao, Zhong
出版事項: (2020)

Verified Software. Theories, Tools, and Experiments
著者:: Chakraborty, Supratik, 等
出版事項: (2020)

Guide to Assembly Language Programming in Linux
出版事項: (2020)

Programming Languages and Systems
出版事項: (2020)

Programming Languages and Systems
出版事項: (2020)

Programming Languages and Systems
著者:: Yi, Kwangkeun
出版事項: (2020)

Programming Languages and Systems
出版事項: (2020)

Programming Languages and Systems
著者:: Drossopoulou, Sophia
出版事項: (2020)

Accelerator Programming Using Directives
著者:: Chandrasekaran, Sunita, 等
出版事項: (2020)

Systems Programming in Unix/Linux
著者:: Wang, K.C.
出版事項: (2020)

Database Programming Languages
出版事項: (2020)

Logic, Language, and Computation
出版事項: (2020)

Network Programming with Go
著者:: Newmarch, Jan
出版事項: (2020)

Functional Programming in R
著者:: Mailund, Thomas
出版事項: (2020)

Introduction to Programming with Fortran
著者:: Chivers, Ian, 等
出版事項: (2020)

Beginning Ada Programming
著者:: Shvets, Andrew T.
出版事項: (2020)

The Agent Modeling Language - AML
出版事項: (2020)