Maude - PDFSEARCH.IO - Document Search Engine

Maude
Results: 229

#	Item
91	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:16:57 Maude system Software engineering Computing
92	BIBLIOGRAPHY OF U.S. GEOLOGICAL SURVEY REPORTS ON THE WATER RESOURCES OF FLORIDA, [removed]By Maude Claiborne, Teresa L. Embry, Nevin D. Hoy Deborah H. Weldon, and Twila D. Wilson Add to Reading List Source URL: pubs.usgs.gov Language: English - Date: 2010-12-10 03:20:40 Hydraulic engineering Aquifers in the United States Geography of the United States Hydrogeology Hydrology Floridan Aquifer Everglades Garald G. Parker Earth Geology of Georgia Environment
93	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:32:16 Maude system Software engineering Computing
94	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system
95	Mrs. Maude Rowan Starr to Her Majesty Marie, Queen of Rumania (2 copies), undated Foster Hall Collection, CAM.FHC[removed], Center for American Music, University of Pittsburgh. Add to Reading List Source URL: digital.library.pitt.edu - Date: 2013-06-01 22:28:47
96	From Maude Rowan Starr to Her Majesty, Queen of Romania, 1926 Foster Hall Collection, CAM.FHC[removed], Center for American Music, University of Pittsburgh. Add to Reading List Source URL: digital.library.pitt.edu - Date: 2013-06-01 22:16:53
97	From Maude Rowan Starr to Josiah K. Lilly, June 4, 1931 Foster Hall Collection, CAM.FHC[removed], Center for American Music, University of Pittsburgh. From Maude Rowan Starr to Josiah K. Lilly, June 4, 1931 Foster Hall C Add to Reading List Source URL: digital.library.pitt.edu - Date: 2013-06-01 22:16:50
98	From Maude Rowan Starr to Josiah K. Lilly, June 30, 1931 Foster Hall Collection, CAM.FHC[removed], Center for American Music, University of Pittsburgh. From Maude Rowan Starr to Josiah K. Lilly, June 30, 1931 Foster Hall Add to Reading List Source URL: digital.library.pitt.edu - Date: 2013-06-01 22:16:52
99	Public Sector Transparency Board – Agenda[removed]Here is the agenda from the first meeting of the Transparency Board held on the 24th June 2010: Meeting details Date: Time: Add to Reading List Source URL: data.gov.uk Language: English - Date: 2013-10-23 06:35:02 Science United Kingdom Public Sector Transparency Board Nigel Shadbolt Tim Berners-Lee Tom Steinberg Francis Maude Transparency Media transparency Fellows of the British Computer Society British people Humanities
100	Public Sector Transparency Board – Minutes, 24th June 2010 Here are the minutes of the Transparency Board meeting held on 24 June at the Cabinet Office: Present: Francis Maude (Chair) Sir Tim Berners-Lee Add to Reading List Source URL: data.gov.uk Language: English - Date: 2013-10-23 06:35:17 Knowledge Public Sector Transparency Board Transparency Nigel Shadbolt Media transparency Humanities Science Methodology

UPDATE