Volume 45
From CERES
A list of all pages that have property "Volume" with value "45".
Since there have been only a few results, also nearby values are displayed.
- Publications:SOS formats and meta-theory : 20 years after + (373)
- Publications:A processor array module for distributed, massively parallel, embedded computing + (38)
- Publications:Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks + (4)
- Publications:Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems + (4)
- Publications:Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects + (4)
- Publications:Optical interconnection technology in switches, routers and optical cross connects + (4)
- Publications:Robustness of equations under operational extensions + (41)
- Publications:SOS Rule Formats for Zero and Unit Elements + (412)
- Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems + (4171)
- Publications:Decompositional Reasoning about the History of Parallel Processes + (4171)
- Publications:Wireless broadband access : WiMax and beyond - Investigation of bandwidth request mechanisms under point-to-multipoint mode of WiMAX networks + (45)
- Publications:Rule Formats for Distributivity + (458)
- Publications:Impossibility results for the equational theory of timed CCS + (4624)
- Publications:Symmetry and partial order reduction techniques in model checking Rebeca + (47)
- Publications:Lifting non-finite axiomatizability results to extensions of process algebras + (47)
- Publications:Operational and epistemic approaches to protocol analysis : bridging the gap + (4790)
- Publications:Coordinating aerial robots and unattended ground sensors for intelligent surveillance systems + (5)
- Publications:Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS) + (5)
- Publications:Vehicular Delay-Tolerant Networks? A Novel Solution for Vehicular Communications + (5)
- Publications:Long-run order-independence of vector-based transition systems + (5)
- Publications:Towards reliable wireless industrial communication with real-time guarantees + (5)