Static Analysis

Static Analysis

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPL...

Saved in:

書目詳細資料
其他作者:	Alpuente, María
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Computer Science 005
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/31290
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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)

Focused Access to XML Documents
出版: (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)

One Jump Ahead
出版: (2017)

Automata, Languages and Programming
出版: (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)

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)

Embedded Computer Systems: Architectures, Modeling, and Simulation
出版: (2017)

Journal on Data Semantics X
由: Stefano Spaccapietra.
出版: (2017)

The STEREO mission
由: Russell, C.T.
出版: (2017)

Advances in Information and Computer Security
出版: (2017)

Stochastic Learning and Optimization
由: Cao, Xi-Ren
出版: (2017)

Toward Agroforestry Design
出版: (2017)

Intelligent Data Engineering and Automated Learning - IDEAL 2008
出版: (2017)

Guide to Advanced Empirical Software Engineering
由: Forrest Shull, Janice Singer, Dag I. K. Sjøberg
出版: (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)

Web Reasoning and Rule Systems
由: 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, Diego Calvanese, Georg Lausen.
出版: (2017)

Web Information Systems Engineering - WISE 2008 Workshops
由: 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, Sven Hartmann, Xiaofang Zhou, Markus Kirchberg.
出版: (2017)

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