IT - PDFSEARCH.IO - Document Search Engine

IT
Results: 512079

#	Item
51	NBITS (N Benchmark IT Solutions Pvt. Ltd.) BLOCKCHAIN Course Content Ph No: , #101, B-Block, Balaji Towers, Beside Prime Hospital, Near Mytrivanam, Ameerpet, Hyderabad Add to Reading List Source URL: www.nbits.in Language: English - Date: 2017-12-19 09:18:06 Cryptocurrencies Blockchains Computing Economy Decentralization Money Alternative currencies Bitcoin Hyperledger Ethereum Smart contract Cryptoeconomics
52	Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New Add to Reading List Source URL: smt2014.it.uu.se Language: 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 Add to Reading List Source URL: perspectives.pictet.com Language: English - Date: 2018-05-28 03:57:45 Construction Natural environment Low-energy building Sustainable building Sustainable design Sustainable architecture Building engineering Environmental design Green building Zero-energy building BREEAM Greenhouse
54	PDF Document Add to Reading List Source URL: kilowatt.bo.it Language: Italian
55	Microsoft Word - statuto Swiss Chamber assemblea del Add to Reading List Source URL: www.swisschamber.it Language: 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 Add to Reading List Source URL: www2.dfa.unict.it Language: 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 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Probabilistic CTL Temporal logic Markov chain
58	She sighed, dramatically. “You talk so weird sometimes. I hate it.”. “You hate it?” I got up and walked over to the TV. Rising to myStanding on tiptoes, I peered behind it. I spotted the postcard amid ast tangle Add to Reading List Source URL: d1fd687oe6a92y.cloudfront.net Language: English - Date: 2016-06-14 13:58:36 Kirkus Reviews Irene
59	December 16, 2010 IJFCS 10:46 WSPC/INSTRUCTION FILE Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Mathematics Logic in computer science Programming language semantics Models of computation Computing Algebraic topology Sheaf Operational semantics Petri net Mobile membranes
60	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:24 Mathematical logic Type theory Computability theory Lambda calculus Theoretical computer science Model theory Higher-order logic Constructible universe Mathematics

UPDATE