A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985. 50] A. Cayley. The theory of groups. ... Ito, editors, Proceedings of TACS'97, Sendai, Japan, volume 1281 of Lecture Notes in Computer Science. Springer-Verlag, 1997. 42] M.M. Bonsangue and J.N. Kok. ...doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse
., Equivalences transformations of regular systems-applications to recursive program -3975/87/$3.50 @ 1987, Elsevier Science Publishers 354 Master Index Volumes 41-50 ... Tucker, Algebraic specifications of computable and semicomputable data types ental Studies) 50 (2) (1987) 137-181 Bidoit and C. ... ., A simple proof of a time-space trade-off for sorting with linear Comparhm (Note) 43 ...doi:10.1016/0304-3975(87)90061-2 fatcat:6sqesmv3hrfldllnigzf7yvgay
) programming and DCA (DC Algorithms) for solving one of the fundamental problems of mathematical programming which has many applications in several areas of science, engineering and economics. ... The refereed Proceedings of MCO 2008 including 65 selected papers were published in a book series Communications in Computer and Information Science (CCIS) of Springer. ... We feel that this special issue will be a scientific source of information to researchers in optimization, computational engineering, computer science and applied mathematics. ...doi:10.1007/s10589-011-9433-z fatcat:ysulqzjxhraozc7wxum7jwzqa4
(Volume |: Public Services in Health Sciences Libraries, and Volume II: Technical Services in Health Sciences Libraries, available from Medical Library Assn., 919 N. ... COMPUTERS/EDUCATION: Report from a Nov. 1982 conference in Pittsburgh on the future of computers in education and the research required to make optimum use of such devices. ...
This National Standards publication for school media center programs includes information literacy standards for student learning as well as revised standards for school library media programs. ... To order, visit Price: $31.95 This book provides an overview of compressed video operations and applications in instruction, training, and video-conferencing for a variety of purposes. ... And Lyrical Life Science -Volume 3 focuses on the human body (text, CD & workbook -$29.50). ...doi:10.1007/bf02763209 fatcat:zaeiuq4qfzfmxpnr7vd4thyf3q
Winskel, editors, Proceedings of the 25th International Colloquium on Automata, Languages, and Programming (ICALP 1998), volume 1443 of Lecture Notes in Computer Science, pages 235-246. ... Steffen, editor, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998), volume 1384 of Lecture Notes in Computer Science, pages ...doi:10.1145/966221.966235 fatcat:2aectsl4ejbkjmsv6erfez5ika
Reactions I 42 clear Reactions IT] 44 iclear Instrumentation I 45 clear Instrumentation II Cosmic Rays (Volume 46) Geophysics (Volumes 47-49) 47 Geophy 48 Geoph Astrophysics (Volumes 50-54) 50 Stellar ... C.: Programmers with substantial experience in the de velopment of large digital compute programs; background should include experience with design and application of assembly programs, compilers, and ...doi:10.1063/1.3060691 fatcat:mwmfyhrpjrgkhkmrpr3ppnyxou
The core of Curriculum 68: Recommendations for Academic Programs in Computer Science  is much the same as the current curriculum volume, Computer Science Curricula 2013  . ... SIGCSE has defined the focus of computing education for the last 50 years. Predicting the future of SIGCSE is predicting the future of computing education. ... What would have been hard to predict 50 years ago is specifically what parts of computer science would become the core of a new computational practice, and that the practitioners of these new practices ...doi:10.1145/3276304 fatcat:cbsqvskqifflln7dnl7dwganfq
ISBN 0 7923 8078 9 This edited volume presents twelve contributions that repre- sent ‘the expanding research frontiers in Operations Research and Computer Science at the time of the sixth conference of ... the Computer Science Technical Section of INFORMS held January 7—9, 1998 in Carmel, California’. ...doi:10.2307/3010400 fatcat:si3mo7co3zdkrbufb5ppteyn34
University Computing : The Bulletin of the IUCC
program in BASIC for estimating Kp, and Vina, A Page @ Comparison of tRNA sequences H B Nicholas, Y-M Chen and WH McClain Volume 3 4 issues in 1987 ISSN 0266-7061 Coden COABER North and South Rest of ... International journal to advance the application of computers in the life sciences Executive editors R J Beynon, Liverpool, UK JL Modelevsky, Northbrook, USA Associate editor W Rindone, Cambridge, USA ...
COMPUTER CURRICULUM: Provides model curricula for four-year bachelor-level degree programs in computer science and engineering. 98 pages. ... HEALTH SCIENCES AV: Directory of 5000 audiovisual titles in the health sciences. Two volumes, 510 pages total. ...
Gomaa, "Modeling Variability in Software Product Lines with the Variation Point Model", Journal of Science of Computer Programming, Volume 53, Issue 3, Pages 305-331, Elsevier, December 2004. 25. ... Gomaa, "Software Requirements and Architecture Modeling for Evolving Non-Secure Applications into Secure Applications", Journal of Science of Computer Programming, Volume 66, Issue 1, Pages 60-70, Elsevier ...doi:10.1002/spe.4380080103 fatcat:cnjwf3dq2nbd5d7eoyq6zefge4
ISBN 0 7923 8078 9 This edited volume presents twelve contributions that repre- sent ‘the expanding research frontiers in Operations Research and Computer Science at the time of the sixth conference of ... the Computer Science Technical Section of INFORMS held January 7—9, 1998 in Carmel, California’. ...doi:10.2307/3010399 fatcat:j5i5zlk52rauhf3472pqh5capi
Multiset Processing-Mathematical, Computer Science, and Molecular Computing Points of View. Lecture Notes in Computer Science, volume 2235, Springer-Verlag, 2001. 50. A. Condon, G. Rozenberg (eds.). ... Concurrent Object-Oriented Programming and Petri Nets (Advances in Petri Nets). Lecture Notes in Computer Science, volume 2001, 2001. 51. C.S. Calude, G. Păun, G. Rozenberg, A. Salomaa (eds.). ...doi:10.1016/j.tcs.2011.12.019 fatcat:ddqedalydvcdncrzasv4wejwei
The Journal of the Operational Research Society
ISBN 0 7923 8078 9 This edited volume presents twelve contributions that repre- sent ‘the expanding research frontiers in Operations Research and Computer Science at the time of the sixth conference of ... the Computer Science Technical Section of INFORMS held January 7—9, 1998 in Carmel, California’. ...
« Previous Showing results 1 — 15 out of 431,663 results