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
Author index volume 277 (2002)
2002
Theoretical Computer Science
Preserved Fulltext
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
1990
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.
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
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.
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
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.
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
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 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
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
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 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in 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.
, 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
1995
Journal of the Operational Research Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
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. ...
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
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 ...
Index to Volume 6
1985
IEEE Annals of the History of Computing
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 2018; you can also visit the original URL.
The file type is application/pdf.
(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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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