"Type Systems for Distributed Programs: Components and Sessions"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Type Systems for Distributed Programs: Components and Sessions	Ornela Dardha	1st ed. 2016	Atlantis Press
Components and Instruments for Distributed Control Systems	Z. Binder and R. Perret	1983	Pergamon
Models and Analysis for Distributed Systems	Serge Haddad; Fabrice Kordon; Laurent Pautet; Laure Petrucci	2011	John Wiley & Sons
Robot Components and Systems	François Lhôte; Pierre André; Jean-Pierre Taillard; Jean-Marie Kauffmann	1983	Springer Netherlands
Electronic Components and Systems	W. H. Dennis	1982	Butterworth-Heinemann
Aircraft systems and components	D. F. Garrett	1992	IAP, Inc.
Cooperative Environments for Distributed Systems Engineering: The Distributed Systems Environment Report	Khalil Drira; Thierry Villemur; Andrea Martelli	2001	Springer Berlin Heidelberg
Distributed Systems	Matthieu Perrin	2017	Elsevier
Distributed Systems	Maarten van Steen, Andrew S. Tanenbaum	2017	CreateSpace Independent Publishing Platform
Distributed Systems	Maarten van Steen, Andrew S. Tanenbaum	2017	CreateSpace IPP
Distributed systems	Eusebius	1993	ACM Press;Addison-Wesley Pub. Co.;Addison Wesley Publishing Company
Distributed Systems -An Algorithmic Approach Distributed Systems	Sukumar Ghosh	2006-11-22	Chapman and Hall/CRC
Blockchain for Distributed Systems Security	Sachin S. Shetty; Charles A. Kamhoua; Laurent L. Njilla	2019	Wiley-IEEE Press
Compressed Sensing for Distributed Systems	Giulio Coluccia; Chiara Ravazzi; Enrico Magli	2015	Springer Nature Singapore
Distributed Systems for System Architects	Paulo Veríssimo; Luís Rodrigues	2001	Springer US
Concepts for Distributed Systems Design	Professor Dr. Gregor von Bochmann (auth.)	1983	Springer-Verlag Berlin Heidelberg
Concepts for distributed systems design	Gregor von Bochmann	1983	Springer-Verlag
Concepts for Distributed Systems Design	Gregor Bochmann	1983	Springer Berlin Heidelberg
Communications architecture for distributed systems	R. J. Cypser	1978	Addison-Wesley Pub. Co.
Symmetrical Components for Power Systems Engineering	J. Lewis Blackburn	1993	Routledge
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
Type Systems for Concurrent Programs	Naoki Kobayashi	Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers	Bernhard K. Aichernig; Tom Maibaum	2003	Springer Berlin Heidelberg
Wrapper Components for Distributed Robotic Systems	Federico Guedea-Elizalde; Rubén Morales-Menéndez; Rogelio Soto; Insop Song; Fakhri Karray	MICAI 2004: Advances in Artificial Intelligence: Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings	Raúl Monroy; Gustavo Arroyo-Figueroa; Luis Enrique Sucar; Humberto Sossa	2004	Springer Berlin Heidelberg
Type Systems for Distributed Data Sharing	Ben Liblit; Alex Aiken; Katherine Yelick	Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings	Radhia Cousot	2003	Springer Berlin Heidelberg
Interaction Semantics for Components of Distributed Systems	Carolyn Talcott	Formal Methods for Open Object-based Distributed Systems: Volume 1	Elie Najm; Jean-Bernard Stefani	1st ed. 1997	Springer US
Paradigms for distributed programs		Distributed Systems: Methods and Tools for Specification. An Advanced Course	M.W. Alford; J.P. Ansart; G. Hommel; L. Lamport; B. Liskov; G.P. Mullery; F.B. Schneider; Manfred Paul; H.J. Siegert	1985	Springer Berlin Heidelberg
Quantum Mechanical Programs for Distributed Systems: Strategies and Results	H. Früchtl; P. Otto	Parallel Computer Architectures: Theory, Hardware, Software, Applications	Arndt Bode; Mario Dal Cin	1993	Springer Berlin Heidelberg
Programs: General sessions		Proceedings of the fourth annual convention of the Association of American Agricultural Colleges and Experiment Stations held at Champaign, Illinois, November 11, 12, and 13, 1890	A. W. Harris	1891	U.S. Dept. of Agriculture, Office of Experiment Stations
Components of Distributorless-Type Systems		Fundamentals of Automotive Maintenance and Light Repair	Kirk VanGelder	2019	Jones & Bartlett Learning
Distributed Components		Software architect bootcamp	Mowbray, Thomas J.; Malveau, Raphael C.; Safari Tech Books Online	2003;2004	Pearson; ProQuest Information and Learning Company
Distributed Components		Learning DCOM	Thai, Thuan	2011	O'Reilly Media, Inc
Ada reusable software components for teaching distributed systems	Yvon Kermarrec; Laurent Pautet	Software Engineering Education: 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings	Jorge L. Diaz-Herrera	1994	Springer Berlin Heidelberg
Distributed Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	1991	Springer New York
Distributed Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	2nd ed. 1997	Springer New York
Distributed Programs		Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Distributed Systems: From Models to Components	Fabrice Dubois; Marc Born; Harald Böhme; Joachim Fischer; Eckardt Holz; Olaf Kath et al.	SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings	Rick Reed; Jeanne Reed	2001	Springer Berlin Heidelberg
Systems sessions.		Symposium record: 12th International Television Symposium and Technical Exhibition, Montreux, 30 May-4 June 1981.	International Television Symposium and Technical Exhibition (12th 1981 Montreux, Switzerland)	1981	International Television Symposium
Design Programs for Compression Heat Pump Refrigeration Systems and Components	E. THORBERGSEN	Heat Pumps	Takamoto Saito	1990	Pergamon
Components and Distributed Objects		Systems architecture	Stephen D. Burd	2016	Cengage Learning
Distributed architectures and components		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
Language constructs for distributed programs		Distributed Systems: Methods and Tools for Specification. An Advanced Course	M.W. Alford; J.P. Ansart; G. Hommel; L. Lamport; B. Liskov; G.P. Mullery; F.B. Schneider; Manfred Paul; H.J. Siegert	1985	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Type Systems for Distributed Programs: Components and Sessions" - similar Books and Chapters