271,981 Hits in 3.9 sec


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


Giorgio Levi
1991 Theoretical Computer Science  
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  
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  
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  
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  
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  
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  
(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

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

Page 188 of The Journal of Industrial Engineering Vol. 17, Issue 4 [page]

1966 The Journal of Industrial Engineering  
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  
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  ... 


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