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 application/pdf.
Filters
Bibliography
2001
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
Sokolowoski, editors, Proceedings
of MFCS'93, Gdansk, Poland, volume 711 of Lecture Notes in Computer
Science, pages 301 310. Springer-Verlag, 1993.
39] M.M. Bonsangue and J.N. Kok. ...
Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985. 50] A. Cayley. The theory of groups. ...
doi:10.1016/s1571-0661(05)82567-8
fatcat:x7qb7rygq5bafjjdmi24lbdlse
Editorial
1991
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
The programme committee selected 39 out of 150 submitted papers. ...
All the accepted papers have been published in a volume, edited by myself and Maurizio Martelli, in the Logic Programming Series of MIT Press. ...
doi:10.1016/0304-3975(91)90002-j
fatcat:esrs2dy3f5h5lf2y5y2ubdoszu
Author index volume 39 (1985)
1985
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
AUTHOR INDEX VOLUME 39 (1985) (The issue number is given in front of the page numbers) Arnold, A., A syntactic congruence for rational to-languages (Note) (2, 3) 333-335 Back, R.J.R. and H. ...
Joseph, Foreword to the Special Issue on the Third Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, 12-14 December, 1983 (1) 1 Siromoney, 1L and V.IL Dare, ...
doi:10.1016/0304-3975(85)90152-5
fatcat:bxtjhuy4mzcobpmadiz3rifdlu
Page 2 of Science Trends Vol. 12, Issue 9
[page]
1964
Science Trends
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This volume presents a system of analytical procedures and electronic computer programs for calibrating and testing a gravity model with a small computer. 293 pages. ...
An attempt is made to study the important con- tributions of this field of science to the practical problems encountered in the area of sequential machine theory. 39 pages. ...
Page 354 of Journal of Polymer Science. Part B, Polymer Physics Vol. 39, Issue 3
[page]
2001
Journal of Polymer Science. Part B, Polymer Physics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Hole fraction versus density for HCFC-142b: h values computed with program 1 (circles) and h values computed with program 2, s = 1 and c adjustable (squares). ...
Thus,
yin, = obhppa fs (1 = ob)h PS (14b)
Expressing the volume fraction of PFA in the mixture, #, in terms of the weight percentage, W, and the computed specific volumes, V; = 1/p; (¢ = PS or PFA) at ...
Page 1308 of Neural Computation Vol. 7, Issue 6
[page]
1995
Neural Computation
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A special preference is given to:
— logical systems and methods of computer science,
— algebraical models and methods of computer science. ...
of programs and programming, theory of data structures, the- | ory of formal languages, theory of parallel and distributed computing, term rewriting. ...
Author index of Volume 42
2002
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Feijs
(2}3) 173}228
Robertson, D., Pitfalls of formality in early system design
(1)
29} 38
Sims, S.T., see R. Cleaveland
(1)
39} 47
Sokolsky, O., see H.-H. ...
Elsevier Science B.V. PII: S 0 1 6 7 -6 4 2 3 ( 0 1 ) 0 0 0 3 4 -X Kreinovich, V., see D.E. Cooke (1) 115}128 KraK mer, B.J., see N. VoK lker (1) 101}113 Kwak, H.-H., I. Lee and O. ...
doi:10.1016/s0167-6423(01)00034-x
fatcat:knelup5b55euddxnt6og3q2hbm
Page 5 of Science Trends Vol. 16, Issue 13
[page]
1966
Science Trends
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(Write Department of Computer Science, University of Illinois, Urbana, Ill. regarding availability of Report No. 196.) ...
Written mostly in FORTRAN IV language. 39 pages. (A Computer Program to Improve STADAN Station Scheduling, NASA TM X-1230, available through NASA/contractor channels or at $2 from Clearinghouse, U.S. ...
Compiler verification
2003
Software engineering notes
Preserved Fulltext
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 application/pdf.
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
Page 188 of The Journal of Industrial Engineering Vol. 17, Issue 4
[page]
1966
The Journal of Industrial Engineering
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Publications,” JEEE Transactions, Volume EM-11, Number 1, 1964.
(35) Pracer, W., “A Structural Method of Computing Project Cost Curves,” Management Science, Volume 9, p. 394, 1963.
(36) RosEnBiooM, R. ...
for Science/Engineering, March-April, 1964.
(8) Docrusoz, Hat, “Development Programming,” Operations Re- search, Volume 9, Number 5, 1961.
(9) Dootey, Arcu R., “Interpretations of PERT,” Harvard Business ...
Page 211 of The Psychological Record Vol. 11, Issue 2
[page]
1961
The Psychological Record
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Farmer
Computer Program Abstracts (No. 39-46)
Abstracts of Current Literature with Interdisciplinary Implications About the Authors
Please address ail correspondence to:
BEHAVIORAL SCIENCE Mental Health ...
Radnitsky
Book Reviews
Computers in Behavioral Science Preparing Psychophysiologic Analog Information for the Digital Computer by Herbert Zimmer
Automated Programming for Multinomial Distribution Problems ...
Preface
2012
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Lecture Notes in Computer Science, volume 1494, Springer-Verlag, 1998. 39. J. Mycielski, G. Rozenberg, A. Salomaa (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
Special issues
1992
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
Special Issues In Volumes l-100 of Theoretical Computer Science the following special issues have been published. ...
Semantics of Concurrent Computation Second Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, December 13-15, 1982 Guest Editors: M. Joseph and R.K. ...
doi:10.1016/0304-3975(92)90293-o
fatcat:yafx43fp45dj3grn7j5xb3hvvu
Page 25 of Journal of Research and Practice in Information Technology Vol. 18, Issue 1
[page]
1986
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
KNUTH, D.E. (1973): The Art of Computer Programming, Volume 3, Addison Wesley, Reading, Mass. ...
Thesis, Department of Computer Science, University of New South Wales, Sydney, Australia. ...
Page 5 of Science Trends Vol. 39, Issue 14
[page]
1978
Science Trends
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
EARTHQUAKE PROGRAMS: A plan for augmenting National Science Foundation and US Geological Survey earthquake-related programs. ...
MARINE TECHNOLOGY TRANSFER: Anthology of papers on ways to improve the effec- tiveness of US activities in international marine science and technology programs. ...
« Previous
Showing results 1 — 15 out of 271,981 results