Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Scotland 5543 träffar

Titel Författare År Språk
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

Förra sidan 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.