Filters








238,778 Hits in 6.5 sec

Author index volume 277 (2002)

2002 Theoretical Computer Science  
Theoretical Computer Science 277 (2002) 223 Author index volume 277 (2002) (The issue number is given in front of the page numbers) Bagnara, R., P.M. Hill and E.  ...  Ryu, A cost-effective estimation of uncaught exceptions in Standard ML programs (1-2) 185-217 Zaffanella, E., see R. Bagnara (1-2) 3-46  ... 
doi:10.1016/s0304-3975(02)00125-1 fatcat:rqtgykg36bc3fcgvraoxpkhig4

Editorial

Arto Salomaa
1990 Theoretical Computer Science  
All the accepted papers have appeared as Volume of the Springer Lecture Notes in Computer Science, edited by Timo Lepistii and Arto Saiomaa.  ...  ,pere University of Technology from July Ii to July 15, 1988. T%e program committee selected 46 papers from 195 submitted ones.  ...  Elsevier Science Publishers B.V. (North-Holland)  ... 
doi:10.1016/0304-3975(90)90187-m fatcat:zjd4dg6dwveknaai4aqpdt2u7i

Master index volumes 41–50

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

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

Author index volume 46 (1986)

1986 Theoretical Computer Science  
AUTHOR INDEX VOLUME 46 (1986) ( The issue number is given in front of the page numbers) Bernot, G., M. Bidoit and C.  ...  Kinber, Generalized regular expressions--A language for synthesis of programs with branching in loops (2, 3) 175-195 Choppy, C., see G.  ... 
doi:10.1016/0304-3975(86)90039-3 fatcat:aturjbxhkbav5bvv4w7a3sunti

MSC volume 23 issue 4 Cover and Back matter

2013 Mathematical Structures in Computer Science  
Published bimonthly, Combinatorics, Probability & Computing is devoted to the three areas of combinatorics, probability theory and theoretical computer science.  ...  algorithms (including complexity theory), randomised algorithms, probabilistic analysis of algorithms, computational learning theory and optimisation.  ...  side of mathematics and mathematical logic to computer science.  ... 
doi:10.1017/s0960129513000443 fatcat:ggciz2yorbebdagbpc6qwjbyfu

Page 1153 of The Journal of the Operational Research Society Vol. 46, Issue 9 [page]

1995 The Journal of the Operational Research Society  
Hall International, London, 1994. xxv + 901 pp. £22.95 ISBN 0 13 097486 2 Yet another slim volume of management science?  ...  Part 1 addresses programming problems but, because of a taxonomic miscalcula- tion, it also includes the introduction to management science.  ... 

MSC volume 22 issue 2 Cover and Back matter

2012 Mathematical Structures in Computer Science  
Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them.  ...  whether from the perspective of theoretical or descriptive linguistics, lexicology, computer science or engineering.  ... 
doi:10.1017/s0960129512000023 fatcat:3ttg5t23xzgdxn4dydoxftxcrm

The Subdivision of Large Simplicial Cones in Normaliz [chapter]

Winfried Bruns, Richard Sieg, Christof Söger
2016 Lecture Notes in Computer Science  
, y d 6: compute hyperplanes {H 1 , . . . , H d } and volume of T 7: if vol(T ) < Bound then continue The Algorithm Algorithm Bottom Points Input: S = cone(x 1 , . . . , x d ) simplex with vol(S) ≥ Bound  ...  9.83 × 10 7 4.17 × 10 14 2.8 × 10 14 bottom volume 8.10 × 10 5 3.86 × 10 7 2.02 × 10 7 volume used 3.93 × 10 6 5.47 × 10 7 2.39 × 10 7 integer programs solved 4 582016 11621 improvement factor  ... 
doi:10.1007/978-3-319-42432-3_13 fatcat:rwwkjetazjhk5hagdhbldqnjoe

Management Science: The Art of Decision Making

Stelios Kafandaris, Kamlesh Mathur, Daniel Solow
1995 Journal of the Operational Research Society  
Hall International, London, 1994. xxv + 901 pp. £22.95 ISBN 0 13 097486 2 Yet another slim volume of management science?  ...  Part 1 addresses programming problems but, because of a taxonomic miscalcula- tion, it also includes the introduction to management science.  ... 
doi:10.2307/2584502 fatcat:oopy4ymr5jht7gehnzykqkfncy

JFP volume 19 issue 6 Cover and Front matter

2009 Journal of functional programming  
Jones, Department of Computer Science, Portland State University, P.O.  ...  IP address: 207.241.231.80, on 25 Jul 2018 at 17:03:46, subject to the Cambridge Core terms of use, available at  ... 
doi:10.1017/s0956796809990232 fatcat:qhxkfmrvsndrzbbyc6tnkj4ozy

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.  ...  Ullmann (eds.), Applied Formal Methods -FM-Trends 98, Nr. 1641, Lecture Notes in Computer Science, S. 122 -136, 1998 46 W. Goerigk and F.  ... 
doi:10.1145/966221.966235 fatcat:2aectsl4ejbkjmsv6erfez5ika

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

Index to Volume 6

1985 IEEE Annals of the History of Computing  
(Foreword by Gordon Bell) 229 Index to Volume 5, Annals of the History of The Discovery of Linear Programming, by Robert Computing 83 Dorfman (Foreword by George B.  ...  'Annals of the History of Computing, Volume 7, Number 1, January 1985 l 95  ... 
doi:10.1109/mahc.1985.10000 fatcat:n2drhcmbdvh35ff33gm477lalm

Page 86 of Journal of Research and Practice in Information Technology Vol. 10, Issue 3 [page]

1978 Journal of Research and Practice in Information Technology  
Gruska, Mathematical Foundations of Computer Science 1977, (volume 53 of Lecture Notes in Computer Science), Springer-Verlag, Berlin/Heidelberg/New York, 1977, xi + 595pp. $17.20.  ...  The proceedings of the third, fourth and fifth symposia have appeared as earlier volumes of the Springer Lecture Notes in Computer Science series.  ... 
« Previous Showing results 1 — 15 out of 238,778 results