Gå direkte til innholdet

Sommersalg på pocket fra 79,- »

Til startsiden
Logg inn
Søk etter din neste leseopplevelse
Numerical Software Verification
Numerical Software Verification

Numerical Software Verification

e-bok, Engelsk, 2017
612,-
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer

Student

Alt du trenger til studiene
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Du vil kanskje like

  • Gå til Ikigais produktside
    Hector Garcia, Francesc Miralles
    innbundet
  • Gå til Dad, I Want to Hear Your Story (Expanded Edition)s produktside
    Jeffrey Mason
    heftet
  • Gå til The Hobbit and the Lord of the Rings: Deluxe Pocket Boxed Sets produktside
    J. R. R. Tolkien
    heftet
  • Gå til Caught Ups produktside
    Navessa Allen
    pocket
  • Gå til Seven Things I Wish Christians Knew about the Bibles produktside
    Michael F. Bird
    heftet
  • Gå til Empire of Flame and Thornss produktside
    Marion Blackwood
    pocket
  • Gå til Mom, I Want to Hear Your Storys produktside
    Jeffrey Mason
    pocket
  • Gå til $100M Offerss produktside
    Alex Hormozi
    pocket
  • Gå til Sunrise on the Reapings produktside
    Suzanne Collins
    innbundet
  • Gå til The Ukraine War & the Eurasian World Orders produktside
    Glenn Diesen
    pocket
  • Gå til Meditationss produktside
    Marcus Aurelius
    pocket
  • Gå til The Bond That Burnss produktside
    Briar Boleyn
    pocket

Anbefalt for deg

  • Gå til Internet Password Logbook (Cognac Leatherette)s produktside
    innbundet
  • Gå til Modern Software Engineerings produktside
    David Farley
    heftet
  • Gå til Machine Learning Engineerings produktside
    Andriy Burkov
    heftet
  • Gå til Design Patternss produktside
    Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
    innbundet
  • Gå til How to Break Up With Your Phones produktside
    Catherine Price
    heftet
  • Gå til TypeScript Basicss produktside
    Nabendu Biswas
    heftet
  • Gå til Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow 3es produktside
    Aurelien Geron
    heftet
  • Gå til Når lyset bryter gjennoms produktside
    Del 1 i serien
    Susanne E. Askvik, Terje Toftenes
    innbundet
  • Gå til C++ Concurrency in Action,2Es produktside
    Anthony Williams
    heftet
  • Gå til C++ Primers produktside
    Stanley Lippman, Josée Lajoie, Barbara Moo
    heftet
  • Gå til Coding with Roblox Lua in 24 Hourss produktside
    Official Roblox Books(Pearson)
    heftet
  • Gå til Beyond The Basic Stuff With Pythons produktside
    Al Sweigart
    heftet

Mer om Adlibris

Om Adlibris

Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.

  • Alltid gode priser

  • Fri frakt over 299,-

  • Nordens største bokhandel

Meld deg på nyhetsbrev

Motta våre beste boktips, nyheter og gode tilbud. Registrer deg nå, og få 10% rabatt på det første kjøpet ditt. Tilbudet gjelder kun nye abonnenter og privatkunder. Rabatten gjelder ikke norske bøker utgitt 2024, fag- og studielitteratur, digitale bøker og gavekort.

Vanlige spørsmål