Тема, жанр, tags: Software,Verification,Number Theory,Logic,System Validation,Systems Modelling,Specification » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software,Verification,Number Theory,Logic,System Validation,Systems Modelling,Specification

book Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book ISO/IEC 14496-10:2022 - Information technology - Coding of audio-visual objects - Part 10: Advanced video coding

ISO/IEC 14496-10:2022 - Information technology - Coding of audio-visual objects - Part 10: Advanced video coding

pdf

Author: ISO/IEC JTC 1/SC 29 Coding of audio picture multimedia and hypermedia information
Language: English
Year: 2022

00

15.02.2024

0

0

book Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

pdf

Author: Gerard O’Regan
Language: English
Year: 2012

00

15.02.2024

0

0

book MT6735M LTE Smartphone Application Processor Functional Specification

MT6735M LTE Smartphone Application Processor Functional Specification

pdf

Author: Yi-Chih Huang Frank Wang CS Chao
Language: English
Year: 2019

00

12.02.2024

0

0

book MT6735 LTE Smartphone Application Processor Functional Specification

MT6735 LTE Smartphone Application Processor Functional Specification

pdf

Author: MingTe Lin CS Chao Frank Wang
Language: English
Year: 2015

00

12.02.2024

0

0

book 掌握需求过程

掌握需求过程

mobi

Author: Suzanne Robertson, James Robertson
Language: Chinese
Year: 2014

00

06.02.2024

0

0

book High-Definition Multimedia Interface Specification Version 1.4

High-Definition Multimedia Interface Specification Version 1.4

pdf

Author: Hitachi Ltd. Panasonic Corporation Philips Consumer Electronics International B.V. Silicon Image Inc. Sony Corporation Thomson Inc. Toshiba Corporation
Language: English
Year: 2009

00

30.01.2024

0

0

book RISC-V External Debug Support

RISC-V External Debug Support

pdf

Author: Tim Newsome
Language: English
Year: 2017

00

29.01.2024

0

0

book The RISC-V Instruction Set Manual: Volume I: User-Level ISA

The RISC-V Instruction Set Manual: Volume I: User-Level ISA

pdf

Author: Andrew Waterman Krste Asanović
Language: English
Year: 2017

00

29.01.2024

0

0

book The RISC-V Instruction Set Manual: Volume II: Privileged Architecture

The RISC-V Instruction Set Manual: Volume II: Privileged Architecture

pdf

Author: Andrew Waterman Krste Asanović
Language: English
Year: 2017

00

29.01.2024

0

0