Joseph Sifakis – författare
Visar alla böcker från författaren Joseph Sifakis. Handla med fri frakt och snabb leverans.
8 produkter
Embedded Systems Design
The ARTIST Roadmap for Research and Development
Av Bruno Bouyssounouse, Joseph Sifakis
Häftad, 2005
1131 kr
Lägg i varukorg
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control …
Embedded Systems Design
The ARTIST Roadmap for Research and Development
Av Joseph Sifakis, Bruno Bouyssounouse
E-bok, 2005
1502 kr
Lägg i varukorg
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control …
Embedded Software
Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Av Alberto Sangiovanni-Vincentelli, Joseph Sifakis
Häftad, 2002
569 kr
Lägg i varukorg
The purpose of the EMSOFT Workshop, inaugurated last year at Lake Tahoe, is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the art and stimulating the debate between …
Embedded Software
Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Av Joseph Sifakis, Alberto Sangiovanni-Vincentelli
E-bok, 2003
755 kr
Lägg i varukorg
Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Häftad, 1990
569 kr
Lägg i varukorg
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and …
Understanding and Changing the World
From Information to Knowledge and Intelligence
Inbunden, 2022
507 kr
Lägg i varukorg
This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies …
Understanding and Changing the World
From Information to Knowledge and Intelligence
E-bok, 2022
710 kr
Lägg i varukorg
This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies …
Understanding and Changing the World
From Information to Knowledge and Intelligence
Häftad, 2023
507 kr
Lägg i varukorg
This book discusses the importance of knowledge as an intangible asset, separate from physical entities, that can enable us to understand and/or change the world. It provides a thorough treatment of knowledge, one that is free of ideological and philosophical preconceptions, and which relies …
