Search results for “[subject: programming-compilers]”

• Author(s): Juan C. Bicarregui • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersNot so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in indust...

• Author(s): Zeliha Dilsun Kirli • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralMobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and s...

• Author(s): Radhia Cousot | David a. Schmidt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the Third International Static Analysis S...

• Author(s): Kazuyuki Kanosue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Exercise - GeneralFrom the Back CoverThe aim of this book is to present current views about physical activity and the benefits of physical activity in prev...

• Author(s): Kazuyuki Kanosue • Publisher: Springer • Publisher Imprint: Springer • BISAC: Exercise - GeneralFrom the Back CoverThe aim of this book is to present current views about physical activity and the benefits of physical activity in prev...

• Author(s): Jan Graba • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - C++Up and Running with C++ provides the reader with a quick guide to the fundamental concepts of object orientation and the implementation of those co...

• Author(s): Mauro Borgo | Alessandro Soranzo | Massimo Grassi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Research & MethodologyChapter 1. Basic Operations.- Chapter 2. Data Handling.- Chapter 3. Plotting Data.- Chapter 4. P...

• Author(s): Evan Tick • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralOne suspects that the people who use computers for their livelihood are growing more "sophisticated" as the field of computer science evolves...

• Author(s): Hari Vasudevan • Publisher: Springer • Publisher Imprint: Springer • BISAC: AutomotiveFrom the Back CoverThis book gathers selected papers presented at the Second International Conference on Intelligent Manufacturing and Automation (...

• Author(s): Franz W. Gatzweiler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Public HealthFrom the Back CoverThis book is a compilation of the policy briefs produced by the International Science Council's program on Urban Health ...

• Author(s): Homer R. Warner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Allied Health Services - Medical TechnologyFrom the Back CoverMedical expert systems are designed to help physicians and other healthcare providers give con...

• Author(s): Franz W. Gatzweiler • Publisher: Springer • Publisher Imprint: Springer • BISAC: Public HealthFrom the Back CoverThis book is a compilation of the policy briefs produced by the International Science Council's program on Urban Health ...

• Author(s): Paulo Ney de Souza • Publisher: Springer • Publisher Imprint: Springer • BISAC: Study & TeachingThe book is a compilation of approximately nine hundred problems which have appeared on the preliminary exams in Berkeley over the la...

• Author(s): Chi-Ming Lam • Publisher: Springer • Publisher Imprint: Springer • BISAC: Schools - Levels - Early Childhood (Incl. Preschool & KinderFrom the Back CoverThe purpose of this book is to develop a theory and practice of education fr...

• Author(s): Nyanda McBride • Publisher: Springer • Publisher Imprint: Springer • BISAC: Educational PsychologyFrom the Back CoverThis book offers a step-by-step guide to intervention research, including the methods and techniques that researcher...

• Author(s): Lluis M. Plà-Aragonés • Publisher: Springer • Publisher Imprint: Springer • BISAC: Operations ResearchFrom the Back CoverThe scope of this book is Operations Research methods in Agriculture and a thorough discussion of derived applic...

• Author(s): H. -J Reulen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Surgery - NeurosurgeryAgreed standards and guidelines are the heart and soul of improving the differing training systems and to harmonize neurosurgical trainin...

• Author(s): Joseph Geunes • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverSupply Chain Optimization captures the latest results in a segment of current research activity in supply...

• Author(s): Joseph Geunes • Publisher: Springer • Publisher Imprint: Springer • BISAC: Linear & Nonlinear ProgrammingFrom the Back CoverSupply Chain Optimization captures the latest results in a segment of current research activity in supply...

• Author(s): Elizabeth A. Calhoun • Publisher: Springer • Publisher Imprint: Springer • BISAC: Preventive MedicineDocumenting the success and result of patient navigation programs, this book represents the culmination of years of research and pra...

• Author(s): Esra Erdem | Germán Vidal • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Language...

• Author(s): Kim Huynh-Ba • Publisher: Springer • Publisher Imprint: Springer • BISAC: PharmacologyThe International Conference of Harmonization (ICH) has worked on har- nizing the stability regulations in the US, Europe, and Japan since the earl...

• Author(s): Pekka Pyykkö • Publisher: Springer • Publisher Imprint: Springer • BISAC: Bibliographies & IndexesThe project that finally led to this book, was originally started with Dr. Jean-Paul Desclaux. It is a pleasure to thank hirn for a...

• Author(s): D. Sundararajan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - GeneralFrom the Back CoverThis textbook is designed for an introductory, one-semester course in Signals and Systems for undergraduates. It is ...

• Author(s): Jüri Plado • Publisher: Springer • Publisher Imprint: Springer • BISAC: Earth Sciences - GeologyFrom the Back CoverThis multiauthor book is a compilation of fourteen papers that result from activities within the scientific programme ...

• Author(s): Jüri Plado • Publisher: Springer • Publisher Imprint: Springer • BISAC: Earth Sciences - GeologyFrom the Back CoverThis multiauthor book is a compilation of fourteen papers that result from activities within the scientific programme ...

• Author(s): S. Rinken • Publisher: Springer • Publisher Imprint: Springer • BISAC: Ethics & Moral PhilosophyIn industrialized countries, HIV/AIDS is now increasingly perceived as a chronic condition. Yet initially, before combination therapy...

• Author(s): Zhenjiang Hu | Mario Rodriquez-Artalejo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedThis volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic ...

• Author(s): Manuel Lopez-Rey • Publisher: Springer • Publisher Imprint: Springer • BISAC: Teaching - Subjects - Arts & HumanitiesDuring almost ten years I was in elose and frequent contact with Lionel Fox, both as Chiefofthe United Nations S...

• Author(s): Torben ÆGidius Mogensen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralFrom the Back CoverThis concise textbook is intended as a guide for programming-language designers and users to better help them ...

• Author(s): Xavier Leroy | Atsushi Ohori • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, ...

• Author(s): Rajeev Alur • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the refereed proceedings of the Third International Conference on Embe...