انتشارات Springer.
Digitale Technik für den Fernsehrundfunk: Systemtechnik des DVB-T vom Studio bis zum Empfänger
Paul Dambacher (auth.), 1997
DVB - Digitale Fernsehtechnik: Datenkompression und Übertragung
Ulrich Reimers, 2008
DVB - Digitale Fernsehtechnik: Datenkompression und Übertragung
Ulrich Reimers, 2007
DVB — Digitale Fernsehtechnik: Datenkompression und Ubertragung
Professor Dr.-Ing. Ulrich Reimers (auth.), 2008
DVB: The Family of International Standards for Digital Video Broadcasting
Professor Dr.-Ing. Ulrich Reimers (auth.), 2004
Handover in DVB-H Investigations and Analysis
Xiaodong Yang, 2010
An Introduction to Statistical Learning with Applications in R
Gareth James, Daniela Witten, Trevor Hastie, Robert Tibshirani, 2014
Handover in DVB-H: Investigation and Analysis
Xiaodong Yang, 2008
Cleft Lip and Palate
Alphonse R. Burdi (auth.), Samuel Berkowitz DDS, MS, FICD (eds.), 2006
Craniomaxillofacial Reconstructive and Corrective Bone Surgery: Principles of Internal Fixation Using the AO/ASIF Technique
Alex M. Greenberg, Joachim Prein (auth.), Alex M. Greenberg DDS, Joachim Prein MD, DDS (eds.), 2002
Dental Hard Tissues and Bonding: Interfacial Phenomena and Related Properties
F.R. Tay, D.H. Pashley (auth.), George Eliades DDS, Dr. Dent., David Watts PhD, DSc, FADM, Theodore Eliades DDS, MS, Dr.Med., PhD, FADM (eds.), 2005
Diffusion-Weighted MR Imaging of the Brain
Toshio Moritani MD, PhD, Sven Ekholm MD, PhD, Per-Lennart Westesson MD, PhD, DDS (auth.), 2009
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Mary Lou Maher, Josiah Poon, Sylvie Boulanger (auth.), John S. Gero, Fay Sudweeks (eds.), 1996
Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings
Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.), 1999
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Robert Kurshan (auth.), Robert Kurshan (eds.), 1993
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.), 2005
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.), 2006
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.), 2008
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.), 2009
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.), 2011
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.), 2011
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012
Automorphism Groups of Compact Bordered Klein Surfaces: A Combinatorial Approach
Emilio Bujalance, José Javier Etayo, José Manuel Gamboa, Grzegorz Gromadzki (auth.), 1990
