Macro-engineering - PDFSEARCH.IO - Document Search Engine

Macro-engineering
Results: 1454

#	Item
31	Video: Construction in 2 Minute Time-Lapse June 25, 2016 by gCaptain It’s been nearly nine years and more than $5 billion in the making, but come hell or high water the Panama Canal Expansion is finally ready to open t Add to Reading List Source URL: www.earthcam.com Language: English - Date: 2016-07-05 12:50:47 Water transport infrastructure EarthCam Webcams Panama Canal Macro-engineering Panama Canal expansion project Time-lapse photography Panamax Lock Canal
32	January 18, 2016 Amendment No. 3 Request for Qualifications in relation to the grant of a concession to design, develop, finance, construct, operate and maintain the Corozal Container Terminal. Add to Reading List Source URL: micanaldepanama.com Language: English - Date: 2016-01-19 07:02:58 Panama Canal Procurement Macro-engineering Request for proposal Panamax Request for qualifications
33	FOR IMMEDIATE RELEASE August 4, 2016 FOR MORE INFORMATION CONTACT Tara Garcia, Add to Reading List Source URL: www.creighton.senate.state.tx.us Language: English - Date: 2016-08-04 12:00:02 Macro-engineering Panama Canal Panama City Canal Panamax Panama Port
34	December 16, Amendment No. 1 Request for Qualifications in relation to the grant of a concession to design, develop, finance, construct, operate and maintain the Corozal Container Terminal. Add to Reading List Source URL: micanaldepanama.com Language: English - Date: 2015-12-16 13:52:09 Panama Canal Procurement Macro-engineering Request for proposal Panamax Request for qualifications
35	RAPID Programming of Pattern-Recognition Processors Kevin Angstadt Westley Weimer Kevin Skadron Add to Reading List Source URL: cap.virginia.edu Language: English - Date: 2016-03-20 10:07:40 Finite automata Software engineering Computer programming Software Nondeterministic finite automaton Automata theory Finite-state machine Lex Regular expression Macro Pattern matching
36	MorphScala: Safe Class Morphing with Macros Aggelos Biboudis Eugene Burmako University of Athens Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computing Computer programming Object-oriented programming languages Scripting languages Object-oriented programming Programming paradigms Functional languages Metaclass Scala Macro Metaprogramming
37	CH A PT E R 34 Establishing the Micro-to-Macro Link in Cognitive Engineering: Add to Reading List Source URL: www.peterpirolli.com Language: English - Date: 2014-11-02 13:11:34
38	Galactic-scale macro-engineering: Looking for signs of other intelligent species, as an exercise in hope for our own Joseph Voros* Senior Lecturer in Strategic Foresight Faculty of Business & Law, Swinburne University of Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-12-16 20:09:11
39	Nomura International (Hong Kong) Limited: Junior Macro Structurer \| Application Deadline: Aug 31 To: All HKU graduates preferably in a quantitative degree like Finance, Engineering or Science, Nomura International (Hong Add to Reading List Source URL: daaoweb.hku.hk Language: English - Date: 2015-08-06 08:45:58
40	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language

UPDATE