Breadcrumb Home Catalog Catalog Book SAT2000 Highlights of Satisfiability Research in the Year 2000 Publication date January 2000 Editors Gent, I., Van Maaren, H., Walsh, T. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 63 of Frontiers in Artificial Intelligence and Applications more details Book Satellite Communications System and its Design Technology Publication date January 2000 Editors Iida, T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book Science of Space Environment Publication date January 2000 Editors Ondo, T., Marubashi, K. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book Signal Processing for Multimedia Publication date January 2000 Editors Byrnes, J.S. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 174 of NATO Science Series, III: Computer and Systems Sciences more details Book Tacti-Based Inductive Theorem Prover for data Types with Partial Operations Publication date January 2000 Authors Külher, U. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 238 of Dissertations in Artificial Intelligence more details Book Teaching and Learning in a Network World TechEd 2000 Proceedings Publication date January 2000 Editors Hoffman, P., Lemke, D. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 60 of Frontiers in Artificial Intelligence and Applications more details Book Technology + Culture = Software Publication date January 2000 Authors Rocchi, P. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book The Challenge of Change for European Judicial Systems Developing a Public Administration Perspective Publication date January 2000 Editors Fabri, M., Langbroek, P.M. Subjects Policy & Law, Information Sciences Volume 14 of International Institute of Administrative Sciences Monographs more details Book Towards a library of bits and bytes The DUTL as centre of knowledge for science and innovation Publication date January 2000 Editors Tissen, R.J. Subjects Information Sciences, Computer Sciences, Mathematics & Statistics more details Book Value of Information Based Design of Control Software Publication date January 2000 Authors Norstrom, J.G. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book Very Long Baseline Interferometer Publication date January 2000 Editors Takahashi, F., Takahashi, Y., Kondo, T., Koyama, Y. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details Book Vision Modeling and Visualization 2000 Publication date January 2000 Editors Greiner, G., Niemann, H., Girod, B., Steinel, H.-P. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details Pagination First page First Previous page Previous … Page 78 Page 79 Page 80 Page 81 Current page 82 Page 83 Page 84 Page 85 Page 86 … Next page Next Last page Last
Book SAT2000 Highlights of Satisfiability Research in the Year 2000 Publication date January 2000 Editors Gent, I., Van Maaren, H., Walsh, T. Subjects Computer Sciences, Mathematics & Statistics, Artificial Intelligence Volume 63 of Frontiers in Artificial Intelligence and Applications more details
Book Satellite Communications System and its Design Technology Publication date January 2000 Editors Iida, T. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book Science of Space Environment Publication date January 2000 Editors Ondo, T., Marubashi, K. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book Signal Processing for Multimedia Publication date January 2000 Editors Byrnes, J.S. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences Volume 174 of NATO Science Series, III: Computer and Systems Sciences more details
Book Tacti-Based Inductive Theorem Prover for data Types with Partial Operations Publication date January 2000 Authors Külher, U. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 238 of Dissertations in Artificial Intelligence more details
Book Teaching and Learning in a Network World TechEd 2000 Proceedings Publication date January 2000 Editors Hoffman, P., Lemke, D. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences, Artificial Intelligence Volume 60 of Frontiers in Artificial Intelligence and Applications more details
Book Technology + Culture = Software Publication date January 2000 Authors Rocchi, P. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book The Challenge of Change for European Judicial Systems Developing a Public Administration Perspective Publication date January 2000 Editors Fabri, M., Langbroek, P.M. Subjects Policy & Law, Information Sciences Volume 14 of International Institute of Administrative Sciences Monographs more details
Book Towards a library of bits and bytes The DUTL as centre of knowledge for science and innovation Publication date January 2000 Editors Tissen, R.J. Subjects Information Sciences, Computer Sciences, Mathematics & Statistics more details
Book Value of Information Based Design of Control Software Publication date January 2000 Authors Norstrom, J.G. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book Very Long Baseline Interferometer Publication date January 2000 Editors Takahashi, F., Takahashi, Y., Kondo, T., Koyama, Y. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details
Book Vision Modeling and Visualization 2000 Publication date January 2000 Editors Greiner, G., Niemann, H., Girod, B., Steinel, H.-P. Subjects Computer Sciences, Mathematics & Statistics, Computer Sciences more details
