321 |
QEST 2007 : fourth International Conference on the Quantitative Evaluation of Systems : 17-19 September, 2007, Edinburgh, Scotland, UK
|
Scotland) 2007 : (4th International Conference on the Quantitative Evaluation of Systems Edinburgh
|
uuuu-uuuu |
Okänt |
322 |
Compiler Construction electronic resource : 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings / edited by Peter A. Fritzson
|
Scotland) CC '94 (1994 : Edinburgh
|
uuuu-uuuu |
Okänt |
323 |
IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design electronic resource : Proceedings of the IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design, held Aberdeen, UK, 27-30 July 2010 / edited by Marian Wiercigroch, Giuseppe Rega
|
Scotland) (2010 IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design Aberdeen
|
uuuu-uuuu |
Okänt |
324 |
Proceedings, LAB-RS 2008 : 2008 ECSIS Symposium on Learning and Adaptive Behaviors for Robotic Systems : proceedings, 6-8 August 2008, Edinburgh, Scotland, United Kingdom
|
Scotland) (2008 ECSIS Symposium on Learning and Adaptive Behaviors for Robotic Systems Edinburgh
|
uuuu-uuuu |
Okänt |
325 |
Microwave remote sensing for oceanographic and marine weather forecast models / edited by Robin A. Vaughan
|
Scotland) (1988 NATO Advanced Study Institute on Microwave Remote Sensing for Oceanographic and Marine Weather-Forecast Models Dundee
|
uuuu-uuuu |
Okänt |
326 |
Dynamic modelling and control of national economies, 1989 : selected papers from the 6th IFAC symposium, Edinburgh, UK, 27-29 June 1989 / edited by N. M. Christodoulakis
|
Scotland) 1989 : (6th Symposium on Dynamic Modelling and Control of National Economies Edinburgh
|
uuuu-uuuu |
Okänt |
327 |
Automated Reasoning with Analytic Tableaux and Related Methods electronic resource : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / edited by Roy Dyckhoff
|
Scotland) (2000 TABLEAUX 2000 St. Andrews
|
uuuu-uuuu |
Okänt |
328 |
Self-reference in literature and music electronic resource / edited by Walter Bernhart and Werner Wolf
|
Scotland) 2007 : (6th International Conference on Word and Music Studies Edinburgh
|
uuuu-uuuu |
Okänt |
329 |
Verified Software: Theories, Tools, Experiments electronic resource : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / edited by Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
|
Scotland) (2010 VSTTE 2010 Edinburgh
|
uuuu-uuuu |
Okänt |
330 |
OMN 2014 : proceedings, 2014 International Conference on Optical MEMS and Nanophotonics : 17-21 August 2014, Glasgow, Scotland / technically co-sponsored by IEEE Photonics Society
|
Scotland) (2014 International Conference on Optical MEMS and Nanophotonics Glasgow
|
uuuu-uuuu |
Okänt |
331 |
Theorem Proving in Higher Order Logics electronic resource : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / edited by Richard J. Boulton, Paul B. Jackson
|
Scotland) 2001 : (14th TPHOLs 2001 Edinburgh
|
uuuu-uuuu |
Okänt |
332 |
Computer Aided Verification electronic resource : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson
|
Scotland) 2010 : (22nd CAV (Conference) Edinburgh
|
uuuu-uuuu |
Okänt |
333 |
Analyzable functions and applications : International Workshop on Analyzable Functions and Applications, June 17-21, 2002, International Centre for Mathematical Sciences, Edinburgh, Scotland / O. Costin, Kruskal, A. Macintyre, editors
|
Scotland) International Workshop on Analyzable Functions and Applications Edinburgh
|
uuuu-uuuu |
Okänt |
334 |
The multinuclear approach to NMR spectroscopy / edited by Joseph B. Lambert and Frank G. Riddell
|
Scotland) (1982 NATO Advanced Study Institute on the Multinuclear Approach to NMR Spectroscopy Stirling
|
uuuu-uuuu |
Okänt |
335 |
People and computers IX : proceedings of HCI '94, Glasgow, August 1994 / edited by G. Cockton, S.W. Draper, G.R.S. Weir. electronic resource
|
Scotland) 1994 : (9th HCI '94 (Conference) Glasgow
|
uuuu-uuuu |
Okänt |
336 |
Data Security and Security Data electronic resource : 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers / edited by Lachlan MacKinnon
|
Scotland) 2010 : (27th British National Conference on Databases Dundee
|
uuuu-uuuu |
Okänt |
337 |
AHS 2018 : 2018 NASA/ESA Conference on Adaptive Hardware and Systems : August 6-9, 2018, University of Edinburgh / Institute of Electrical and Electronics Engineers
|
Scotland) (2018 NASA/ESA Conference on Adaptive Hardware and Systems Edinburgh
|
uuuu-uuuu |
Okänt |
338 |
Subsea International '93 : low cost subsea production systems : papers presented at a conference sponsored by the Society for Underwater Technology and held in Aberdeen, UK, April 28-29, 1993
|
Scotland) (1993 Subsea International '93 Aberdeen
|
uuuu-uuuu |
Okänt |
339 |
Macromolecular chemistry 9 : specially invited and selected symposium lectures presented at the International Symposium on Macromolecules held in Aberdeen, Scotland, 10-14 September 1973. / symposium editor, L. C. Cross
|
Scotland) (1973 International Symposium on Macromolecules Aberdeen
|
uuuu-uuuu |
Okänt |
340 |
Genetic Programming electronic resource : European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings / edited by Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian F. Miller, Peter Nordin, Terence C. Fogarty
|
Scotland) (2000 EuropGP 2000 Edinburgh
|
uuuu-uuuu |
Okänt |