Hybrid systems III : :: SCD d'Orléans

Hybrid systems III : verification and control

Hybrid systems III : verification and control

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that interact with analog environments. Computer science cont...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	International Conference on Hybrid Systems :New Brunswick, N.J.
Outros autores:	Alur, Rajeev, 1966- (Directeur de la publication), Henzinger, Thomas A., 1962- (Directeur de la publication), Sontag, Eduardo Daniel, 1951- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 1066
Sujets:	Génie logiciel Informatique Algorithmes Commande numérique Microprocesseurs Calculateurs hybrides
Acceso en liña:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hybrid systems III, verification and control, Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag, eds, 1996, Berlin, Springer, 1 vol. (IX-619 p.), Lecture notes in computer science, 3-540-61155-X • Hybrid Systems III, Texte imprimé, 9783662179673

Títulos similares

Hybrid systems
por: Grossman, Robert, 1957-

Hybrid systems : computation and control : 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

Hybrid systems IV

Hybrid systems II : [Proceedings of the Second International Hybrid Systems Workshop, held in Lyngby, Denmark, October 19-21, 1992]

Hybrid systems : computation and control : first International Workshop, HSCC'98, Berkeley, California, USA, April 1998 : proceedings

Hybrid systems : computation and control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25 27, 2002 : proceedings

Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings

Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28 30, 2001 : proceedings

Hybrid systems. [Proceedings of the Fifth International Hybrid Systems Workshop, held in Notre Dame, Indiana, September 11-13, 1997]

Parallel problem solving from nature : PPSN VIII : 8th international conference, Birmingham, UK, September 18-22, 2004 : proceedings
por: Yao, Xin, 1962-

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

High performance computing - HiPC 2002 : 9th international conference, Bangalore, India, December 18 21, 2002 : proceedings

High performance computing - HiPC 2003 : 10th International Conference, Hyderabad, India, December 17-20, 2003 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Computational science and its applications - ICCSA 2003 : International conference Montreal, Canada, May 18 21, 2003 : proceedings, part III

Computational science and its applications - ICCSA 2003 : International conference Montreal, Canada, May 18 21, 2003 : proceedings, part II

High performance computing HiPC 99 : 6th international conference, Calcutta, India, December 17-20, 1999 : proceedings

High performance computing - HiPC 2000 : 7th International Conference, Bangalore, India, December 17 20, 2000 : proceedings

Computational science and its applications - ICCSA 2003 : International conference Montreal, Canada, May 18 21, 2003 : proceedings, part I

High performance computing - HiPC 2001 : 8th international conference, Hyderabad, India, December 17 20, 2001 : proceedings

Introduction à la pratique du calcul numérique
por: Brezinski, Claude, 1941-...., mathématicien
Publicado: (1988)

Parallel problem solving from nature - PPSN III : International Conference on Evolutionary Computation, the Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 14, 1994 : proceedings

Database machines : sixth International workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings

Modelling, analysis, and design of hybrid systems

Parallel processing : CONPAR 92-VAPP V, Second joint international conference on vector and parallel processing, Lyon, France, September 1-4, 1992 : proceedings

Parallel problem solving from nature - PPSN IV : International Conference on Evolutionary Computation - The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22 26, 1996 : proceedings

Efficient checking of polynomials and proofs and the hardness of approximation problems
por: Sudan, Madhu

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
por: Deprettere, Ed F., 1944-

Genetic and evolutionary computation - GECCO 2004

Genetic and Evolutionary Computation GECCO 2004 : Genetic and evolutionary computation conference, Seattle, WA, USA, June 26-30, 2004 : proceedings, Part I
por: Deb, Kalyanmoy

Parallel problem solving from nature - PPSN V : 5th international conference, Amsterdam, The Netherlands, September 27 30, 1998 : proceedings

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

High-performance computing and networking : 9th international conference, HPCN Europe, 2001, Amsterdam, The Netherlands, June 25-27, 2001 : proceedings

High-performance comupting and networking : 7th international conference, HPCN Europe, 1999, Amsterdam, The Netherlands, April 12 14, 1999 : proceedings

High-performance computing and networking : international conference and exhibition, Amsterdam, The Netherlands, April 21 23, 1998 : proceedings

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Interactive multi-objective programming as a framework for computer-aided control system design
por: Ng, Wai-Yin

Applied parallel computing : new paradigms for HPC in Industry and Academia : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings

Large-scale scientific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6 10, 2001 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales