Filters
- Springer
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- Amazon
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- Bremen University Press
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- Butterworth-Heinemann
- Byul Hur
- C&T Publishing
- CABI
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- CRC Press
- Springer
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apple Acad
- Apple Academic Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aspen Publishers
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- Bremen University Press
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- But-Hein
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- Abhinab Dutta
- Abhinandan H. Patil
- Adane Tarekegn
- Adrien Bartoli
- Ahmed Seffah
- Alaeddine Hmidi
- Alberto del Bimbo
- Alfonso J. Kinglow
- Álvaro Rocha
- Anara Baimagambetova
- Andrea Fusiello
- Andrea Vedaldi
- Andreas Holzinger
- Andreas Sofroniou
- Andrew Fitzgibbon
- Angel Arias
- Anonymous
- Arie Gurfinkel
- Armin Biere
- Ascent -. Center for Technical Knowledge
- Asha Sohal
- Axton Nexus
- Azizah Abd Manaf
- Balakrishnan Subramanian
- Brian Houghton Hodgson
- Cadcim Technologies
- Cesar Herrera
- Chi
- Christoph Überhuber
- D. James Benton
- Dan Gookin
- David A. Patterson
- David Bateman
- David Beskeen
- David Fleet
- David MacBride
- David Pogue
- Dines Bjørner
- Divya Sharma
- Dmitry Vostokov
- E. Udayakumar
- Ekkehard Kaier
- Elian Greystone
- Elmozamil Elamir
- F. L. Bauer
- Felicia Toliver
- Freeda P. P.
- Georg Erwin Thaller
- Gerard O'Regan
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hartmut Ehrig
- Hasso Plattner
- Jadeja Indrajitsinh
- Jean-Pierre Couwenbergh
- Joaquim Filipe
- John Vince
- José Cordeiro
- Jyoti Choudrie
- Kalaimani S
- Kesav V. Nori
- Khaled Elleithy
- Laura Leal-Taixé
- Leonid Karlinsky
- Luca Maria Aiello
- Manfred Broy
- Marco Bernardo
- Maria Virvou
- Martin Wirsing
- Michael J. Rider
- Michael M. Resch
- Miguel Botto-Tobar
- Mohammad Kaleem Galamali
- Muhammad Ashraf Mokhrizal
- Murat Yilmaz
- Nadia Bouaoudia-Madi
- Nasa Technical Reports Server (Ntrs)
- Osvaldo Gervasi
- Oxford University Press
- Paolo Ciancarini
- Patricia Pesado
- Paul Tran
- Prasad Puthiyillam
- Puja Acharya
- Radek Silhavy
- Randy H. Shih
- Rituparna Chaki
- Roger Lee
- Roman Wyrzykowski
- S. L. Jany Shabu
- S. Sumathi
- Saeed Nouri
- Saumya Shukla
- Shadi Zeinali
- Suresh Chandra Satapathy
- Tarek Sobh
- Thompson Carter
- Tiziana Margaria
- Victor Malyshkin
- Weixia Xu
Products
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, Tacas 2005, Held as Part of the Joint European Confe
Nicolas Halbwachs
Paperback
Current price
₹7,345
Original price
₹11,299
Original price
₹11,299
Original price
₹11,299
(-35%)
₹7,345
Current price
₹7,345
| /
• Author(s): Nicolas Halbwachs • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conferen...
View full detailsSynchronous Programming of Reactive Systems
Nicolas Halbwachs
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Nicolas Halbwachs • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book will attempt to give a first synthesis of recent works con- cerning reactive...
View full details