51![Cryptocurrencies / Blockchains / Computing / Economy / Decentralization / Money / Alternative currencies / Bitcoin / Hyperledger / Ethereum / Smart contract / Cryptoeconomics Cryptocurrencies / Blockchains / Computing / Economy / Decentralization / Money / Alternative currencies / Bitcoin / Hyperledger / Ethereum / Smart contract / Cryptoeconomics](/pdf-icon.png) | Add to Reading ListSource URL: www.nbits.inLanguage: English - Date: 2017-12-19 09:18:06
|
---|
52![Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New](https://www.pdfsearch.io/img/72246bea83102a263ff8179a9ba1f656.jpg) | Add to Reading ListSource URL: smt2014.it.uu.seLanguage: English - Date: 2014-07-20 11:35:02
|
---|
53![SMART BUILDINGS Sustainable offices for the cities of the future An office building in Amsterdam has been designed as a zero-carbon building that occasionally generates more power than it consumes and uses SMART BUILDINGS Sustainable offices for the cities of the future An office building in Amsterdam has been designed as a zero-carbon building that occasionally generates more power than it consumes and uses](https://www.pdfsearch.io/img/5ef5e1d199087630dceffbbed5a31042.jpg) | Add to Reading ListSource URL: perspectives.pictet.comLanguage: English - Date: 2018-05-28 03:57:45
|
---|
54![](https://www.pdfsearch.io/img/cc311c9bcd101fd35f0215e9208b6c11.jpg) | Add to Reading ListSource URL: kilowatt.bo.itLanguage: Italian |
---|
55![Microsoft Word - statuto Swiss Chamber assemblea del Microsoft Word - statuto Swiss Chamber assemblea del](https://www.pdfsearch.io/img/c5edb05d7e52d0b5615a3d5e3c122405.jpg) | Add to Reading ListSource URL: www.swisschamber.itLanguage: Italian - Date: 2016-06-14 09:59:09
|
---|
56![sistemi complessi L o studio dei sistemi complessi è uno dei campi in cui collaborano a stretto contatto ricercatori di diversa provenienza: fisici, biologi, ingegneri, matematici, informatici e, più di recente, anche sistemi complessi L o studio dei sistemi complessi è uno dei campi in cui collaborano a stretto contatto ricercatori di diversa provenienza: fisici, biologi, ingegneri, matematici, informatici e, più di recente, anche](https://www.pdfsearch.io/img/a3fedf2850e56c44fadbc7bec631436d.jpg) | Add to Reading ListSource URL: www2.dfa.unict.itLanguage: Italian - Date: 2013-07-13 12:11:54
|
---|
57![Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2](https://www.pdfsearch.io/img/762591f7df012f29560aba48a1db5ce7.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
58![Kirkus Reviews / Irene Kirkus Reviews / Irene](/pdf-icon.png) | Add to Reading ListSource URL: d1fd687oe6a92y.cloudfront.netLanguage: English - Date: 2016-06-14 13:58:36
|
---|
59![December 16, 2010 IJFCS 10:46 WSPC/INSTRUCTION FILE December 16, 2010 IJFCS 10:46 WSPC/INSTRUCTION FILE](https://www.pdfsearch.io/img/75bf6e74a47ca1d2f75aed7f6271c64e.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
60![Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber](https://www.pdfsearch.io/img/a884aaa780ce59c2d72679e15f4af027.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2005-09-13 07:35:24
|
---|