Omslagsbillede

QR Code

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

Show other versions (1)

Saved in:

Bibliografiske detaljer
Corporate Authors:	FORTE 2001 Cheju-do, Korea, ebrary, Inc
Andre forfattere:	Kim, Myungchul
Format:	Electronisk Conference Proceeding eBog
Sprog:	engelsk
Udgivet:	New York : Kluwer Academic, c2001.
Fag:	Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
Online adgang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Udgivet: (2001)

New developments in distributed applications and interoperable systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems, September 17-19, 2001, Kraków, Poland /
Udgivet: (2001)

New developments in distributed applications and interoperable systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems, September 17-19, 2001, Kraków, Poland /
Udgivet: (2001)

Distributed algorithms on graphs proceedings of the 1st International Workshop on Distributed Algorithms, Ottawa, Canada, August 1985 /
Udgivet: (1986)

Distributed algorithms on graphs proceedings of the 1st International Workshop on Distributed Algorithms, Ottawa, Canada, August 1985 /
Udgivet: (1986)

Large scale network-centric distributed systems /
Udgivet: (2014)

Large scale network-centric distributed systems /
Udgivet: (2014)

Distributed systems : concepts and design /
af: Coulouris, George F.
Udgivet: (2005)

Distributed systems : concepts and design /
af: Coulouris, George F.
Udgivet: (1988)

Distributed systems : concepts and design /
af: Coulouris, George F.
Udgivet: (1988)

Distributed systems : concepts and design /
af: Coulouris, George F.
Udgivet: (2005)

Distributed systems : principles and paradigms /
af: Tanenbaum, Andrew S., 1944-
Udgivet: (2007)

Distributed systems : principles and paradigms /
af: Tanenbaum, Andrew S., 1944-
Udgivet: (2007)

Formalizing natural languages : the NooJ approach /
af: Silberztein, Max
Udgivet: (2016)

Formalizing natural languages : the NooJ approach /
af: Silberztein, Max
Udgivet: (2016)

Security in distributed and networking systems
Udgivet: (2007)

Security in distributed and networking systems
Udgivet: (2007)

Selected topics in communication networks and distributed systems
Udgivet: (2010)

Selected topics in communication networks and distributed systems
Udgivet: (2010)

Formal grammar theory and implementation /
Udgivet: (1992)

Formal grammar theory and implementation /
Udgivet: (1992)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Udgivet: (2010)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Udgivet: (2010)

Formalization of grammar in Slavic languages contributions of the eighth international conference on Formal Description of Slavic Languages-- FDSL VIII 2009 : University of Potsdam, December 2-5, 2009 /
Udgivet: (2011)

Formalization of grammar in Slavic languages contributions of the eighth international conference on Formal Description of Slavic Languages-- FDSL VIII 2009 : University of Potsdam, December 2-5, 2009 /
Udgivet: (2011)

Formal description of Slavic languages the ninth conference proceedings of FDSL 9, Gottingen 2011 /
Udgivet: (2013)

Formal description of Slavic languages the ninth conference proceedings of FDSL 9, Gottingen 2011 /
Udgivet: (2013)

Mobile agents in networking and distributed computing
Udgivet: (2012)

Mobile agents in networking and distributed computing
Udgivet: (2012)

Performance-oriented application development for distributed architectures perspectives for commercial and scientific environments /
Udgivet: (2002)

Performance-oriented application development for distributed architectures perspectives for commercial and scientific environments /
Udgivet: (2002)

Formal method industrial use from model to the code /
Udgivet: (2012)

Formal method industrial use from model to the code /
Udgivet: (2012)

Building dependable distributed systems /
af: Zhao, Wenbing, Ph.D
Udgivet: (2014)

Building dependable distributed systems /
af: Zhao, Wenbing, Ph.D
Udgivet: (2014)

Testamentary formalities /
Udgivet: (2011)

Testamentary formalities /
Udgivet: (2011)

Distributed systems architecture a middleware approach /
af: Puder, Arno
Udgivet: (2006)

Distributed systems security issues, processes, and solutions /
Udgivet: (2009)

Distributed systems architecture a middleware approach /
af: Puder, Arno
Udgivet: (2006)