Filters








431,663 Hits in 5.5 sec

Bibliography

2001 Electronical Notes in Theoretical Computer Science  
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

Master index volumes 41–50

1987 Theoretical Computer Science  
., 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

International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences

Hoai An Le Thi, Joaquim Judice
2011 Computational optimization and applications  
) 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

Page 5 of Science Trends Vol. 50, Issue 17 [page]

1983 Science Trends  
(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.  ... 

Resources

2003 TechTrends  
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

Compiler verification

Maulik A. Dave
2003 Software engineering notes  
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

Summer Programs

1959 Physics today  
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

What we care about now, what we'll care about in the future

Mark Guzdial
2018 ACM inroads  
The core of Curriculum 68: Recommendations for Academic Programs in Computer Science [2] is much the same as the current curriculum volume, Computer Science Curricula 2013 [3] .  ...  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

Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search

J. M. Wilson, D. L. Woodruff
1999 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’.  ... 
doi:10.2307/3010400 fatcat:si3mo7co3zdkrbufb5ppteyn34

Page 191 of University Computing : The Bulletin of the IUCC Vol. 9, Issue 3 [page]

1987 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  ... 

Page 5 of Science Trends Vol. 40, Issue 17 [page]

1978 Science Trends  
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.  ... 

The calibration and validation of a hybrid simulation/regression model of a batch computer system

H. Gomaa
1978 Software, Practice & Experience  
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

Advances in Applied Business Strategy, Volume 5-Turnaround Research

C. Leake, D. Ketchen
1999 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’.  ... 
doi:10.2307/3010399 fatcat:j5i5zlk52rauhf3472pqh5capi

Preface

Giorgio Ausiello, Hendrik Jan Hoogeboom, Juhani Karhumäki, Ion Petre, Arto Salomaa
2012 Theoretical Computer Science  
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

Page 104 of The Journal of the Operational Research Society Vol. 50, Issue 1 [page]

1999 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