Cover Image

Mathematics of program construction :4th international conference, MPC ʹ98, Marstrand, Sweden, June 15-17, 1998 :proceedings /

Corporate Author:	International Conference on the Mathematics of Program Construction
Other Authors:	Jeuring, Johan
Format:	Book
Language:	English
Published:	Berlin ; Springer Verlag , c1998 . New York :
Subjects:	Computer programming > Congresses Computer science > Mathematics

Similar Items

Computer vision--ECCV ʹ98 :5th European Conference on Computer Vision, Freiburg, Germany, June 1998 :proceedings /
Published: (1998)

Algorithms - ESA ʹ98 : 6th annual European symposium Venice, Italy, August 24-26, 1998 proceedings /
Published: (1995)

Algorithm theory-- SWAT ʹ98 :6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 :proceedings /
Published: (1998)

Computer aided verification :10th International Conference, CAV. ʹ98, Vancouver, BC, Canada, June 28 - July 2, 1998 :proceedings /
Published: (1998)

Advances in cryptology :EUROCRYPT ʹ98 :International Conference on the theory and application of cryptographic techniques, Espoo, Finland, May 31 - June 4, 1998 :proceedings /
Published: (1998)

Advances in cryptology - EUROCRYPT ʹ98: International conference on the theory and application of cryptographic techniques, Espoo, Finland, May 31- June 4, 1998 : proceedings/
Published: (1998)

RECOMB ʹ98 : Proceedings of the Second Annual International Conference on Computational Molecular Biology: March 22-25, 1998, Holiday Inn Manhattan, New York, NY /
Published: (1998)

Proceedings of the virtual worlds and simulation conference (VWSIM'98) /
Published: (1998)

CSCW ʹ98 : proceedings : ACM 1998 Conference on Computer Supported Cooperative Work, Seattle, Washington, November 14-18, 1998 /
Published: (1998)

Fast software encryption :5th international workshop, FSE ʹ98, Paris, France, March 23-25, 1998 :proceedings /
Published: (1998)

Multimedia applications, services, and techniques :ECMAST ʹ98, third European conference, Berlin, Germany, May 26-28, 1998 :proceedings /
Published: (1998)

Intelligent tutoring systems :4th International Conference, ITS ʹ98, San Antonio, Texas, USA, August 16-19, 1998 :proceedings /
Published: (1998)

Advances in cryptology, CRYPTO ʹ98 :18th Annual International Conference, Santa Barbara, California, USA, August 23-27, 1998 :proceedings /
Published: (1998)

Pacific Symposium on Biocomputing ʹ98 :Maui, Hawaii, 4-9 January, 1998 /
Published: (1997)

Proceedings of the First International Workshop on Software and Performance WOSP ʹ98 : October 12-16, 1998, Santa Fe, New Mexico, USA
Published: (1998)

Adaktic high-Al trondhjemites in the Proterozoic Ostfold-Marstrand Belt, W Sweden/
by: Hageskov, Bjorn
Published: (2000)

STACS 98 :15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 :proceedings /
Published: (1998)

Euro - par ʹ98 parallel processing : 4th international euro - par conference, Southampton, UK, September 1-4, 1998: proceedings ; David Pritchard, Jeff Reeve
Published: (1998)

CHI ʹ94 conference proceedings : human Factors in Computing Systems: celebrating interdependence, April 24-28, 1994, Boston, Masschusetts /
Published: (1994)

CHI ʹ92 conference proceedings : ACM Conference on Human Factors in Computing Systems: striking a balance, May 3-7, 1992, Monterey, California /
Published: (1992)

Advances in cryptology-CRYPTO ʹ98 : 18th Annual International Cryptology Conference, Santa Barbara, California, USA August 23-27, 1998 /
Published: (1998)

Application and theory of petri nets 1998 :19th International Conference, ICATPN ʹ98, Lisbon, Portugal, June 22-26, 1998 :proceedings /
Published: (1998)

MobiComʹ98 : Proceedings of the Fourth Annual ACM/IEEE International Conference on Mobile Computing and Networking, October 25-30, 1998, Dallas, Texas, USA
Published: (1998)

Hybrid systems :computation and control :first international workshop, HSCCʹ98, Berkeley, California, USA, April 13-15, 1998 :proceedings /
Published: (1998)

Programming languages and systems :7th European Symposium on Programming, ESOP ʹ98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS ʹ98, Lisbon, Portugal, March 28-April 4, 1996 :proceedings /
Published: (1998)

Windows 98 smartstart
by: Weixel, Suzanne
Published: (1998)

Running Microsoft Windows 98/
by: Stinson, Craig
Published: (1998)

Mastering Windows 98/
by: Cowart, Robert
Published: (1998)

Proceedings of the 11th International Computer Conference : JICC 2005, Chongqing, China, 10-12 November 2005 /
Published: (2005)

Proceedings of the 1998 international conference on web-based modeling and simulation : simulation and modeling technology for the twenty-first century /
Published: (1998)

Foundations of software science and computation structures :First International Conference, FoSSaCS ʹ98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʹ98, Lisbon, Portugal, March/April 1998 :proceedings /
Published: (1998)

Windows 98 : the complete reference /
Published: (1998)

Proceedings of the VIII Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON'98), June 14 -17, 1998, Lemesos, Cyprus
Published: (1998)

Tri-Ada ʹ97 Conference : proceedings
Published: (1997)

PARLE ʹ92 : parallel architectures and languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, proceedings /
Published: (1992)

Latinʹ98, theoretical informatics :Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998 :proceedings /
Published: (1998)

Windows 98 : βήμα προς βήμα /
by: Crawford, Sharon.
Published: (1998)

Computing essentials, 1998-1999 /
by: O'Leary, Timothy J., 1947-
Published: (1998)

Proceedings of FMSP ʹ00 : the third Workshop on Formal Methods in Software Practice : August 24-25, 2000, Portland, Oregon, USA /
Published: (2000)

Discovering computers 98 :a link to the future /
by: Shelly, Gary B.
Published: (1998)

Cannot write session to /tmp/vufind_sessions/sess_scro5j65lori3jbtvvs1hhda46