Logics and Models of Concurrent Systems /
| Main Author: | Apt, Krzysztof R. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1985.
|
| Series: | NATO ASI series. Computer and systems sciences ;
13. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Optical Network Design and Modelling : IFIP TC6 Working Conference on Optical Network Design and Modelling 24-25 February 1997, Vienna, Austria /
by: As, Harmen R.
Published: (1998)
by: As, Harmen R.
Published: (1998)
The Temporal Logic of Reactive and Concurrent Systems : Specification /
by: Manna, Zohar
Published: (1992)
by: Manna, Zohar
Published: (1992)
Performance Modelling and Evaluation of ATM Networks /
by: Kouvatsos, Demetres D.
Published: (1995)
by: Kouvatsos, Demetres D.
Published: (1995)
Optical Networks: Design and Modelling : IFIP TC6 Second International Working Conference on Optical Network Design and Modelling (ONDM'98) February 9-11, 1998 Rome, Italy /
by: Marchis, Giancarlo
Published: (1999)
by: Marchis, Giancarlo
Published: (1999)
Testing of Communicating Systems : IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea /
by: Kim, Myungchul
Published: (1997)
by: Kim, Myungchul
Published: (1997)
New Trends in Optical Network Design and Modeling : IFIP TC6 Fourth Working Conference on Optical Network Design and Modeling February 7-8, 2000, Athens, Greece /
by: Stavdas, Alexandros A.
Published: (2001)
by: Stavdas, Alexandros A.
Published: (2001)
Building Interactive Systems : Architectures and Tools /
by: Gray, Philip
Published: (1992)
by: Gray, Philip
Published: (1992)
Concepts for Distributed Systems Design /
by: Bochmann, Gregor
Published: (1983)
by: Bochmann, Gregor
Published: (1983)
Resource Management for Distributed Multimedia Systems /
by: Wolf, Lars Christian
Published: (1996)
by: Wolf, Lars Christian
Published: (1996)
Construction, Operation and Maintenance of Network System(Junior Level) /
by: Huawei Technologies Co., Ltd
Published: (2023)
by: Huawei Technologies Co., Ltd
Published: (2023)
Modeling and Simulation Environment for Satellite and Terrestrial Communications Networks : Proceedings of the European COST Telecommunications Symposium /
by: Ince, A. Nejat
Published: (2002)
by: Ince, A. Nejat
Published: (2002)
Systems and Network Infrastructure Integration : Design, Implementation, Safety and Supervision /
by: Helali, Saida
Published: (2020)
by: Helali, Saida
Published: (2020)
Testing of Communicating Systems : Methods and Applications /
by: Csopaki, Gyula
Published: (1999)
by: Csopaki, Gyula
Published: (1999)
Concurrency and Nets : Advances in Petri Nets /
by: Voss, K. (Klaus)
Published: (1987)
by: Voss, K. (Klaus)
Published: (1987)
Design and Engineering of Intelligent Communication Systems /
by: Ahamed, Syed V., 1938-
Published: (1997)
by: Ahamed, Syed V., 1938-
Published: (1997)
Distributed Environments : Software Paradigms and Workstations /
by: Ohno, Yutaka
Published: (1991)
by: Ohno, Yutaka
Published: (1991)
Designing Software for the Mobile Context : a Practitioner's Guide /
by: Longoria, Roman
Published: (2004)
by: Longoria, Roman
Published: (2004)
Fundamentals of Digital Switching /
by: McDonald, John C.
Published: (1983)
by: McDonald, John C.
Published: (1983)
An Introduction to TCP/IP /
by: Davidson, John
Published: (1988)
by: Davidson, John
Published: (1988)
Performance and Management of Complex Communication Networks : IFIP TC6 /
by: Hasegawa, Toshiharu
Published: (1998)
by: Hasegawa, Toshiharu
Published: (1998)
Crosstalk in WDM Communication Networks /
by: Monroy, Idelfonso Tafur
Published: (2002)
by: Monroy, Idelfonso Tafur
Published: (2002)
Multiaccess, Mobility and Teletraffic for Wireless Communications, volume 6 /
by: Lagrange, Xavier
Published: (2002)
by: Lagrange, Xavier
Published: (2002)
High Performance Networks : Technology and Protocols /
by: Tantawy, Ahmed N.
Published: (1994)
by: Tantawy, Ahmed N.
Published: (1994)
ATM Network Performance /
by: Kesidis, George
Published: (2000)
by: Kesidis, George
Published: (2000)
Multiaccess, Mobility and Teletraffic in Wireless Communications: Volume 4 /
by: Biglieri, Ezio
Published: (1999)
by: Biglieri, Ezio
Published: (1999)
UMTS: Origins, Architecture and the Standard /
by: Lescuyer, Pierre
Published: (2004)
by: Lescuyer, Pierre
Published: (2004)
Multi-media Document Translation : ODA and the EXPRES Project /
by: Rosenberg, Jonathan
Published: (1991)
by: Rosenberg, Jonathan
Published: (1991)
Heterogeneous Network Quality of Service Systems /
by: Schmitt, Jens Burkhard
Published: (2001)
by: Schmitt, Jens Burkhard
Published: (2001)
Protocols for High-Speed Networks VI : IFIP TC6 WG6.1 & WG6.4 /
by: Touch, Joseph D.
Published: (2000)
by: Touch, Joseph D.
Published: (2000)
Document Architecture in Open Systems: The ODA Standard /
by: Appelt, Wolfgang
Published: (1991)
by: Appelt, Wolfgang
Published: (1991)
Computational Science and Its Applications - ICCSA 2022 Workshops : Malaga, Spain, July 4-7, 2022, Proceedings, Part III /
Published: (2022)
Published: (2022)
Data Communications and Network Technologies /
by: Huawei Technologies Co., Ltd
Published: (2023)
by: Huawei Technologies Co., Ltd
Published: (2023)
Computing networks : from cluster to cloud computing /
Published: (2011)
Published: (2011)
Next generation network services : technologies and strategies /
by: Wilkinson, Neill
Published: (2002)
by: Wilkinson, Neill
Published: (2002)
Linguistic Concepts and Methods in CSCW /
by: Connolly, John H.
Published: (1996)
by: Connolly, John H.
Published: (1996)
QoS-based Wavelength Routing in Multi-Service WDM Networks /
by: Jukan, Admela
Published: (2001)
by: Jukan, Admela
Published: (2001)
Internet Protocols : Advances, Technologies and Applications /
by: Goswami, Subrata
Published: (2003)
by: Goswami, Subrata
Published: (2003)
Error-Control Coding for Data Networks /
by: Reed, Irving S.
Published: (1999)
by: Reed, Irving S.
Published: (1999)
High Performance Networking : IFIP TC-6 Eighth International Conference on High Performance Networking (HPN'98) Vienna, Austria, September 21-25, 1998 /
by: As, Harmen R.
Published: (1998)
by: As, Harmen R.
Published: (1998)
Flow Control of Congested Networks /
by: Odoni, Amedeo R.
Published: (1987)
by: Odoni, Amedeo R.
Published: (1987)