Søk: 'Computer-aided Specification Techniques'
-
Energy Minimization Methods in Computer Vision and Pattern Recognition: Third International Workshop, EMMCVPR 2001, Sophia Antipolis, France, September 3-5, 2001 : Proceedings
ISBN 9783540425410 , 2001 , Tiziana Margaria-Steffen, Tom F. Melham,m.fl.
-
Mathematical computer performance and reliability: proceedings of the International Workshop, Pisa, Italy, September 26-30, 1983
ISBN 9780444868923 , 1984 , P. J. Courtois,m.fl.
-
Advances in Cryptology - EUROCRYPT '98: International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings
ISBN 9783540645184 , 1998 , Kaisa Nyberg
-
Valuepack: An Exp Appro to Org. Dev/ Quant Analy for manag/Marketing Man/Found Quant Meth for Buisin/Acc for non- accounting students/ computer confluence
ISBN 9781405883191 , 2007 , Philip Kotler, Kevin Lane Keller, George Beekman,m.fl.
-
Computer simulation studies in condensed-matter physics IX: proceedings of the ninth workshop, Athens, GA, USA, March 4-9, 1996
ISBN 9783540618768 , 1997 , David P. Landau, Kin K. Mon,m.fl.
-
A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User S Guide for Analyze(c)
ISBN 9780792393221 , 1993 , Harvey J. Greenberg
-
Computer Triangle 2e Getting Started with Basic Ge Tting Started with Lotus Getting Started with Word Perfect 6. 0 Internet
ISBN 9780471313939 , 1997 , 2. utgave , Robert L. Oakman, Babette Kronstadt, David Sachs,m.fl.
-
The complete book of knife fighting: the history of knife fighting techniques and development of fighting knives, together with a practical method of instruction
ISBN 9780873640299 , 1997
-
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
ISBN 9780821813645 , 1999 , Walter Walter Alexandre Carnielli,m.fl.
-
First Australasian User Interface Conference (AUIC 2000): Proceedings, 31 January-3 February 2000, Canberra, Australia
ISBN 9780769505152 , 2000 , IEEE Computer Society,m.fl.
-
User-Oriented Methodology and Techniques of Decision Analysis and Support: Proceedings of the International IIASA Workshop, Held in Serock, Poland, September 9-13, 1991
ISBN 9783540563822 , 1993 , Jaap Wessels, Andrzej P. Wierzbicki
-
Asian Test Symposium 10th Anniversary Compendium of Papers
ISBN 9780769512334 , 2001 , m.fl.
-
Automated Software Performance Measurement: Computer-Assisted Information Resource Management of Applications in IBM Mainframe System Environments Using Smf, Rmf, Sas, Mxg and Mics for Capacity
ISBN 9781583484609 , 1999 , Keith A. Jones
-
Adaptive methods--algorithms, theory and applications: proceedings of the Ninth GAMM-Seminar, Kiel, January 22-24, 1993
ISBN 9783528076467 , 1994 , Wolfgang Hackbusch,m.fl.
-
Advances in cryptology, CRYPTO '95: 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995 : proceedings
ISBN 9783540602217 , 1995 , m.fl.
-
Mobile Networks and Computing: Dimacs Workshop, Mobile Networks and Computing, March 25-27, 1999, Dimacs Center
ISBN 9780821815472 , 2000 , Panos M. Pardalos, Sanguthevar Rajasekaran,m.fl.