Publisher Springer Berlin/Heidelberg
From CERES
A list of all pages that have property "Publisher" with value "Springer Berlin/Heidelberg"
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Publications:A Domain-Specific Language Approach to Protocol Stack Implementation +
- Publications:A Gentle Introduction to Multi-stage Programming, Part II +
- Publications:A rule format for associativity +
- Publications:Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network +
- Publications:Assessment of Gait Symmetry and Gait Normality Using Inertial Sensors : In-Lab and In-Situ Evaluation +
- Publications:Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings +
- Publications:Communication Technologies for Vehicles : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings +
- Publications:Communications Technologies for Vehicles : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012, Proceedings +
- Publications:Contention-Based Polling Efficiency in Broadband Wireless Networks +
- Publications:Decompositional Reasoning about the History of Parallel Processes +
- Publications:Directions in Functional Programming for Real(-Time) Applications +
- Publications:Evaluation of RTSJ-Based Distributed Control System +
- Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations +
- Publications:Exploring the Design Space of Higher-Order Casts +
- Publications:Formal analysis of non-determinism in Verilog cell library simulation models +
- Publications:Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET +
- Publications:Gradual typing for objects +
- Publications:Impossibility results for the equational theory of timed CCS +
- Publications:Increased communication reliability for delay-sensitive platooning applications on top of IEEE 802.11p +
- Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations +
