Applied parallel computing : industrial computation and optimization ; third international workshop, PARA '96, Lyngby, Denmark, August 18 - 21, 1996 ; proceedings /

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings /
Published: (1996)

Advances in artificial intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23 - 25, 1996 ; proceedings /
Published: (1996)

Computer security - ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25 - 27, 1996 ; proceedings /
Published: (1996)

Broadband communications : networks, services, applications, future directions ; 1996 International Zurich Seminar on Digital Communications, IZS '96, Zurich, Switzerland, February 21 - 23, 1996 ; proceedings /
Published: (1996)

Combinatorial pattern matching : 7th annual symposium, CPM 96, Laguna Beach, California, June 10 - 12, 1996 ; proceedings /
Published: (1996)

TAPSOFT '95: theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995 ; proceedings /
Published: (1995)

Compiler construction : 6th international conference, CC '96, Linköping, Sweden, April 24 - 26, 1996 ; proceedings /
Published: (1996)

Applied computational geometry : towards geometric engineering ; FCRC '96 workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996 ; selected papers /
Published: (1996)

Advanced information systems engineering : 8th international conference, CAiSE '96, Heraklion, Crete, Greece, May 20 - 24, 1996 ; proceedings /
Published: (1996)

Funtional programming languages in education : first international symposium, FPLE '95, Nijmegen, The Netherlands, December 4 - 6, 1995 ; proceedings /
Published: (1995)

Stability of solutions to convex problems of optimization /
by: Malanowski, Kazimierz
Published: (1987)

Computing and combinatorics : first annual international conference, COCOON '95, Xi'an, China, August 24 - 26, 1995 ; proceedings /
Published: (1995)

Discrete geometry for computer imagery : 6th international workshop , DGCI '96, Lyon, France, November 13 - 15, 1996 ; proceedings /
Published: (1996)

Field-programmable logic : smart applications, new paradigms and compilers ; 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, 1996 ; proceedings /
Published: (1996)

Dynamic games in economic analysis : proceedings of the fourth International Symposium on Differential Games and Applications, August 9 - 10, 1990, Helsinki University of Technology, Finland /
Published: (1991)

PRICAI '96: topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 - 30, 1996 ; proceedings /
Published: (1996)

Modelling and optimization of complex system : proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3 - 9 July, 1978 /
Published: (1979)

Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 ; selected papers /
Published: (1996)

Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings /
Published: (1995)

Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 4 - 8, 1994 ; proceedings /
Published: (1994)

Optimal control : proceedings of the Conference on Optimal Control and Variational Calculus, Oberwolfach, West-Germany, June 15 - 21, 1986 /
Published: (1987)

Applied mathematics and parallel computing : festschrift for Klaus Ritter /
Published: (1996)

Control of large flexible space structures /
by: Joshi, S. M. (Suresh M.)
Published: (1989)

Stochastic programming /
Published: (1986)

Optimization and optimal control : proceedings of a conference held at Oberwolfach, March 16 - 22, 1980 /
Published: (1981)

Cryptography : policy and algorithms ; international conference, Brisbane, Queensland, Australia, July 3 - 5, 1995 ; proceedings /
Published: (1996)

Stochastic modelling and filtering : proceedings of the IFIP-WG 7/1 working conference, Rome, Italy, Decembre 10 - 14, 1984 /
Published: (1987)

Identification of continuous dynamical systems : the poisson moment functional (PMF) approach /
by: Saha, Dines Chandra, et al.
Published: (1983)

Multimedia, hypermedia, and virtual reality : models, systems, and applications ; first international conference, MHVR '94, Moscow, Russia, September 14 - 16, 1994 ; selected papers /
Published: (1996)

Bringing telecommunication services to the people - IS&N '95 : third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 - 19, 1995 ; proceedings /
Published: (1995)

Dynamics and Geomorphology of Mountain Rivers.
Published: (1994)

Robust stability and convexity : an introduction /
by: Kogan, Jacob
Published: (1995)

Advanced robot control : proceedings of the International Workshop on Nonlinear and Adaptive Control: Issues in Robotics, Grenoble, France, Nov. 21 - 23, 1990 /
Published: (1991)

Optimal control of partial differential equations : proceedings of the IFIP WG 7.2 international conference, Irsee, April 9 - 12, 1990 /
Published: (1991)

Strength and deformations of structural concrete subjected to in-plane shear and normal forces /
by: Kaufmann, Walter Hans Jakob

Control problems for systems described by partial differential equations and applications : proceedings of the IFIP-WG 7.2 working conference, Gainesville, Florida, February 3 - 6, 1986 /
Published: (1987)