Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Saved in:

書目詳細資料
格式:	圖書
出版:	Springer 2017
主題:	Computer Science 005.115
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/29531
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Logic-Based Program Synthesis and Transformation
出版: (2017)

Functional and Logic Programming
出版: (2017)

Logical Foundations of Computer Science
出版: (2017)

Logics of Specification Languages
出版: (2017)

Automata, Languages and Programming
出版: (2017)

Logic functions and equations : examples and exercises
由: Steinbach, Bernd ; Posthoff, Christian
出版: (2017)

Principles and Practice of Constraint Programming
出版: (2017)

Component-Based Software Engineering
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner.
出版: (2017)

Automatic Program Development
出版: (2017)

Interactive Media: The Semiotics of Embodied Interaction
由: O’Neill, Shaleph
出版: (2017)

Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks
由: Jose A. Onieva, Damien Sauveron, et al.
出版: (2017)

The Semantic Web
由: Karl Aberer, Key-Sun Choi et al.
出版: (2017)

Web Component Development with Zope 3
由: Philipp Weitershausen.
出版: (2017)

Concurrency, Graphs and Models
由: Pierpaolo Degano, Rocco Nicola, José Meseguer.
出版: (2017)

Static Analysis
出版: (2017)

Focused Access to XML Documents
出版: (2017)

One Jump Ahead
出版: (2017)

Theory of Cryptography
出版: (2017)

Requirements Management
由: Colin Hood, Simon Wiedemann, Stefan Fichtinger, Urte Pautz.
出版: (2017)

Reliable Software Technologies - Ada-Europe 2008
由: Fabrice Kordon, Tullio Vardanega
出版: (2017)

Critical Infrastructure Protection II
由: Mauricio Papa, Sujeet Shenoi.
出版: (2017)

Digital Watermarking
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yun Q. Shi, Hyoung-Joong Kim, Stefan Katzenbeisser
出版: (2017)

Verified Software: Theories, Tools, Experiments
出版: (2017)

ECOOP 2008 - Object-Oriented Programming
出版: (2017)

OpenMP Shared Memory Parallel Programming
由: Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss.
出版: (2017)

Languages and Compilers for Parallel Computing
出版: (2017)

Software Process and Product Measurement
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
出版: (2017)

Microsoft Dynamics NAV
由: Diffenderfer, Paul M., et al.
出版: (2017)

Scientific and Statistical Database Management
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Bertram Ludäscher, Nikos Mamoulis.
出版: (2017)

Secure Key Establishment
出版: (2017)

Algebraic Methodology and Software Technology
出版: (2017)

Software Evolution
出版: (2017)

High Confidence Software Reuse in Large Systems
出版: (2017)

Recent Advances in Constraints
出版: (2017)

Applied Cryptography and Network Security
出版: (2017)

Security with Noisy Data
由: Pim Tuyls, Boris Skoric, Tom Kevenaar.
出版: (2017)

Cryptology and Network Security
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Matthew K. Franklin, Lucas Chi Kwong Hui, Duncan S. Wong.
出版: (2017)

Architecting Dependable Systems V
出版: (2017)

Smart Cards, Tokens, Security and Applications
出版: (2017)