Søk: 'Computer Modeling: Software'
-
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.
-
Asian Test Symposium 10th Anniversary Compendium of Papers
ISBN 9780769512334 , 2001 , m.fl.
-
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceed...
ISBN 9783540712084 , 2007 , Michael Huth, Orna Grumberg
-
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.
-
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling and Evaluating Comp...
ISBN 9783540603009 , 1995 , Heinz Beilner, Falko Bause
-
Medical decision making: diagnostic strategies and expert systems : proceedings of the IFIP-IMIA International Working Conference on Computer-Aided Medical Decision-Making, Prague, Czechoslovakia, 30 September-4 October 1985
ISBN 9780444878403 , 1985 , Jan Hendrik Bemmel, François Grémy,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.