1![Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3](https://www.pdfsearch.io/img/02e0864d490b9b2e71d448da9087832a.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2018-02-08 07:01:31
|
---|
2![Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop](https://www.pdfsearch.io/img/37128485c1c82cc7fd9284ad403dfaae.jpg) | Add to Reading ListSource URL: eprints.nottingham.ac.ukLanguage: English - Date: 2017-10-17 16:19:51
|
---|
3![NewsHQ Basic A Digital Archive of Your Company’s Press Releases NewsHQ Basic is a repository of all of your company’s press releases that have been distributed through Business Wire. Take advantage of NewsHQ Basic w NewsHQ Basic A Digital Archive of Your Company’s Press Releases NewsHQ Basic is a repository of all of your company’s press releases that have been distributed through Business Wire. Take advantage of NewsHQ Basic w](https://www.pdfsearch.io/img/d1e9d05148cf2c58b77fcc75e71cba1f.jpg) | Add to Reading ListSource URL: cdn2.hubspot.netLanguage: English - Date: 2018-01-30 13:29:32
|
---|
4![Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2 Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2](https://www.pdfsearch.io/img/bb03045b8efadc9970bfe5b43863319b.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2018-04-16 08:14:19
|
---|
5![Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2](https://www.pdfsearch.io/img/439aa9f89912e2c3b0483ca2ca4a7340.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2017-06-29 11:28:39
|
---|
6![Technical Meeting of Repository Networks May 14 & 15, Hamburg, Germany On May 14 & 15, COAR will host a meeting of repository networks to discuss services and technologies of networks around the world. Repository Technical Meeting of Repository Networks May 14 & 15, Hamburg, Germany On May 14 & 15, COAR will host a meeting of repository networks to discuss services and technologies of networks around the world. Repository](https://www.pdfsearch.io/img/c6e4abe7245ceb9f3f643f837d8b012f.jpg) | Add to Reading ListSource URL: www.coar-repositories.orgLanguage: English - Date: 2018-08-07 09:56:49
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: repository.jisc.ac.uk- Date: 2015-11-03 07:52:04
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: repository.jisc.ac.uk- Date: 2015-10-19 11:47:22
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: repository.jisc.ac.uk- Date: 2015-09-28 06:18:53
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: repository.jisc.ac.uk- Date: 2017-07-06 14:50:17
|
---|