default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWorkshops in Computing (WiC)
2017
- Ana Freire, Ricardo Baeza-Yates:
Seventh BCS-IRSG Symposium on Future Directions in Information Access, FDIA 2017, 5 September 2017, Barcelona, Spain. Workshops in Computing, BCS 2017 [contents] - Jonathan P. Bowen, Graham Diprose, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2017, London, UK, July 11-13, 2017. Workshops in Computing, BCS 2017 [contents] - Lynne E. Hall, Tom Flint, Suzy O'Hara, Phil Turner:
HCI 2017 - Digital make-believe. Proceedings of the 31st International BCS Human Computer Interaction Conference, BCS HCI 2017, University of Sunderland, St Peter's campus, Sunderland, UK, 3-6 July 2017. Workshops in Computing, BCS 2017 [contents]
2016
- Jonathan P. Bowen, Graham Diprose, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2016, London, UK, 12-14 July 2016. Workshops in Computing, BCS 2016 [contents] - Thomas Brandstetter, Helge Janicke:
4th International Symposium for ICS & SCADA Cyber Security Research 2016, ICS-CSR 2016, 23 - 25 August 2016, Queen's Belfast University, UK. Workshops in Computing, BCS 2016 [contents] - Shamal Faily, Nan Jiang, Huseyin Dogan
, Jacqui Taylor:
HCI 2016 - Fusion! Proceedings of the 30th International BCS Human Computer Interaction Conference, BCS HCI 2016, Bournemouth University, Poole, UK, 11-15 July 2016. Workshops in Computing, BCS 2016 [contents]
2015
- Helge Janicke, Kevin I. Jones:
3rd International Symposium for ICS & SCADA Cyber Security Research 2015, ICS-CSR 2015, 17-18 September 2015, University of Applied Sciences Ingolstadt, Germany. Workshops in Computing, BCS 2015 [contents] - Kia Ng, Jonathan P. Bowen, Nick Lambert:
Electronic Visualisation and the Arts, EVA 2015, London, UK, 7-9 July 2015. Workshops in Computing, BCS 2015 [contents] - Leif Azzopardi, Max L. Wilson:
Sixth BCS-IRSG Symposium on Future Directions in Information Access, FDIA 2015, 31 August - 4 September 2015, Thessaloniki, Greece. Workshops in Computing, BCS 2015 [contents] - Shaun W. Lawson, Patrick Dickinson:
Proceedings of the 2015 British HCI Conference, Lincoln, United Kingdom, July 13-17, 2015. ACM 2015, ISBN 978-1-4503-3643-7 [contents]
2014
- Helge Janicke, Kevin I. Jones:
2nd International Symposium for ICS & SCADA Cyber Security Research 2014, ICS-CSR 2014, 11-12 September 2014, St. Pölten, Austria. Workshops in Computing, BCS 2014, ISBN 978-1-78017-286-6 [contents] - Kia Ng, Jonathan P. Bowen, Sarah McDaid:
Electronic Visualisation and the Arts, EVA 2014, London, UK, 8-10 July 2014. Workshops in Computing, BCS 2014, ISBN 978-1-78017-285-9 [contents] - Daniel Fitton, Matthew Horton, Janet C. Read, Gavin Sim:
BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, Southport, UK, 9-12 September 2014. Workshops in Computing, British Computer Society 2014 [contents] - Hussain Al-Ahmad:
Mobility, Intelligent Networks &Smart Societies, Proceedings of the 2nd BCS International IT Conference 2014, Abu Dhabi, United Arab Emirates, 9 - 10 March 2014. Workshops in Computing, BCS 2014 [contents]
2013
- Helge Janicke, Kevin I. Jones:
1st International Symposium for ICS & SCADA Cyber Security Research 2013, ICS-CSR 2013, 16-17 September 2013, Leicester, UK. Workshops in Computing, BCS 2013, ISBN 978-1-780172-32-3 [contents] - Kia Ng, Jonathan P. Bowen, Sarah McDaid:
Electronic Visualisation and the Arts, EVA 2013, London, UK, 29-31 July 2013. Workshops in Computing, BCS 2013, ISBN 978-1-780172-15-6 [contents]
2012
- Stuart Dunn, Jonathan P. Bowen, Kia Ng:
Electronic Visualisation and the Arts, EVA 2012, London, UK, 10-12 July 2012. Workshops in Computing, BCS 2012, ISBN 978-1-780171-59-3 [contents]
2011
- Stuart Dunn, Jonathan P. Bowen, Kia Ng:
Electronic Visualisation and the Arts, EVA 2011, London, UK, 6-8 July 2011. Workshops in Computing, BCS 2011, ISBN 978-1-906124-88-5 [contents]
2010
- Mark Turner, Mahmood Niazi:
14th International Conference on Evaluation and Assessment in Software Engineering, EASE 2010, Keele University, UK, 12-13 April 2010. Workshops in Computing, BCS 2010 [contents]
2009
- Alan Seal, Suzanne Keene, Jonathan P. Bowen:
Electronic Visualisation and the Arts, EVA 2009, London, UK, 6-8 July 2009. Workshops in Computing, BCS 2009 [contents] - David Budgen, Mark Turner, Mahmood Niazi:
13th International Conference on Evaluation and Assessment in Software Engineering, EASE 2009, Durham University, UK, 20-21 April 2009. Workshops in Computing, BCS 2009 [contents]
2008
- Stuart Dunn, Suzanne Keene, George Mallen, Jonathan P. Bowen:
Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008. Workshops in Computing, BCS 2008 [contents] - Giuseppe Visaggio, Maria Teresa Baldassarre, Stephen G. Linkman, Mark Turner:
12th International Conference on Evaluation and Assessment in Software Engineering, EASE 2008, University of Bari, Italy, 26-27 June 2008. Workshops in Computing, BCS 2008 [contents]
2007
- Barbara A. Kitchenham, Pearl Brereton, Mark Turner:
11th International Conference on Evaluation and Assessment in Software Engineering, EASE 2007, Keele University, UK, 2-3 April 2007. Workshops in Computing, BCS 2007 [contents]
2006
- Conor McBride, Tarmo Uustalu:
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006. Workshops in Computing, BCS 2006 [contents]
2005
- Giovannina Albano, Pierluigi Ritrovato, Saverio Salerno:
1st International ELeGI Conference on Advanced Technology for Enhanced Learning, Vico Equense (Naples), Italy, 15-16 March 2005. Workshops in Computing, BCS 2005 [contents]
2004
- Theodosis Dimitrakos, Pierluigi Ritrovato:
4th International LeGE-WG Workshop - Towards a European Learning Grid Infrastructure: Progressing with a European Learning Grid, Stuttgart, Germany. 27 - 28 April 2004. Workshops in Computing, BCS 2004 [contents]
2003
- Theodosis Dimitrakos, Pierluigi Ritrovato, Saverio Salerno:
3rd International LeGE-WG Workshop: GRID Infrastructure to Support Future Technology Enhanced Learning, Berlin, Germany. 3 December, 2003. Workshops in Computing, BCS 2003 [contents] - Joseph M. Morris, Benjamin Aziz, Frédéric Oehl:
6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003. Workshops in Computing, BCS 2003 [contents] - Pierluigi Ritrovato, Saverio Salerno, Matteo Gaeta:
2nd International LeGE-WG Workshop on e-Learning and Grid Technologies: A Fundamental Challenge for Europe, Paris, France. 3rd &4th March 2003. Workshops in Computing, BCS 2003 [contents]
2002
- Pierluigi Ritrovato, Saverio Salerno, Matteo Gaeta:
1st LEGE-WG International Workshop on Educational Models for GRID Based Services, Lausanne, Switzerland. 16 September 2002. Workshops in Computing, BCS 2002 [contents] - Brian Matthews, F. Robert A. Hopgood, Michael D. Wilson:
The Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, St Anne's College, Oxford, UK. 17-18 December 2002. Workshops in Computing, BCS 2002 [contents]
2001
- Andrew Butterfield, Glenn Strong, Claus Pahl:
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. Workshops in Computing, BCS 2001 [contents]
2000
- David Sinclair, J. Paul Gibson:
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS 2000 [contents] - Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS 2000 [contents]
1999
- Challenge of Image Retrieval, Newcastle upon Tyne, UK. 25-26 February 1999. Workshops in Computing, BCS 1999 [contents]
- Andrew Butterfield, Klemens Haegele:
3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999. Workshops in Computing, BCS 1999 [contents] - Stephen W. Draper, Mark D. Dunlop, Ian Ruthven, C. J. van Rijsbergen:
Proceedings of Mira 99: Evaluating Interactive Information Retrieval, Glasgow, Scotland, UK, April 14-16, 1999. Workshops in Computing, BCS 1999 [contents]
1998
- 20th Annual BCS-IRSG Colloquium on IR, Autrans, France. 25th-27th March 1998. Workshops in Computing, BCS 1998 [contents]
- Sharon Flynn, Andrew Butterfield:
2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998. Workshops in Computing, BCS 1998 [contents]
1997
- 19th Annual BCS-IRSG Colloquium on IR Aberdeen, UK. 8th-9th April 1997. Workshops in Computing, BCS 1997 [contents]
- Henry McGloughlin, Gerard O'Regan:
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997. Workshops in Computing, BCS 1997 [contents]
1996
- Paolo Atzeni, Val Tannen:
Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995. Electronic Workshops in Computing, Springer 1996, ISBN 3-540-76086-5 [contents] - Jessie B. Kennedy, Peter J. Barclay:
Interfaces to Databases (IDS-3), Proceedings of the 3rd International Workshop on Interfaces to Databases, Napier University, Edinburgh, UK, 8-10 July 1996. Workshops in Computing, Springer 1996, ISBN 3-540-76066-0 [contents] - Johann Eder, Leonid A. Kalinichenko:
Advances in Databases and Information Systems, Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow, Russia, 27-30 June 1995. Workshops in Computing, Springer 1996, ISBN 3-540-76014-8 [contents] - Sylvain Fraïssé, Franca Garzotto, Tomás Isakowitz, Jocelyne Nanard, Marc Nanard:
Hypermedia Design, Proceedings of the International Workshop on Hypermedia Design, IWHD 1995, Montpellier, France, June 1-2, 1995. Workshops in Computing, Springer 1996, ISBN 3-540-19985-3 [contents] - Mikael Berndtsson, Jörgen Hansson:
Active and Real-Time Database Systems (ARTDB-95), Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9-11 June 1995. Workshops in Computing, Springer 1996, ISBN 3-540-19983-7 [contents] - Mark A. Brown, José Carmo:
Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Workshops in Computing, Springer 1996, ISBN 3-540-76015-6 [contents] - David N. Turner:
Functional Programming, Glasgow, UK, 1995. Workshops in Computing, Springer 1996, ISBN 3-540-14580-X [contents]
1995
- Johann Eder, Leonid A. Kalinichenko:
East/West Database Workshop, Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994. Workshops in Computing, Springer 1995, ISBN 3-540-19946-2 [contents] - Kevin Hammond, David N. Turner, Patrick M. Sansom:
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, Springer 1995, ISBN 978-3-540-19914-4 [contents] - James Clifford, Alexander Tuzhilin:
Recent Advances in Temporal Databases, Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 17-18 September 1995. Workshops in Computing, Springer 1995, ISBN 3-540-19945-4 [contents] - Malcolm P. Atkinson, David Maier, Véronique Benzaken:
Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994. Workshops in Computing, Springer and British Computer Society 1995, ISBN 3-540-19912-8 [contents] - Peter Sawyer:
Interfaces to Database Systems (IDS94), Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, UK, 13-15 July 1994. Workshops in Computing, Springer 1995, ISBN 3-540-19910-1 [contents] - Ian Ruthven:
Proceedings of the Final WorkShop on Multimedia Information Retrieval (MIRO'95), Glasgow, Scotland, UK, 18-20 September 1995. Workshops in Computing, BCS 1995 [contents] - Jörg Desel:
Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, Springer 1995, ISBN 978-3-540-19982-3 [contents]
1994
- Yves Deville:
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19864-4 [contents] - Catriel Beeri, Atsushi Ohori, Dennis E. Shasha:
Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19853-9 [contents] - Norman W. Paton, M. Howard Williams:
Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August - 1 September 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19846-6 [contents] - John T. O'Donnell, Kevin Hammond:
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, Springer 1994, ISBN 978-3-540-19879-6 [contents] - Jonathan P. Bowen, J. Anthony Hall:
Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Workshops in Computing, Springer/BCS 1994, ISBN 3-540-19884-9 [contents] - Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19852-0 [contents] - Wojciech Ziarko:
Rough Sets, Fuzzy Sets and Knowledge Discovery, Proceedings of the International Workshop on Rough Sets and Knowledge Discovery, RSKD 1993, Banff, Alberta, Canada, 12-15 October 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19885-7 [contents] - Matt Smith, Alan Smaill, Geraint A. Wiggins:
Music Education: An Artificial Intelligence Approach, Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, UK, 25 August 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19873-3 [contents] - Vangalur S. Alagar, Sabine Bergler, Fangqing Dong:
Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19897-0 [contents] - D. J. Andrews, Jan Friso Groote, Cornelis A. Middelburg:
Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19854-7 [contents] - Bhavani Thuraisingham, Ravi S. Sandhu, T. C. Ting:
Security for Object-Oriented Systems, Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington, DC, USA, 26 September 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19877-6 [contents] - David Till:
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, Springer 1994, ISBN 978-3-540-19886-4 [contents]
1993
- Kung-Kiu Lau, Tim Clement:
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19806-7 [contents] - Richard Cooper:
Interfaces to Database Systems (IDS92), Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, UK, 1-3 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19802-4 [contents] - Krysia Broda:
ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19783-4 [contents] - Geoffrey Livingston Burn, Simon J. Gay, Mark Ryan:
Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Workshops in Computing, Springer 1993, ISBN 3-540-19842-3 [contents] - John Launchbury, Patrick M. Sansom:
Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19820-2 [contents] - Udo W. Lipeck, Bernhard Thalheim:
Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19803-2 [contents] - Ursula Martin, Jeannette M. Wing:
First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19804-0 [contents] - Jonathan P. Bowen, John E. Nicholls:
Z User Workshop, London, UK, 14-15 December 1992, Proceedings. Workshops in Computing, Springer 1993, ISBN 3-540-19818-0 [contents] - Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri:
Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19812-1 [contents] - S. Purushothaman, Amy E. Zwarico:
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19822-9 [contents]
1992
- Timothy Paul Clement, Kung-Kiu Lau:
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19742-7 [contents] - Geraint A. Wiggins, Chris Mellish, Tim Duncan:
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19734-6 [contents] - Rogardt Heldal, Carsten Kehler Holst, Philip Wadler:
Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19760-5 [contents] - Susan Stepney, Rosalind Barden, David Cooper:
Object Orientation in Z. Workshops in Computing, Springer 1992, ISBN 3-540-19778-8 [contents] - Robert Giegerich, Susan L. Graham:
Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19757-5 [contents] - Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19797-4 [contents] - Jane Hillston, Peter J. B. King, Rob Pooley:
7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19733-8 [contents] - B. Tim Denvir, Ros Herman, Robin W. Whitty:
Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19788-5 [contents] - John E. Nicholls:
Z User Workshop, York, UK, 16-17 December 1991, Proceedings. Workshops in Computing, Springer 1992, ISBN 3-540-19780-X [contents] - John Darlington, Roland Dietrich:
Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19735-4 [contents] - Antonio Albano, Ronald Morrison:
Persistent Object Systems, Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September, 1992. Workshops in Computing, Springer 1992, ISBN 3-540-19800-8 [contents] - Cliff B. Jones, Roger C. Shaw, B. Tim Denvir:
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, Springer London 1992, ISBN 978-3-540-19752-2 [contents]
1991
- Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst:
Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990. Workshops in Computing, Springer 1991, ISBN 978-3-540-19667-9 [contents] - Gillian Lovegrove, Barbara Segal:
Woman into Computing: Selected Papers 1988-1990. Workshops in Computing, Springer 1991, ISBN 3-540-19648-X [contents] - John E. Nicholls:
Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990. Workshops in Computing, Springer 1991, ISBN 3-540-19672-2 [contents]
1990
- Kei Davis, John Hughes:
Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, Springer 1990, ISBN 3-540-19609-9 [contents] - Charles Rattray:
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, Springer 1990, ISBN 3-540-19581-5 [contents] - John E. Nicholls:
Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989. Workshops in Computing, Springer 1990, ISBN 978-3-540-19627-3 [contents] - John Rosenberg, J. Leslie Keedy:
Security and Persistence, Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany. Workshops in Computing, Springer 1990, ISBN 978-1-4471-3178-6 [contents]
1989
- John Rosenberg, David M. Koch:
Persistent Object Systems, Proceedings of the Third International Workshop, 10-13 January 1989, Newcastle, New South Wales, Australia. Workshops in Computing, Springer 1989, ISBN 3-540-19626-9 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-24 01:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
