Programming Languages and Systems

क्यूआर कोड

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)