"Synchronous Programming of Reactive Systems"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Synchronous Programming of Reactive Systems	Nicolas Halbwachs	1993	Springer US
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification	Abdoulaye Gamatié	2010	Springer New York
Dataflow and Reactive Programming Systems	Matt Carkci
Reactive Java Programming	Andrea Maglie	1st ed.	Apress
Reactive Java Programming	Andrea Maglie	2016	Apress
Reactive Extrusion Systems	Leon P.B.M. Janssen	2004	Routledge
Programming Reactive Extensions and LINQ	Jesse Liberty; Paul Betts	1st ed.	Apress
Reactive Programming with Node. js	Fernando Doglio	1st ed.	Apress
RxSwift: Reactive Programming with Swift	raywenderlich Tutorial Team, Florent Pillet, Junior Bontognali, Marin Todorov, Scott Gardner	2019	Razeware LLC
Functional reactive programming on the iOS	Ash Furrow	2013	Lean Publishing
Hands-On Reactive Programming in Spring 5: Build cloud-ready, reactive systems with Spring 5 and Project Reactor	Dokuka, Oleh, Lozynskyi, Igor	2018	Packt Publishing
Temporal Verification of Reactive Systems: Safety	Zohar Manna; Amir Pnueli	1995	Springer New York
Computer-Aided Modeling of Reactive Systems	Warren E. Stewart	2008	John Wiley & Sons
Dynamics and Modelling of Reactive Systems	Warren E. Stewart; W. Harmon Ray and Charles C. Conley	1980	Academic Press
Gasdynamics of Explosions and Reactive Systems	A. K. Oppenheim	1980	Pergamon
Reactive Flow Modeling of Hydrothermal Systems	Michael Kühn	2004	Springer Berlin Heidelberg
Design Methods for Reactive Systems	R.J. Wieringa	2003	Morgan Kaufmann
Reactive Programming with Angular and ngrx: Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions	Oren Farhi	1st ed.	Apress
Synchronous Equivalence: Formal Methods for Embedded Systems	Harry Hsieh; Felice Balarin; Alberto L. Sangiovanni-Vincentelli	2001	Springer US
Linear Synchronous Motors Transportation And Automation Systems	Jacek F. Gieras, Zbigniew J. Piech, Bronislaw Tomczuk	1999	CRC Press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Synchronous programming of reactive systems	Nicolas Halbwachs	Computer Aided Verification: 10th International Conference, CAV' 98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings	Alan J. Hu; Moshe Y. Vardi	1998	Springer Berlin Heidelberg
Reactive systems and reactive programming		Hands-On Cloud-Native Microservices with Jakarta EE - Build scalable and reactive microservices with Docker, Kubernetes, and OpenShift.	Luigi Fugaro, Mauro Vocale	2020	Packt
Reactive systems vs reactive programming		Modern Java in Action. Lambda, Streams, Functional and Reactive Programming	Raoul-Gabriel Urma, Mario Fusco, Alan Mycroft	2019	Manning
ARx: Reactive Programming for Synchronous Connectors	José Proença; Guillermina Cledou	Coordination Models and Languages: 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings	Simon Bliudze; Laura Bocchi	1st ed. 2020	Springer International Publishing
156 Reactive systems vs reactive programming		Modern Java in Action: Lambdas, streams, functional and reactive programming	Raoul-Gabriel Urma, Mario Fusco, Alan Mycroft	2018	Manning Publications
156 Reactive systems vs reactive programming		Modern Java in Action: Lambda, streams, functional and reactive programming	Raoul-Gabriel Urma; Mario Fusco; Alan Mycroft	2018	Manning
Programming distributed reactive systems: A strong and weak synchronous coupling	Frédéric Boniol; Martin Adelantado	Distributed Algorithms: 7th International Workshop, WDAG ` 93, Lausanne, Switzerland, September 27-29, 1993. Proceedings	Andre Schiper	1993	Springer Berlin Heidelberg
4 Programming Characteristics of Reactive Systems		Real Time Programming: Languages, Specification & Verification	R. K. Shyamasundar, S. Ramesh	2002	World Scientific Publishing Company
Synchronous Programming*		Handbook of Real-Time and Embedded Systems	Insup Lee; Joseph Y-T. Leung; Sang H. Son	2007	Routledge
Synchronous Programming		Understanding Quarkus	Antonio Goncalves	2020	agoncal fascicle
Synchronous-Reactive Models		Introduction to Embedded Systems: A Cyber-Physical Systems Approach	Edward Ashford Lee, Sanjit Arunkumarr Seshia	2011	Lulu.com
Programming Reactive Systems in Haskell	Sigbjørn Finne; Simon Peyton Jones	Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994	Kevin Hammond; David N. Turner; Patrick M. Sansom	1995	Springer London
Programming Reactive Systems in Haskell	S. O. Finne and S. L. Peyton Jones	Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /	Hammond, Kevin.; Turner, David N.; Sansom, Patrick.	1995.	Springer-Verlag,
Synchronous Observers and the Verification of Reactive Systems	Nicolas Halbwachs; Fabienne Lagnier; Pascal Raymond	Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993	Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo	1994	Springer London
Reactive Programming		Mastering Shiny	Hadley Wickham	2021
Reactive Programming		Mastering Shiny: Build Interactive Apps, Reports, and Dashboards Powered by R	Hadley Wickham	2021	O'Reilly Media, Inc, USA
Reactive Programming		Reactive Systems in Java: Resilient, Event-Driven Architecture with Quarkus	Clement Escoffier, Ken Finnigan	2021	O'Reilly Media
Reactive programming		Hands-On Functional Programming with TypeScript: Explore functional and reactive programming to create robust and testable TypeScript applicatons	Remo H. Jansen	2019	Packt Publishing Ltd.
Reactive programming		Python High Performance - Second Edition	Lanaro, Gabriele	2017	Packt Publishing
Reactive programming		Advanced Python Programming: Accelerate your Python programs using proven techniques and design patterns, 2nd Edition	Quan Nguyen	2022	Packt
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Synchronous Programming of Reactive Systems" - similar Books and Chapters