Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 5 dari pencarian Anda melalui kata kunci: subject="Microprogramming ."
cover
Quantitative Measure for Discrete Event Supervisory Control
Komentar Bagikan
Phoha, Shashi.Phoha, Vir V.Ray, Asok.

Theory of Language Measure and Supervisory Control -- Signed Real Measure of Regular Languages -- Optimal Supervisory Control of Regular Languages -- Robust Optimal Control of Regular Languages -- Advanced Topics in Supervisory Control -- Engineering and Software Applications of Language Measure and Supervisory Control -- Discrete Event Supervisory Control of a Mobile Robotic System -- Optimal …

Edisi
1st ed.
ISBN/ISSN
9780387239033
Deskripsi Fisik
XX, 264 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Design of Embedded Control Systems
Komentar Bagikan
Adamski, Marian Andrzej.Karatkevich, Andrei.Wegrzyn, Marek.

Specification of Concurrent Embedded Control Systems -- Using Sequents for Description of Concurrent Digital Systems Behavior -- Formal Logic Design of Reprogrammable Controllers -- Hierarchical Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets …

Edisi
1st ed.
ISBN/ISSN
9780387283272
Deskripsi Fisik
XI, 267 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Legal Programming
Komentar Bagikan
Bain, Malcolm.Subirana, Brian.

Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions.The most advanced and ambitious aspect of ecommerce technology is the use of intelligent agent-based computing. Software agents are basically autonomous software entities that can react and interact with their environment, with more advanced intelligent agents being also adaptive, sociable and mobile. Age…

Edisi
1st ed.
ISBN/ISSN
9780387234151
Deskripsi Fisik
XX, 314 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Constrained Control and Estimation
Komentar Bagikan
de Doná, José A.Goodwin, Graham.Seron, María M.

Foundations -- Overview of Optimisation Theory -- Fixed Horizon Optimal Control with Constraints -- Receding Horizon Optimal Control with Constraints -- Constrained Linear Quadratic Optimal Control -- Global Characterisation of Constrained Linear Quadratic Optimal Control -- Regional Characterisation of Constrained Linear Quadratic Optimal Control -- Computational Issues in Constrained Optimal …

Edisi
1st ed.
ISBN/ISSN
9781846280634
Deskripsi Fisik
XVIII, 411 p. 109 illus.online resource.
Judul Seri
-
No. Panggil
-
cover
Guide to RISC Processors
Komentar Bagikan
Dandamudi, Sivarama P.SpringerLink (Online service)

Overview -- Processor Design Issues -- RISC Principles -- Architectures -- MIPS Architecture -- SPARC Architecture -- PowerPC Architecture -- Itanium Architecture -- ARM Architecture -- MIPS Assembly Language -- SPIM Simulator and Debugger -- Assembly Language Overview -- Procedures and the Stack -- Addressing Modes -- Arithmetic Instructions -- Conditional Execution -- Logical and Shift Operat…

Edisi
1st ed. 2005.
ISBN/ISSN
9780387274461
Deskripsi Fisik
XVI, 388 p. 80 illus.online resource.
Judul Seri
-
No. Panggil
-