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 /

Distributed systems : concepts and design /
gan: Coulouris, George F.
Cyhoeddwyd: (2005)

Distributed systems : concepts and design /
gan: Coulouris, George F.
Cyhoeddwyd: (1988)

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

Security in distributed and networking systems
Cyhoeddwyd: (2007)

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

Formal grammar theory and implementation /
Cyhoeddwyd: (1992)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Cyhoeddwyd: (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 /
Cyhoeddwyd: (2011)

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

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

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

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

Testamentary formalities /
Cyhoeddwyd: (2011)

Building dependable distributed systems /
gan: Zhao, Wenbing, Ph.D
Cyhoeddwyd: (2014)

Quantitative assessments of distributed systems : methodologies and techniques /
Cyhoeddwyd: (2015)

Distributed systems architecture a middleware approach /
gan: Puder, Arno
Cyhoeddwyd: (2006)

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

Tools and environments for parallel and distributed computing
gan: Hariri, Salim
Cyhoeddwyd: (2004)

Analytical modelling in parallel and distributed computing /
gan: Hanuliak, Peter, et al.
Cyhoeddwyd: (2014)

Modeling and optimization of parallel and distributed embedded systems /
gan: Munir, Arslan, et al.
Cyhoeddwyd: (2016)

Network-based distributed planning using coevolutionary algorithms
gan: Subbu, Raj
Cyhoeddwyd: (2004)

Russian formalism history-doctrine /
gan: Erlich, Victor, 1914-2007
Cyhoeddwyd: (1980)

Concurrent and distributed computing in Java
gan: Garg, Vijay K. (Vijay Kumar), 1963-
Cyhoeddwyd: (2004)

Non-formal education strategies and management /
gan: Napitupulu, W. P.
Cyhoeddwyd: (1978)

Energy-efficient distributed computing systems
Cyhoeddwyd: (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) /
Cyhoeddwyd: (2007)

Programming distributed computing systems a foundational approach /
gan: Varela, Carlos A.
Cyhoeddwyd: (2013)

Formal grammars in linguistics and psycholinguistics
gan: Levelt, W. J. M. (Willem J. M.), 1938-
Cyhoeddwyd: (1974)

Formal grammars in linguistics and psycholinguistics
gan: Levelt, W. J. M. (Willem J. M.), 1938-
Cyhoeddwyd: (1974)

Advanced computational infrastructures for parallel and distributed adaptive applications
Cyhoeddwyd: (2010)

Cooperative internet computing proceedings of the 4th International Conference (CIC 2006), Hong Kong, China, 25-27 October 2006 /
Cyhoeddwyd: (2008)

Formal languages, automata and numeration systems 2 /
gan: Rigo, Michel
Cyhoeddwyd: (2014)

Two-step approaches to natural language formalisms
gan: Morawietz, Frank, 1968-
Cyhoeddwyd: (2003)

Developing distributed and E-commerce applications /
gan: Ince, Darrel
Cyhoeddwyd: (2004)

Large-scale distributed systems and energy efficiency : a holistic view /
Cyhoeddwyd: (2015)

Computers in language research
Cyhoeddwyd: (1983)