Verification and Synthesis of Digital Circuits
High-level Synthesis and Equivalence Checking
Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal - ISBN: 978-3-8383-9813-6
Water Allocation for Agricultural Use Considering Treated Wastewater, Public Health Risk, and Economic Issues
water allocation, wastewater, public health risk
Ahmed E. Al-Juaidi - ISBN: 978-3-8433-5219-2
HUMAN PAPILLOMA VIRUSES
ASSOCIATION WITH SQUAMOUS CELL CARCINOMA OF THE CONJUNCTIVA
Charles Ateenyi-Agaba - ISBN: 978-3-8383-9399-5
Plasmon Modes for Terahertz Detection
Terahertz Plasmon Modes in Grating Coupled Double Quantum Well Field Effect Transistors
Xomalin Peralta - ISBN: 978-3-8383-9371-1
Molecular Analysis of Infertility
Y chromosome Microdeletions, Polycystic ovary Syndrome, Molecular analysis
Suganthi Ramaswamy - ISBN: 978-3-8383-7777-3
Business Process Management Methodologies
with research of Business Process Management status in public authorities in Czech Republic, Hungary and Slovakia
Jan Prokop - ISBN: 978-3-8383-6104-8
Identity Crisis of German Jews in Fin-de-siècle Vienna
Dramas and Operas by Hofmannsthal, Schnitzler, Zemlinsky, and Schreker
Pao-Hsiang Wang - ISBN: 978-3-8383-3549-0
Diversity changes in coastal plant communities at SW Karmøy (Norway)
Based on the master thesis ''Re-sampling in beach- and sand dune communities at South West Karmøy - 2008. Some comparisons and interpretations''
Øystein Langåker - ISBN: 978-3-8383-3212-3
Secure Open Networks
Resource access control in open networks through type safety for process calculus models
Neva Slani - ISBN: 978-3-8383-9087-1