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 2 dari pencarian Anda melalui kata kunci: author="Rossi, Francesca."
cover
Recent Advances in Constraints
Komentar Bagikan
Fages, Francois.Faltings, Boi.Petcu, Adrian.Rossi, Francesca.

Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…

Edisi
1st ed.
ISBN/ISSN
9783540322528
Deskripsi Fisik
X, 217 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Hybrid Systems: Computation and Control
Komentar Bagikan
Morari, Manfred.Rossi, Francesca.SpringerLink (Online service)Thiele, Lothar.

Invited Papers -- Coordinated Control for Highly Reconfigurable Systems -- Operational Semantics of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete Time Behavior of Lazy Linear Hybrid Automata -- Perturbed Timed Automata -- A Homology Theory for Hybrid Systems: Hybrid Homology -- Observability of Switched Linear Systems in Continuous Tim…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540319542
Deskripsi Fisik
XII, 684 p.online resource.
Judul Seri
-
No. Panggil
-