HYTECH

Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02

Année de parution (10)
Effacer ce filtre
État de parution (1)
Effacer ce filtre
Plus de filtres
Langue (1)
Effacer ce filtre
Plus de filtres
Thème (4)
Effacer ce filtre
Plus de filtres

Support (2)
Effacer ce filtre
Plus de filtres
Auteur
Effacer ce filtre
Trier par...
Pertinence
Date de parution
Auteur
Titre
Prix

Recherche sur HYTECH :

Nous trouvons 12 ouvrages correspondant à HYTECH

en 0.021822093 s.
 1 
Résultats par page : 
 
  1. Couverture de l'ouvrage Hydrodynamic and Mass Transport at Freshwater Aquatic Interfaces
    Langue : Anglais
    03-2018Imprimé à la demande342 p.15.5x23.5 cm
    This book presents selected contributions of the 34th International School of Hydraulics that was held in May 2015 in Zelechów, Poland. It gives an overview about the state of the art in...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 137,14 € Ajouter au panier
  2. Couverture de l'ouvrage Hydrodynamic and Mass Transport at Freshwater Aquatic Interfaces
    Langue : Anglais
    02-2016Imprimé à la demande342 p.15.5x23.5 cm
    This book presents selected contributions of the 34th International School of Hydraulics that was held in May 2015 in Zelechów, Poland. It gives an overview about the state of the art in...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Relié Prix indicatif 137,14 € Ajouter au panier
  3. Couverture de l'ouvrage Systems and software verification model-checking techniques and tools POD
    Auteurs : Berard B. , Bidoit M. , Finkel A. , Laroussinie F. , Petit A. , Petrucci L. , Schnoebelen P.
    Langue : Anglais
    12-2010190 p.15.5x23.5 cm
    Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché 94,94 € Ajouter au panier
  4. Couverture de l'ouvrage Systems and software verification model-checking techniques and tools POD
    Auteurs : Berard B. , Bidoit M. , Finkel A. , Laroussinie F. , Petit A. , Petrucci L. , Schnoebelen P.
    Langue : Anglais
    06-2001Imprimé à la demande190 p.15.5x23.5 cm
    Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a...
    Sous réserve de disponibilité chez l'éditeur.
    Relié 119,99 € Ajouter au panier
  5. Couverture de l'ouvrage Tools & algorithms for the construction and analysis of systems (TACAS'95, Aarhus, 19-20/5/95) LNCS/1019
    Langue : Anglais
    11-1995298 p.15.5x23.5 cm
    This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems...
    Sous réserve de disponibilité chez l'éditeur.
    Broché Prix indicatif 69,99 € Ajouter au panier
  6. Couverture de l'ouvrage Formal methods for industrial applications : specifying & programming the steam boiler control (book/CD) LNCS/1165
    Langue : Anglais
    10-1996520 p.15.5x23.5 cm
    In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic...
    Sous réserve de disponibilité chez l'éditeur.
    Broché Prix indicatif 104,99 € Ajouter au panier
  7. Couverture de l'ouvrage Hybrid systems II (LNCS/999)
    Langue : Anglais
    10-1995578 p.15.5x23.3 cm
    This collection of proceedings documents aspects of hybrid systems. These are models for networks of digital and continuous devices, in which digital control programmes sense and supervize...
    Sous réserve de disponibilité chez l'éditeur.
    Prix indicatif 99,99 € Ajouter au panier
  8. Couverture de l'ouvrage Next generation information system technology, 1st int. east/west database workshop, Kiev, 10/9-12/90 proceedings (LN in comp. sc.,vol.504), softcover
    Langue : Anglais
    06-1991460 p.15.5x23.5 cm
    Currently, the field of information systems technology is rapidly extending into several dimensions. There is the semantic dimension (including object orientation, data deduction and extended...
    Sous réserve de disponibilité chez l'éditeur.
    Broché Prix indicatif 89,99 € Ajouter au panier
  9. Couverture de l'ouvrage Hybrid systems : computation and control 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 2000, Proceedings
    Langue : Anglais
    03-2000478 p.15.5x23.3 cm
    This title constitutes 32 revised papers presented together with abstracts of four invited talks on computation and control. The focus of the works presented is on modelling, control, synthesis...
    Sous réserve de disponibilité chez l'éditeur.
    Broché Prix indicatif 94,99 € Ajouter au panier
  10. Couverture de l'ouvrage Hybrid and real time systems (proc. of the intl workshop, HART, Grenoble, March 26/28 1997) (LNCS 1201) paper
    Langue : Anglais
    03-1997426 p.15.5x23.5 cm
    This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised full...
    Sous réserve de disponibilité chez l'éditeur.
    Broché Prix indicatif 86,98 € Ajouter au panier
  11. Couverture de l'ouvrage Hybrid systems: computation and control
    Langue : Anglais
    03-2005684 p.15.5x23.5 cm
    This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Couverture souple Prix indicatif 137,14 € Ajouter au panier
  12. Couverture de l'ouvrage Computer aided verification: proc. of the 9th intl conf. CAV, Haifa, June 22/25 1997 (LN in computer science, 1254
    Langue : Anglais
    06-1997498 p.15.5x23.5 cm
    Constituting the proceedings of the 9th International Conference on Computer Aided Verification held in 1997, this volume is dedicated to the theory and practice of computer aided formal methods...
    Sous réserve de disponibilité chez l'éditeur.
    Broché Prix indicatif 89,99 € Ajouter au panier
En continuant à naviguer, vous autorisez Lavoisier à déposer des cookies à des fins de mesure d'audience. Pour en savoir plus et paramétrer les cookies, rendez-vous sur la page Confidentialité & Sécurité.
FERMER