27,942 results
Search Results
202. Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012.
203. Web Technologies: Selected & extended papers from WT ACM SAC 2012.
204. Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
205. Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
206. Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I
207. Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers
208. Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
209. Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
210. Paper-tape data handling for a cosmic ray experiment
211. Professional women in computer programming occupations: the case of Turkey
212. The Early Development of Programming Languages**The preparation of this paper has been supported in part by National Science Foundation Grant No. MCS 72-03752 A03, by the Office of Naval Research contract N00014-76-C-0330, and by IBM Corporation. The authors wish to thank the originators of the languages cited for their many helpful comments on early drafts of this paper.††Reprinted from J. Belzer, A. G. Holzman, and A. Kent (eds.), 'Encyclopedia of Computer Science and Technology,' Vol. 6, pp. 419–493. Dekker, New York, 1977. Courtesy of Marcel Dekker, Inc
213. Introduction to the 26th international conference on logic programming special issue.
214. Model-Driven Engineering and Software Development : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers
215. Chatbot Research and Design : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22–23, 2022, Revised Selected Papers
216. Evaluation of Novel Approaches to Software Engineering : 17th International Conference, ENASE 2022, Virtual Event, April 25–26, 2022, Revised Selected Papers
217. Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
218. Evolution Performance of Symbolic Radial Basis Function Neural Network by Using Evolutionary Algorithms.
219. Trends in Functional Programming : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
220. Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
221. Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
222. High Performance Computing for Computational Science – VECPAR 2018 : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
223. Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
224. Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
225. Programming and Performance Visualization Tools : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
226. Foundations and Practice of Security : 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
227. Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
228. Supercomputing : 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
229. Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
230. Designing an intelligent tutoring system for computer programing in the Pacific.
231. Resolution of the Burrows-Wheeler Transform Conjecture.
232. Some critical remarks on the stop word lists of ISI publications
233. The Cataloger’s Desktop Suite
234. A tabu search heuristic for the component assignment problem in PCB assembly
235. Using XML and XSLT to process and render online journals
236. Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15).
237. MODELING COMPLEXITY IN THE STRUCTURE OF DESIGN REGULATION.
238. The Open Runtime Platform: a flexible high-performance managed runtime environment<FNR></FNR><FN>An earlier version of this paper was published online [1] </FN>.
239. Selected and extended papers from SBLP 2013.
240. Preamble computation in automated test case generation using constraint logic programming<FNR></FNR><FN>A version of this paper was originally presented at SoftTest II: The Second U.K. Workshop on Software Testing Research, held at the University of York, U.K., 4–5 September 2003. It is reproduced here in modified form with the permission of the Workshop organizers </FN>
241. Discrete Multiattribute Utility Approach to Project Selection
242. High-level data races<FN>An earlier version of this paper was originally presented at the First International Workshop on Verification and Validation of Enterprise Information Systems, held at Angers, France on 22 April 2003. It is reproduced here in modified form with the permission of the Workshop organizers and the publishers of the proceedings, ICEIS. </FN>
243. A SYSTEMATIC MAPPING STUDY OF EMPIRICAL STUDIES ON THE USE OF PAIR PROGRAMMING IN INDUSTRY.
244. Version Control Systems to Facilitate Research Collaboration in Economics.
245. A survey of experimental stimulus presentation code sharing in major areas of psychology.
246. CONTRIBUTIONS OF COGNITIVE SCIENCE AND RELATED RESEARCH IN LEARNING TO THE DESIGN OF COMPUTER LITERACY CURRICULA11A more detailed version of this paper is available as a technical report from the author. Much of the work cited in this paper was supported by grant SED77-19875 from the National Science Foundation and grant NIE-G80-0118 from the National Institute of Education
247. Fair Evaluation of Orientation‐Averaging Techniques in Light‐Scattering Simulations: Comment on "Evaluation of Higher‐Order Quadrature Schemes in Improving Computational Efficiency for Orientation‐Averaged Single‐Scattering Properties of Nonspherical Ice Particles" by Fenni et al
248. Improving Memory Management, Performance with Rust: Why Rust is becoming the programming language of choice for many high-level developers.
249. The proposed new R and D incentive in Australia - is this a carrot or a stick? [Series of parts]: Part 3
250. Software Technologies : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.