Publisher Springer
From CERES
A list of all pages that have property "Publisher" with value "Springer"
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Publications:A Database-Centric Architecture for Home-Based Health Monitoring +
- Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language +
- Publications:A Semantic Analysis of C++ Templates +
- Publications:A real-time medium access protocol supporting dynamic spectrum allocation in industrial networks +
- Publications:Advanced Signal Processing for Digital Subscriber Lines +
- Publications:Automated Verification of Executable UML Models +
- Publications:Cross-Layer Channel-Aware Approaches for Modern Wireless Networks +
- Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++ +
- Publications:Enabling Greener DSL Access Networks by their Stabilization with Artificial Noise and SNR Margin +
- Publications:Evaluating IEEE 802.15.4 for Cyber-Physical Systems +
- Publications:Gradual Typing for Functional Languages +
- Publications:Implicitly Heterogeneous Multi-Stage Programming +
- Publications:Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems +
- Publications:Multiple Access Communications : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings +
- Publications:Multiple access communications in future-generation wireless networks +
- Publications:On the Complexity of Input Output Conformance Testing +
- Publications:Orthogonal extensions in structural operational semantics +
- Publications:Overall Delay in IEEE 802.16 with Contention-Based Random Access +
- Publications:Special issue: software verification and testing +
- Publications:Symmetry and partial order reduction techniques in model checking Rebeca +
