Politeknik Siber dan Sandi Negara

Knowledge Center of Cybersecurity and Cryptography

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
Found 3 from your keywords: author=Knuupp, Patrick
cover
Design for electrical and computer engineers
Comment Share
Coulston, Chris S.Ford,Ralph M.Knuupp, Patrick

Anak Judul theory, concepts, and practice. CONTENTS: Preface About the Authors Chapter 1 The Engineering Design Process Chapter 2 Project Selection and Needs Identification Chapter 3 The Requirements Specification Chapter 4 Concept Generation and Evaluation Chapter 5 System Design I: Functional Decomposition Chapter 6 System Design II: Behavior Models Chapter 7 Testing Chapter 8 System Reliabi…

Edition
International edition
ISBN/ISSN
9780071263474
Collation
xv, 320 hlm.; ilus.; 23 cm.
Series Title
null
Call Number
621.3 FOR d
Availability1
Add to basket
MARC DownloadCite
cover
Verification of computer codes in computational science and engineering
Comment Share
Fitzgerald, A.EKnuupp, PatrickRosen, Kenneth HSalari, 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 DownloadCite
cover
Verification of computer codes in computational science and engineering
Comment Share
Knuupp, PatrickRosen, Kenneth HSalari, 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 DownloadCite
Politeknik Siber dan Sandi Negara
  • Information
  • Services
  • Librarian
  • Member Area

About Us

Perpustakaan Politeknik Siber dan Sandi Negara menyediakan berbagai macam koleksi seperti Buku, Jurnal, Majalah, Koran, Referensi dan Konten Lokal.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2025 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?