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

Handbook of Nuclear Engineering
  • Language: en
  • Pages: 3701

Handbook of Nuclear Engineering

This is an authoritative compilation of information regarding methods and data used in all phases of nuclear engineering. Addressing nuclear engineers and scientists at all levels, this book provides a condensed reference on nuclear engineering since 1958.

Security in Computing and Communications
  • Language: en
  • Pages: 441

Security in Computing and Communications

  • Type: Book
  • -
  • Published: 2017-11-08
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 5th International Symposium on Security in Computing and Communications, SSCC 2017, held in Manipal, India, in September 2017. The 21 revised full papers presented together with 13 short papers were carefully reviewed and selected from 84 submissions. The papers focus on topics such as cryptosystems, algorithms, primitives; security and privacy in networked systems; system and network security; steganography, visual cryptography, image forensics; applications security.

Embedded Computer Systems: Architectures, Modeling, and Simulation
  • Language: en
  • Pages: 355

Embedded Computer Systems: Architectures, Modeling, and Simulation

This book constitutes the refereed proceedings of the 9th International Workshop on Architectures, Modeling, and Simulation, SAMOS 2009, held on Samos, Greece, on July 20-23, 2009. The 18 regular papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on architectures for multimedia, multi/many cores architectures, VLSI architectures design, architecture modeling and exploration tools. In addition there are 14 papers from three special sessions which were organized on topics of current interest: instruction-set customization, reconfigurable computing and processor architectures, and mastering cell BE and GPU execution platforms.

The Bulletin
  • Language: en
  • Pages: 1324

The Bulletin

  • Type: Book
  • -
  • Published: 1987-05
  • -
  • Publisher: Unknown

None

Global Sustainable Cities
  • Language: en
  • Pages: 376

Global Sustainable Cities

  • Type: Book
  • -
  • Published: 2023-01-24
  • -
  • Publisher: NYU Press

Perspectives from worldwide experts on how major cities across the globe are responding to the major environmental threats of our time, including global climate change Over half of the world’s population now lives in cities, and this share is expected to increase in the coming decades. With growing urbanization, cities and their residents face substantial environmental challenges such as higher temperatures, droughts, wildfires, and increased flooding. In response to these pressing challenges, some cities have begun to develop local environmental regulations that supplement national and environmental laws. In so doing, cities have stepped into a role that has been historically dominated by...

Solid Solutions in Silicate and Oxide systems
  • Language: en
  • Pages: 410

Solid Solutions in Silicate and Oxide systems

None

My Aces, My Faults
  • Language: en
  • Pages: 388

My Aces, My Faults

  • Type: Book
  • -
  • Published: 1997-10
  • -
  • Publisher: Avon Books

Controversial coach looks at the inner world of professional tennis. His relationships with players Andre Agassi, Monica Seles, Jim Courier, and Boris Becker among others.

Federal Register
  • Language: en
  • Pages: 564

Federal Register

  • Type: Book
  • -
  • Published: 1945-03
  • -
  • Publisher: Unknown

None

Mobile Wireless Middleware, Operating Systems, and Applications
  • Language: en
  • Pages: 260

Mobile Wireless Middleware, Operating Systems, and Applications

  • Type: Book
  • -
  • Published: 2012-05-17
  • -
  • Publisher: Springer

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2011, held in London, UK, in June 2011. The 21 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on mobile systems in education, SOC for mobile Apps (SOC), networking platforms (NW), mobile execution frameworks (MFW), mobile cloud (MC) and distributed execution, and mobile sensor networks.

Interactive Theorem Proving
  • Language: en
  • Pages: 657

Interactive Theorem Proving

  • Type: Book
  • -
  • Published: 2018-07-03
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verication of mathematical results. Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.