| 1 |
Functional programming : proceedings of the 1989 Glasgow workshop, 21-23 August 1989, Fraserburgh, Scotland / Kei Davis and John Hughes (eds.)
: Berlin,: New York. - London ; New York : Springer-Verlag , c1990
|
| 2 |
Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 / John Launchbury and Patrick Sansom (eds.)
: Berlin,: New York. - London ; New York : Springer-Verlag , c1993
|
| 3 |
Interfaces to database systems (IDS92) : proceedings of the first International Workshop on Interfaces to Database Systems, Glasgow, 1-3 July 1992 / Richard Cooper, ed.
Berlin,New York. - London ; Tokyo : Springer-Verlag , c1993
|
| 4 |
Rough sets, fuzzy sets and knowledge discovery / Wojciech P. Ziarko (ed.)
: us,: gw. - London : Springer-Verlag , c1994
|
| 5 |
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 / A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
: us,: gw. - London ; New York : Springer-Verlag , c1995
|
| 6 |
Neural computation and psychology : proceedings of the 3rd Neural Computation and Psychology Workshop (NCPW3), Stirling, Scotland, 31 August-2 September, 1994 / Leslie S. Smith and Peter J.B. Hancock, eds
London ; New York : Springer-Verlag , c1995
|
| 7 |
Recent advances in temporal databases : proceedings of the International Workshop on Temporal Databases, Zurich, 17-18 September 1995 / James Clifford and Alexander Tuzhilin, eds
pbk. : alk. paper. - London ; New York : Springer , c1995
|
| 8 |
Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 / Rogardt Heldal, Carsten Kehler Holst and Philip Wadler (eds.)
: Berlin,: New York. - London ; Tokyo : Springer-Verlag in collaboration with the British Computer Society , c1992
|
| 9 |
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 / V.S. Alagar, Laks V.S. Lakshmanan and F. Sadri [editors]
: Berlin. - London ; New York : Springer-Verlag , c1993
|
| 10 |
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 / Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha (eds.)
:gw,:us. - London ; Tokyo : Springer-Verlag , c1994
|
| 11 |
Persistent object systems : proceedings of the third international workshop, 10-13 January, Newcastle, Australia / [complied by] John Rosenberg and David Koch
: Berlin,: New York. - London ; Tokyo : Springer-Verlag , c1990
|
| 12 |
Specification and verification of concurrent systems / C. Rattray, (ed.)
: Germany,: U.S.. - London ; Tokyo : Springer-Verlag , c1990
|
| 13 |
Semantics for concurrency : proceedings of the International BCS-FACS Workshop : sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK / [editors] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
: U.S.,: Germany. - London ; Tokyo : Springer-Verlag , c1990
|
| 14 |
Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming / Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, (eds.)
: Berlin,: New York. - London ; New York : Springer-Verlag , 1991
|
| 15 |
Persistent object systems : proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994 / Malcolm Atkinson, David Maier and Véronique Benzaken, (eds)
London ; Tokyo : Springer , c1995
|
| 16 |
Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 / Jörg Desel, (ed.)
Berlin ; New York : Springer. - [London] : in collaboration with the British Computer Society , c1995
|
| 17 |
Asynchronous digital circuit design / G. Birtwistle and A. Davis, eds
: gw,: us. - London ; New York : Springer-Verlag , c1995
|
| 18 |
Deontic logic, agency, and normative systems : [Delta]EON '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996 / Mark A. Brown and José Carmo, eds
pbk. : alk. paper. - Berlin ; New York : Springer , 1995
|
| 19 |
Persistent object systems : proceedings of the fifth International Workshop on Persistent Oject Systems, San Miniato (Pisa), Italy, 1-4 September 1992 / Antonio Albano and Ron Morrison, eds.
:Berlin,:New York. - London ; New York : Springer-Verlag , c1993
|
| 20 |
AI and cognitive science '89 : Dublin City University, 14-15 September, 1989 / Alan F. Smeaton and Gabriel McDermott (eds.)
: Germany,: U.S. - London ; New York : Springer-Verlag , c1990
|
Mendeley出力
