Cargando…

Provably correct systems

Detalles Bibliográficos
Autores principales:	Hinchey, Mike, Bowen, Jonathan P, Olderog, Ernst-R&#xfcdiger
Lenguaje:	eng
Publicado:	Springer 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2298108

Ejemplares similares

Software technology: 10 years of innovation in IEEE computer
por: Hinchey, Mike
Publicado: (2018)

Provability, complexity, grammars
por: Beklemishev, Lev, et al.
Publicado: (1999)

Circumstances in Which Parsimony but not Compatibility will be Provably Misleading
por: Scotland, Robert W., et al.
Publicado: (2015)

Towards verified systems
por: Bowen, J
Publicado: (2013)

Implementation of robot systems : an introduction to robotics, automation, and successful systems integration in manufacturing
por: Wilson, Mike
Publicado: (2015)

Provable Convex Co-clustering of Tensors
por: Chi, Eric C., et al.
Publicado: (2020)

Getting started with Talend Open Studio for Data Integration
por: Bowen, Jonathan
Publicado: (2012)

Embedded systems security: practical methods for safe and secure software and systems development
por: Kleidermacher, David, et al.
Publicado: (2012)

Windows file system troubleshooting
por: Halsey, Mike, et al.
Publicado: (2015)

World Transputer Congress : applications and systems
por: Grebe, R, et al.
Publicado: (1993)

System performance tuning
por: Loukides, Mike, et al.
Publicado: (1990)

Finding Provably Optimal Markov Chains
por: Spel, Jip, et al.
Publicado: (2021)

CISSP - Certified Information Systems Security: Certified Information Systems Security Professional Study Guide
por: Stewart, James Michael, et al.
Publicado: (2008)

The upgrader's guide to Microsoft Office System 2003
por: Gunderloy, Mike, et al.
Publicado: (2004)

Designing even-driven systems: concepts and patterns for streaming services with Apache Kafka
por: Roberts, Mike
Publicado: (2018)

Windows 10 primer: what to expect from Microsoft's new operating system
por: Halsey, Mike
Publicado: (2015)

AWS system administration: best practices for Sysadmins in the Amazon Cloud
por: Ryan, Mike, et al.
Publicado: (2018)

(ISC)2 SSCP systems security certified practitioner official practice tests
por: Chapple, Mike, et al.
Publicado: (2018)

(ISC)2 SSCP systems security certified practitioner official study guide
por: Wills, Mike, et al.
Publicado: (2019)

CISSP: Certified Information Systems Security Professional : study guide
por: Stewart, James Michael, et al.
Publicado: (2011)

CISSP: Certified Information Systems Security Professional study guide
por: Chapple, Mike, et al.
Publicado: (2018)

Mike Meyers' CompTIA Network+ certification passport: (exam N10-007)
por: Meyers, Mike, et al.
Publicado: (2018)

Mike Meyers' CompTIA network+ guide to managing and troubleshooting networks lab manual: (exam N10-007)
por: Meyers, Mike, et al.
Publicado: (2018)

Raspberry Pi projects for dummies
por: Cook, Mike, et al.
Publicado: (2015)

Correction for Boullé et al., Elliptic PDE learning is provably data-efficient
Publicado: (2023)

Provable randomized rounding for minimum-similarity diversification
por: Ordozgoiti, Bruno, et al.
Publicado: (2022)

Elliptic PDE learning is provably data-efficient
por: Boullé, Nicolas, et al.
Publicado: (2023)

A theory of program correctness, and algorithms for proofs
por: Gabriel, J R, et al.
Publicado: (1987)

WAN Emulation Development and Testing at Fermilab
por: Bobyshev, A, et al.
Publicado: (2005)

Error-correcting codes
por: Peterson, W Wesley, et al.
Publicado: (1972)

New corrections to QUFSIM
por: Kado, M
Publicado: (1998)

An efficient and provably secure key agreement scheme for satellite communication systems
por: Zhang, Yuanyuan, et al.
Publicado: (2021)

An algebraic theory of program specification and correctness using symmetry operations
por: Gabriel, J R
Publicado: (1987)

Software fault detection and correction
por: Peng, Rui, et al.
Publicado: (2018)

The definitive guide to Apache mod_rewrite
por: Bowen, Rich
Publicado: (2006)

What's New in Apache Web Server 22?
por: Bowen, Rich
Publicado: (2007)

Swimming: A data driven acceptance correction algorithm
por: Giordano, D, et al.
Publicado: (2012)

3rd International Workshop on Persistent-object Systems
por: Koch, David G, et al.
Publicado: (1990)

The art and technique of digital color correction
por: Hullfish, Steve
Publicado: (2013)

The art and technique of digital color correction
por: Hullfish, Steve
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_kigiog2poddtosnl10th144up1