Cover Image

QR Code

Logics in computer science a study on extensions of temporal and strategic logics /

Bibliographic Details
Main Author:	Mogavero, Fabio.
Corporate Author:	ebrary, Inc.
Format:	Electronic
Language:	English
Published:	Paris : Atlantis Press, c2013.
Series:	Atlantis studies in computing ; vol. 3
Subjects:	Computer science. Computer software. Logic design. Electronic books.
Online Access:	View fulltext via EzAccess

Similar Items

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

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

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

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

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

Designing Computer-Based Learning Materials /
by: Clarke, Alan,
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)

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

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

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

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

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

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

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)

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

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)

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

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

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

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)

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

Medicinal and aromatic plants. /
Published: (2020)

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

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /
by: Mogavero, Fabio.
Published: (2013)

Medical informatics in obstetrics and gynecology
Published: (2009)

Insects and society /
by: Schowalter, Timothy Duane, 1952-
Published: (2019)

The Routledge Handbook of Social Work Ethics and Values /
Published: (2019)

Web mobile-based applications for healthcare management
Published: (2007)

Gaze interaction and applications of eye tracking advances in assistive technologies /
Published: (2011)

The pharmacy informatics primer /
Published: (2008)

Biomechanical Evaluation of Movement in Sport and Exercise : The British Association of Sport and Exercise Sciences Guide /
Published: (2018)

Cases on healthcare information technology for patient care management
Published: (2013)

E-health systems diffusion and use the innovation, the user and the Use IT model /
by: Spil, Ton A. M.
Published: (2006)

E-justice using information communication technologies in the court system /
Published: (2009)

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /
Published: (2009)

Verification of Sequential and Concurrent Programs
by: Apt, Krzysztof R., et al.
Published: (2009)

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Published: (2009)