Cover Image

QR Code

Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cousot, Radhia. (Editor), Martel, Matthieu. (Editor)
Format:	Electronic
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:	Lecture Notes in Computer Science, 6337
Subjects:	Computer science. Software engineering. Computer programming. Programming languages (Electronic computers). Computer logic. Mathematical logic. Computer Science. Software Engineering/Programming and Operating Systems. Programming Languages, Compilers, Interpreters. Programming Techniques. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.
Online Access:	View fulltext via EzAccess

Similar Items

Game design workshop : a playcentric approach to creating innovative games /
by: Fullerton, Tracy,
Published: (2019)

Learning malware analysis : explore the concepts, tools, and techniques to analyze and investigate Windows malware /
by: Monnappa K A,
Published: (2018)

Basics of game design /
by: Moore, Michael E.
Published: (2016)

Malware analysis and detection engineering : a comprehensive approach to detect and analyze modern malware /
by: Mohanta, Abhijit,, et al.
Published: (2020)

Programming Arduino : getting started with Sketches /
by: Monk, Simon,
Published: (2016)

Computer and communication engineering : first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings /
Published: (2019)

Software Tools for the Simulation of Electrical Systems : Theory and Practice /
by: Kumar, L. Ashok,, et al.
Published: (2020)

The impact of service oriented architecture adoption on organizations /
by: Niknejad, Naghmeh,, et al.
Published: (2019)

Error analysis : perspectives on second language acquisition /
Published: (2014)

Internet infrastructure : networking, web services, and cloud computing /
by: Fox, Richard, 1964-, et al.
Published: (2018)

Building virtual reality with Unity and SteamVR, /
by: Murray, Jeff W.,
Published: (2020)

Designing Computer-Based Learning Materials /
by: Clarke, Alan,
Published: (2018)

Office 2019 all-in-one for dummies /
by: Weverka, Peter,
Published: (2019)

Systems engineering : principles and practice /
by: Kossiakoff, Alexander, 1914-2005,, et al.
Published: (2020)

Communication systems principles using MATLAB /
by: Leis, John W.,
Published: (2018)

Digital business and e-commerce management /
by: Chaffey, Dave, 1963-, et al.
Published: (2019)

Power systems analysis illustrated with MATLAB and ETAP /
by: Madhusudan, Shertukde Hemchandra,
Published: (2019)

Cybersecurity fundamentals a real-world perspective /
by: Thakur, Kutub.
Published: (2020)

Bird's engineering mathematics /
by: Bird, J. O.,
Published: (2021)

Electrical engineering : fundamentals /
by: Hacker, Viktor,, et al.
Published: (2020)

Mastering malware analysis : the complete malware analyst's guide to combating malicious software, APT, cybercrime, and loT attacks /
by: Kleymenov, Alexey,, et al.
Published: (2019)

Statistics for engineers and scientists /
by: Navidi, William Cyrus,
Published: (2020)

Hands-on network forensics : investigate network attacks and find evidence using common network forensic tools /
by: Jaswal, Nipun,
Published: (2019)

Hands-on cryptography with python : leverage the power of python to encrypt and decrypt data. /
by: Bowne, Samuel,
Published: (2018)

Power electronics : circuit analysis and design /
by: Batarseh, Issa,, et al.
Published: (2018)

E-learning and the science of instruction : proven guidelines for consumers and designers of multimedia learning /
by: Clark, Ruth Colvin,, et al.
Published: (2016)

Process control fundamentals : analysis, design, assessment, and diagnosis /
by: Rengaswamy, Raghunathan,, et al.
Published: (2020)

Food process engineering and technology /
by: Berk, Zeki,
Published: (2018)

Internet of things for architects : architecting IoT solutions by implementing sensors, communication infrastructure, edge computing, analytics, and security /
by: Lea, Perry,
Published: (2018)

High-voltage engineering : theory and practice /
by: Abdel-Salam, Mazen,
Published: (2018)

Wireless power transfer for electric vehicles and mobile devices /
by: Rim, Chun T., 1963-, et al.
Published: (2017)

Applying big data analytics in bioinformatics and medicine /
Published: (2018)

Healthcare information systems challenges of the new millennium /
by: Armoni, Adi, 1959-
Published: (2000)

Progress in Functional Manufacturing Technologies III Special topic volume with invited peer reviewed papers only.
Published: (2013)

Fundamentals of power system economics /
by: Kirschen, Daniel Sadi.
Published: (2018)

Medicinal and aromatic plants. /
Published: (2020)

Postharvest biology and nanotechnology /
by: Paliyath, Gopinadhan,, et al.
Published: (2019)

An introduction to sociolinguistics /
by: Holmes, Janet, 1947-, et al.
Published: (2017)

Thermodynamics problem solving in physical chemistry : study guide and map /
by: Murphy, Kathleen E., Ph. D.,
Published: (2020)

Medical informatics in obstetrics and gynecology
Published: (2009)