Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
протокол
Связанные издания:
Improving Fault Tolerance and Supporting Partial Writes in Structured Coterie Protocols for Replicated Objects
Improving Round-Trip Time Estimates in Reliable Transport Protocol
INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing
Ineractive Multimedia on Next Generation Networks: Proc./First Intern. Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 2003
Information Networking: Towards Ubiquitous Networking and Services: Revised Selected Papers/International Conference, ICOIN 2007. Estoril, Portugal, January 2007
Information Networking - Wired Communications and Management: Proc./Intern. Conf., ICOIN 2002, Cheju Island, Korea, January-February 2002. Part I
Inheriting Synchronization Protocols via Sound Enrichment Rules
Initial Failures in Distributed Computations
Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols
Interconnecting Different Communications Media with a Common Network Layer Protocol - IP Router
Interface-Based Protocol Specification of Open Systems using PSL
Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors
Intergration of Security in Network Routing Protocols
Internet and Network Economics: Proc./ First International Workshop, WINE 2005. Hong Kong, China, December 2005
Internet of Things, Smart Spaces, and Next Generation Networks and Systems: Proc./14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St.Petersburg, Russia, August 2014
Internet of Vehicles - Technologies and Services: Proc./3rd International Conference, IOV 2016, Nadi, Fiji, December 2016
Internet Protocol Traffic Analysis with Applications for ATM Switch Design
Internet с самого начала. Часть 3. Ваше первое подключение к сети Internet
Internet: эволюция или революция?
Interoperability Testing Based on a Fault Nodel for a System of Communicating FSMs
Introducing the Iteration in sPBC
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations
I/O Automata in Isabelle/HOL
IP-based Protocols for Mobile Internetworking
IP Next Generation Overview
Issues, Problems and Solutions in Sharing X Clients on Multiple Displays
Knowledge-Based Protocols in a Multi-Agent System: a case study
Knowledge-Based Protocols in a Multi-Agent System: A Case Study
KryptoKnight Authentication and Key Distribution System
Kto stuchitsya v dver ko mne?
LDAP, Databases and Distributed Objects: Towards a Better Integration
Leader Election in Uniform Rings
Life on the OS/Network Boundary
Limits to Low-Latency Communication on High-Speed Networks
Linda Meets Minix
Linear-Time Snapshot Protocols foe Unbalanced Systems
Locality, Causality and Continuations
Locking Effects in Multiprocessor Implementations of Protocols
Locking Protocols for Concurrency Control in Real-time Database Systems
Lower Bounds for the Modular Communication Complexity of Various Graph Accessibility Problems
MACAW: A Media Access Protocol for Wireless LAN s
Macintosh и PC в локальной сети
Management of Multimedia Networks and Services: Proc./7th IFIP/IEEE International Conference, MMNS 2004. San Diego, CA, USA, October 2004
Measuring Consistency Costs for Distributed Shared Data
Mechanisms for Cooperative Shared Memory
Medium Access Control Protocols Performance in Satellite Communications
Membership Algorithms for Multicast Communication Groups
Memory Adaptive Self-Stabilizing Protocols
Memory Contention in Scalable Cache-Coherent Multiprocessors
Message Authentication with One-Way Hash Functions
« первая
‹ предыдущая
…
2
3
4
5
6
7
8
9
10
…
следующая ›
последняя »