Knowledge Center of Cybersecurity and Cryptography | Politeknik Siber dan Sandi Negara

Filter by

Publication Year
Availability

On Shelf
Attachment

PDF

Audio

Video
Collection Type

Reference

Textbook

Fiction

Tugas Akhir TP

Prosiding

Jurnal

Majalah

CD

Tugas Akhir MP

Skripsi AKSARA

Diktat Kuliah

Produk Hukum

Tidak Diketahui

694/2015

2015/690

--

Tugas Akhir Kamsiber

Tugas Akhir Kriptografi

coll_type_name

E-Book
See More
General Material Designation

Text

Art Original

Chart

Computer Software

Diorama

Filmstrip

Flash Card

Game

Globe

Kit

Map

Microform

Manuscript

Model

Motion Picture

Microscope Slide

Music

Picture

Realia

Slide

Sound Recording

Technical Drawing

Transparency

Video Recording

Equipment

Computer File

Cartographic Material

CD-ROM

Multimedia

Electronic Resource

Digital Versatile Disc

Handbook

Print

Teks

gmd_name
See More
Location

Database Poltek SSN

Perpustakaan Poltek SSN

Perpustakaan STSN

Rekayasa Keamanan Siber

Rekayasa Kriptografi

Rekayasa Perangkat Keras Kriptografi
See More
Language

Arab

English

Indonesia

Found 11 from your keywords: subject="kalkulus"

Sort by

First Page Previous 1 2

Verification of computer codes in computational science and engineering

Comment Bookmark Share

Knuupp, Patrick Rosen, Kenneth H Salari, Kambiz

CONTENT: Chapter 1. Introduction to code verification Chapter 2. The mathematical model and numerical algorithm Chapter 3. The order-verification procedure (OVMSP) Chapter 4. Design of coverage test suite Chapter 5. Finding exact solutions Chapter 6. Benefits of the order-verification procedure Chapter 7. Related code-development activities Chapter 8. Sample code-verification exercises Chapter …

Edition: null
ISBN/ISSN: 9781584882640
Collation: 144 hlm.; 25 cm.
Series Title: Discrete mathematics and its applications
Call Number: 515 KNU v

Availability1

Add to basket

MARC Download Cite

First Page Previous 1 2