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 /
Saved in:
Corporate Authors: | FORTE 2001 Cheju-do, Korea, ebrary, Inc |
---|---|
Other Authors: | Kim, Myungchul |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
New York :
Kluwer Academic,
c2001.
|
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
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 /
Published: (2001)
Published: (2001)
Distributed algorithms on graphs proceedings of the 1st International Workshop on Distributed Algorithms, Ottawa, Canada, August 1985 /
Published: (1986)
Published: (1986)
Large scale network-centric distributed systems /
Published: (2014)
Published: (2014)
Formalizing natural languages : the NooJ approach /
by: Silberztein, Max
Published: (2016)
by: Silberztein, Max
Published: (2016)
Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1988)
by: Coulouris, George F.
Published: (1988)
Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (2005)
by: Coulouris, George F.
Published: (2005)
Distributed systems : principles and paradigms /
by: Tanenbaum, Andrew S., 1944-
Published: (2007)
by: Tanenbaum, Andrew S., 1944-
Published: (2007)
Security in distributed and networking systems
Published: (2007)
Published: (2007)
Selected topics in communication networks and distributed systems
Published: (2010)
Published: (2010)
Formal grammar theory and implementation /
Published: (1992)
Published: (1992)
Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Published: (2010)
Published: (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 /
Published: (2011)
Published: (2011)
Formal method industrial use from model to the code /
Published: (2012)
Published: (2012)
Formal description of Slavic languages the ninth conference proceedings of FDSL 9, Gottingen 2011 /
Published: (2013)
Published: (2013)
Mobile agents in networking and distributed computing
Published: (2012)
Published: (2012)
Testamentary formalities /
Published: (2011)
Published: (2011)
Performance-oriented application development for distributed architectures perspectives for commercial and scientific environments /
Published: (2002)
Published: (2002)
Building dependable distributed systems /
by: Zhao, Wenbing, Ph.D
Published: (2014)
by: Zhao, Wenbing, Ph.D
Published: (2014)
Quantitative assessments of distributed systems : methodologies and techniques /
Published: (2015)
Published: (2015)
Distributed systems architecture a middleware approach /
by: Puder, Arno
Published: (2006)
by: Puder, Arno
Published: (2006)
Distributed systems security issues, processes, and solutions /
Published: (2009)
Published: (2009)
Tools and environments for parallel and distributed computing
by: Hariri, Salim
Published: (2004)
by: Hariri, Salim
Published: (2004)
Analytical modelling in parallel and distributed computing /
by: Hanuliak, Peter, et al.
Published: (2014)
by: Hanuliak, Peter, et al.
Published: (2014)
Modeling and optimization of parallel and distributed embedded systems /
by: Munir, Arslan, et al.
Published: (2016)
by: Munir, Arslan, et al.
Published: (2016)
Network-based distributed planning using coevolutionary algorithms
by: Subbu, Raj
Published: (2004)
by: Subbu, Raj
Published: (2004)
Russian formalism history-doctrine /
by: Erlich, Victor, 1914-2007
Published: (1980)
by: Erlich, Victor, 1914-2007
Published: (1980)
Concurrent and distributed computing in Java
by: Garg, Vijay K. (Vijay Kumar), 1963-
Published: (2004)
by: Garg, Vijay K. (Vijay Kumar), 1963-
Published: (2004)
Non-formal education strategies and management /
by: Napitupulu, W. P.
Published: (1978)
by: Napitupulu, W. P.
Published: (1978)
Energy-efficient distributed computing systems
Published: (2012)
Published: (2012)
Semigroups and formal languages proceedings of the International Conference, in honor of the 65th birthday of Donald B. McAlister, Centro de Álgebra da Universidade de Lisboa (CAUL), Portugal 12-15 July 2005, organised with special support from Centro Internacional de Matemática (CIM) /
Published: (2007)
Published: (2007)
Programming distributed computing systems a foundational approach /
by: Varela, Carlos A.
Published: (2013)
by: Varela, Carlos A.
Published: (2013)
Formal grammars in linguistics and psycholinguistics
by: Levelt, W. J. M. (Willem J. M.), 1938-
Published: (1974)
by: Levelt, W. J. M. (Willem J. M.), 1938-
Published: (1974)
Formal grammars in linguistics and psycholinguistics
by: Levelt, W. J. M. (Willem J. M.), 1938-
Published: (1974)
by: Levelt, W. J. M. (Willem J. M.), 1938-
Published: (1974)
Formal languages, automata and numeration systems 2 /
by: Rigo, Michel
Published: (2014)
by: Rigo, Michel
Published: (2014)
Advanced computational infrastructures for parallel and distributed adaptive applications
Published: (2010)
Published: (2010)
Cooperative internet computing proceedings of the 4th International Conference (CIC 2006), Hong Kong, China, 25-27 October 2006 /
Published: (2008)
Published: (2008)
Two-step approaches to natural language formalisms
by: Morawietz, Frank, 1968-
Published: (2003)
by: Morawietz, Frank, 1968-
Published: (2003)
Developing distributed and E-commerce applications /
by: Ince, Darrel
Published: (2004)
by: Ince, Darrel
Published: (2004)
Computers in language research
Published: (1983)
Published: (1983)
Large-scale distributed systems and energy efficiency : a holistic view /
Published: (2015)
Published: (2015)
Similar Items
-
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 /
Published: (2001) -
Distributed algorithms on graphs proceedings of the 1st International Workshop on Distributed Algorithms, Ottawa, Canada, August 1985 /
Published: (1986) -
Large scale network-centric distributed systems /
Published: (2014) -
Formalizing natural languages : the NooJ approach /
by: Silberztein, Max
Published: (2016) -
Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1988)