QED at Large 1
bokomslag QED at Large
Data & IT

QED at Large

Talia Ringer • Karl Palmskog • Ilya Sergey • Milos Gligoric • Zachary Tatlock

Pocket

1119:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 2-7 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 194 sidor
  • 2019
  • Författare: Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
  • Format: Pocket/Paperback
  • ISBN: 9781680835946
  • Antal sidor: 194
  • Utgivningsdatum: 2019-09-03
  • Förlag: now publishers Inc

Du kanske gillar

  1. bokomslag Adel im Grenzraum

    Adel im Grenzraum

    Miloslawa Borzyszkowska-Szewczyk, Sabine Jagodzinski, Milos ?Eznik, Milos ŘEznik, Mi¿Os¿Awa Borzyszkowska-Szewczyk

    Inbunden

    1049:-
  2. bokomslag Afterall

    Afterall

    Helena Vilalta, Melissa Gronlund, Pablo Lafuente, Anders Kreuger, Zachary Cahill

    Pocket

    149:-
  3. bokomslag Viri Illustres

    Viri Illustres

    C F Lhomond, C F Lhomond, C Lhomond F, Garrett Dome, Zachary Sowerby

    Pocket

    279:-
  4. bokomslag Refinement Types

    Refinement Types

    Niki Vazou Ranjit Jhala

    Pocket

    1669:-
  5. bokomslag Afterall

    Afterall

    Helena Vilalta, Melissa Gronlund, Pablo Lafuente, Anders Kreuger, Zachary Cahill

    Pocket

    149:-
  6. bokomslag Progress of Concurrent Objects

    Progress of Concurrent Objects

    Xinyu Feng Hongjin Liang

    Pocket

    1609:-
  7. bokomslag Neurosymbolic Programming

    Neurosymbolic Programming

    Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama

    Pocket

    1209:-
  8. bokomslag Shape Analysis

    Shape Analysis

    Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival

    Pocket

    1669:-
  9. bokomslag Americas Bigfoot: Fact, Not Fiction

    Americas Bigfoot: Fact, Not Fiction

    Dmitri Bayanov

    Pocket

    789:-
  10. bokomslag Decompiler - Der Stand Der Technik Im Jahr 2008

    Decompiler - Der Stand Der Technik Im...

    C Pernsteiner, B Engleder, H Kreisel

    Pocket

    739:-