Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Manufacturing Driving Circular Economy
  • Language: en
  • Pages: 1105

Manufacturing Driving Circular Economy

This is an open access book. It gathers the proceedings of the 18th Global Conference on Sustainable Manufacturing, held on October 5-7, 2022, as a hybrid event, in/from Berlin, Germany. With a focus on manufacturing advances and practices driving the circular economy, the chapters selected for this book report on sustainable manufacturing technologies for the mobility, energy and construction sector, and for machines and equipments, covering applications of artificial intelligence and industry 4.0. Moreover, they discuss energy-efficient process, waste reuse, and CO2 neutral production, giving a special emphasis to developing sustainable manufacturing in emerging countries. This book offers extensive and timely information for both researchers and professionals in the field of manufacturing and business development.

Peak-to-Peak Output Current Ripple Analysis in Multiphase and Multilevel Inverters
  • Language: en
  • Pages: 137

Peak-to-Peak Output Current Ripple Analysis in Multiphase and Multilevel Inverters

  • Type: Book
  • -
  • Published: 2014-06-23
  • -
  • Publisher: Springer

The book introduces an original and effective method for the analysis of peak-to-peak output current ripple amplitude in three-phase two-level inverters. It shows that the method can be extended to both multiphase inverters, with particular emphasis on five-phase and seven-phase inverters, and multilevel ones, with particular emphasis on three-level inverters, and provides, therefore, a comparison among different number of output phases and voltage levels. The work reported on here represents the first detailed analysis of the peak-to-peak output current ripple. It makes an important step toward future developments in the field of high-power generation, and in grid-connected and motor-load systems.

Electing the Pope in Early Modern Italy, 1450-1700
  • Language: en
  • Pages: 326

Electing the Pope in Early Modern Italy, 1450-1700

Electing the Pope in Early Modern Italy, 1450-1700 offers a radical reassessment of the history of early modern papacy, constructed through the first major analytical treatment of papal elections in English. Papal elections, with their ceremonial pomp and high drama, are compelling theater, but, until now, no one has analyzed them on the basis of the problems they created for cardinals: how were they to agree rules and enforce them? How should they manage the interregnum? How did they decide for whom to vote? How was the new pope to assert himself over a group of men who, until just moments before, had been his equals and peers? This study traces how the cardinals' responses to these problem...

Sustainable Design and Manufacturing 2016
  • Language: en
  • Pages: 664

Sustainable Design and Manufacturing 2016

  • Type: Book
  • -
  • Published: 2016-04-02
  • -
  • Publisher: Springer

This volumes consists of 59 peer-reviewed papers, presented at the International Conference on Sustainable Design and Manufacturing (SDM-16) held in Chania, Crete Greece in April 2016. Leading-edge research into sustainable design and manufacturing aims to enable the manufacturing industry to grow by adopting more advanced technologies, and at the same time improve its sustainability by reducing its environmental impact. SDM-16 covers a wide range of topics from sustainable product design and service innovation, sustainable process and technology for the manufacturing of sustainable products, sustainable manufacturing systems and enterprises, decision support for sustainability, and the study of societal impact of sustainability including research for circular economy. Application areas are wide and varied. The book will provide an excellent overview of the latest research and development in the area of Sustainable Design and Manufacturing.

Automated Deduction - CADE-18
  • Language: en
  • Pages: 545

Automated Deduction - CADE-18

  • Type: Book
  • -
  • Published: 2003-08-02
  • -
  • Publisher: Springer

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ̈ Informatik, Safelogic ...

Liber Memorialis Petar Šarčević
  • Language: en
  • Pages: 696

Liber Memorialis Petar Šarčević

This vast collection of scholarly writings examines a wide range of legal topics, including for example: European Private International Law of Obligations and Internal Market Legislation: A Matter of Coordination -- Balancing Sovereignty and Party Autonomy in Private International Law -- Parenthood for Same-Sex Couples: Challenges of Private International Law from a Scandinavian Perspective -- The Use of Unpublished Opinions on Relocation Law by the California Courts of Appeal: Hiding the Evidence? -- Spousal Support after Divorce under American Family Law: An Attempt to Contribute to the Alimony Debate -- Working with Children: The Balance between the Protection of Children and the Right to Work with Children -- Changing Parenthood after Divorce -- The Contribution of the UNCITRAL Arbitration Rules to International Commercial Arbitration -- Universalism and Tradition: The Use of Non-binding Principles in International Commercial Law -- Problems in the Implementation of WTO Law in the People's Republic of China -- Notes on the Pellegrini Judgment of the European Court of Human Rights -- Professional Traditions: The Reciprocating Ethics of Jurist and Judge

Computer Safety, Reliability, and Security
  • Language: en
  • Pages: 472

Computer Safety, Reliability, and Security

  • Type: Book
  • -
  • Published: 2014-08-27
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14.

Sistemi Integrati di Lavorazione
  • Language: it
  • Pages: 381

Sistemi Integrati di Lavorazione

Cosa hanno in comune le macchine utensili a controllo numerico computerizzato e le lavorazioni per asportazione di truciolo con i sistemi di lavorazione laser e le tecnologie di produzione per addizione di materiale? Nonostante l’apparente distanza e le differenze, la struttura di un sistema di produzione, qualsivoglia sia la tecnologia applicata, contiene molti elementi comuni. Si tratta di elementi meccanici, componenti elettriche, elettroniche, meccatroniche e sistemi software. Questi devono essere opportunamente integrati e coordinati per generare un percorso di lavorazione sotto forma di un programma di lavoro in grado di generare la geometria richiesta. Oggi, stiamo assistendo a gran...

VEIC 2020
  • Language: en
  • Pages: 246

VEIC 2020

This book constitutes the thoroughly internationally - refereed proceedings of the 2nd Vocational Educational International Conference: Revitalization of Vocational Education in Indonesia, 2020, held in Semarang, Indonesia, in August 27, 2020. The papers presented were carefully reviewed and selected from all submissions. The papers reflect the conference sessions as follows: Innovation In Building and Developing Vocational Education, Innovation In Preparing and Developing Educators In Vocational Education, Innovation In Preparing and Developing Skilled Workers, and Developing Students Competencies Using E-learning.

Computer Aided Verification
  • Language: en
  • Pages: 576

Computer Aided Verification

  • Type: Book
  • -
  • Published: 2007-08-30
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking—from foundational and methodological issues to the evaluation of major tools and systems—are addressed.