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 of Volume 67
2007
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment (2-3) 301-329 Breutel, S., see C. Ouyang (2-3) 162-198 Carbonaro, M., see M. Cutumisu (1) 32-58 Cutumisu, M., C. ...
(1) 32-58 , M., C. Onuczko, M. McNaughton, T. Roy, J. Schaeffer, A. Schumacher, J. Siegel, D. Szafron, K. Waugh, M. Carbonaro, H. Duff and S. ...
Gillis, ScriptEase: A generative/adaptive programming paradigm for game scripting , M. and D. Ren, An update calculus for expressing type-safe program updates (2-3) 199-222 Fapojuwo, A., see M. ...
doi:10.1016/s0167-6423(07)00117-7
fatcat:u42arfqhqndgnj3kakby7hp7zm
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. ...
Volume 25 of AMS Colloquium Publications. American Mathematical Society, 1967. Third edition. 32] F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. ...
doi:10.1016/s1571-0661(05)82567-8
fatcat:x7qb7rygq5bafjjdmi24lbdlse
Publication List of Zoltán Ésik
2017
Acta Cybernetica
I, volume 9234 of Lecture Notes in Computer Science, pages 18-37. ...
, volume 9160 of Lecture Notes in Computer Science, pages 174-188. ...
doi:10.14232/actacyb.23.1.2017.23
fatcat:tpgf7t2sgfdsriwvebwyce3lr4
Page 1013 of Mathematical Reviews Vol. 52, Issue 3
[page]
1976
Mathematical Reviews
The papers in this volume are arranged under four main headings
and 32 sub-headings (the latter are indicated in parentheses in the
following partial table of contents). ...
Part 2: Computer software (Invited papers; Program perform- ance; Program system design; Programming languages and systems; Program optimization; Aspects of programming; Inter- active systems; Data handling ...
JFP volume 19 issue 3-4 Cover and Front matter
2009
Journal of functional programming
Jones, Department of Computer Science, Portland State University, P.O. ...
IP address: 207.241.231.83, on 26 Jul 2018 at 18:14:32, subject to the Cambridge Core terms of use, available at ...
doi:10.1017/s0956796809007370
fatcat:l2lomsmgmzdc3lmgr5ovvy2jwi
An Efficient Framework for Mining Association Rules in the Distributed Databases
2017
Computer journal
Paper indexed in DBLP.
32 . 32 Samar Wazir, Tanvir Ahmad and M. M. ...
Proceedings of the 5th "International Conference on Frontiers in Intelligent Computing: Theory
and Application" published by Springer, Volume: 515, pages: 323-332.
29. ...
doi:10.1093/comjnl/bxx067
fatcat:r2i6aqfrlbdktbidzhtnjt2uju
Page 142 of Computational Linguistics Vol. 32, Issue 1
[page]
2006
Computational Linguistics
Computational Linguistics Volume 32, Number 1
Mary Harper joined the faculty of Purdue University in 1989, where she holds the rank of Professor in the School of Electrical and Computer Engineering. ...
She recently finished a term of slightly
more than three years as the Program Director for the Human Language and Communication Program at the National Science Foundation with the goal of advancing research ...
Compiler verification
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
Retraction Note to: Predicting the total specific pore volume of geopolymers produced from waste ashes by gene expression programming
2020
Neural computing & applications (Print)
Department of Materials Science and Engineering, SavehBranch, Islamic Azad University, Saveh, Iran ...
& Ali Nazari alinazari84@aut.ac.ir geopolymers by gene expression programming. Neural Comput Appl 23:1677-1685. https://doi.org/10.1007/s00521-012-1127-7 3. ...
doi:10.1007/s00521-020-05155-4
fatcat:kcjdwtc6nnhhtjrlv6h3mp7b24
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 ...
A Graphic Matching Process for Searching and Retrieving Information in Digital Libraries of Manuscripts
[chapter]
2017
Communications in Computer and Information Science
The national Program Committee comprised 32 members, with representatives of the most active Italian research groups on digital libraries. ...
The conference draws from a broad and multidisciplinary array of research areas including computer science, information science, librarianship, archival science and practice, museum studies and practice ...
digital cultural heritage collections -New models and applications for digital exhibitions -Current and relevant projects in the field of digital libraries ...
doi:10.1007/978-3-319-73165-0_14
fatcat:vsoqvqtla5cbxnkkkmpa7zt5hi
Page 353 of The Journal of Industrial Engineering Vol. 19, Issue 7
[page]
1968
The Journal of Industrial Engineering
., ““Computer Graphics,” Datamation, Volume 12, No. 5, 1966. TurNAGE, R. E., “The Perception of Flicker in Cathode Ray Tube Displays,” Information Display, Volume 3, No. 3, 1966.
Van Cort, H. ...
., “Computer-Assisted Writing,” Datamation, Volume 12, No. 6, 1966.
MarsHatt, A. ...
Swift: Fast, Reliable, Loosely Coupled Parallel Computation
2007
2007 IEEE Congress on Services (Services 2007)
While such "loosely coupled" computations can involve large amounts of computation and communication, the concerns of the programmer tend to be different than in traditional high performance computing, ...
A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more others-for example, as a file ...
Acknowledgements This work was carried out on computing facilities at the Computation Institute at the University of Chicago, and at the Teragrid UC/ANL site. ...
doi:10.1109/services.2007.63
dblp:conf/IEEEscc/ZhaoHCFLNRSW07
fatcat:gc2zm2wqpzfsjlapvegrt2nfle
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
European association for theoretical computer science
1993
Theoretical Computer Science
The series includes monographs as well as innovative textbooks in all areas of theoretical computer science. The volumes are hard-cover and ordinarily produced by typesetting. ...
EATCS Monographs on Theoretical Computer Science This is a series of monographs published by Springer-Verlag, Berlin, and launched during ICALP 1984; since then 15 volumes have been published. ...
Theoretical Computer Science The journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers, Amsterdam, currently in 16 volumes (32 issues) a year. ...
doi:10.1016/0304-3975(93)90204-7
fatcat:3k4lluho2bfb7epu6skav5fthy
« Previous
Showing results 1 — 15 out of 340,756 results