Digital computer fundamentals (6th ed.)
Digital computer fundamentals (6th ed.)
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Brains, machines, and mathematics (2nd ed.)
Brains, machines, and mathematics (2nd ed.)
The algebraic eigenvalue problem
The algebraic eigenvalue problem
Computing machinery and intelligence
Computers & thought
Chess-playing programs and the problem of complexity
Computers & thought
Some studies in machine learning using the game of checkers
Computers & thought
Empirical explorations with the logic theory machine: a case study in heuristics
Computers & thought
Realization of a geometry-theorem proving machine
Computers & thought
Baseball: an automatic question answerer
Computers & thought
Inferential memory as the basis of machines which understand natural language
Computers & thought
The simulation of verbal learning behavior
Computers & thought
Simulation of behavior in the binary choice experiment
Computers & thought
A model of the trust investment process
Computers & thought
Attitudes toward intelligent machines
Computers & thought
Steps toward artificial intelligence
Computers & thought
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Intelligence through simulated evolution: forty years of evolutionary programming
Intelligence through simulated evolution: forty years of evolutionary programming
A Variant to Turing's Theory of Computing Machines
Journal of the ACM (JACM)
A Descriptive Language for Symbol Manipulation
Journal of the ACM (JACM)
A General Translation Program for Phrase Structure Languages
Journal of the ACM (JACM)
An Algorithm for Translating Boolean Expressions
Journal of the ACM (JACM)
Theorem-Proving on the Computer
Journal of the ACM (JACM)
Computability of Recursive Functions
Journal of the ACM (JACM)
Syntactic Analysis and Operator Precedence
Journal of the ACM (JACM)
Program for Double-Dummy Bridge Problems—A New Strategy for Mechanical Game Playing
Journal of the ACM (JACM)
A Programming Language for Simulating Digital Systems
Journal of the ACM (JACM)
A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Journal of the ACM (JACM)
On Formalisms for Turing Machines
Journal of the ACM (JACM)
Program and Addressing Structure in a Time-Sharing Environment
Journal of the ACM (JACM)
ALPHA—An Automatic Programming System of High Efficiency
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
The Synthesis of Algorithmic Systems
Journal of the ACM (JACM)
The Solvability of the Halting Problem for 2-State Post Machines
Journal of the ACM (JACM)
Communications of the ACM
A university's educational program in computer science
Communications of the ACM
System performance evaluation: survey and appraisal
Communications of the ACM
A use of fast and slow memories in list-processing languages
Communications of the ACM
A proposal for definitions in ALGOL
Communications of the ACM
Communications of the ACM
Communications of the ACM
The simulation of time sharing systems
Communications of the ACM
Communications of the ACM
Communications of the ACM
An efficient machine-independent procedure for garbage collection in various list structures
Communications of the ACM
Answering English questions by computer: a survey
Communications of the ACM
The remaining trouble spots in ALGOL 60
Communications of the ACM
Communications of the ACM
GARGOYLE: a language for compiler writing
Communications of the ACM
Bounded context syntactic analysis
Communications of the ACM
“Structural connections” in formal languages
Communications of the ACM
A general business-oriented language based on decision expressions
Communications of the ACM
An extension to ALGOL for manipulating formulae
Communications of the ACM
Programming of digital computers
Communications of the ACM
A storage allocation and reference structure
Communications of the ACM
On the relative efficiencies of context-free grammar
Communications of the ACM
An executive system implemented as a finite-state automaton
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
Description of a high capacity, fast turnaround university computing center
Communications of the ACM
Syntax-directed interpretation of classes of pictures
Communications of the ACM
Data manipulation and programming problems in automatic information retrieval
Communications of the ACM
TRAC, a procedure-describing language for the reactive typewriter
Communications of the ACM
High speed compilation of efficient object code
Communications of the ACM
Some techniques used in the ALCOR ILLINOIS 7090
Communications of the ACM
A computer center simulation project
Communications of the ACM
Design of computer simulation experiments for industrial systems
Communications of the ACM
An ALGOL-like computer design language
Communications of the ACM
Determining a computing center environment
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Computer simulation—discussion of the technique and comparison of languages
Communications of the ACM
Multi-tape and infinite-state automata—a survey
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
A syntax directed compiler for ALGOL 60
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Toward better documentation of programming languages: introduction
Communications of the ACM
CORC—the Cornell computing language
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
An information algebra: phase 1 report—language structure group of the CODASYL development committee
Communications of the ACM
Addressing multidimensional arrays
Communications of the ACM
Sequential formula translation
Communications of the ACM
Proving theorems by pattern recognition I
Communications of the ACM
Communications of the ACM
A machine program for theorem-proving
Communications of the ACM
On programming of arithmetic operations
Communications of the ACM
Switching Circuits for Engineers
Switching Circuits for Engineers
Introduction to Electronic Computers
Introduction to Electronic Computers
Numerical Methods for Scientists and Engineers
Numerical Methods for Scientists and Engineers
Elementary Numerical Analysis: An Algorithmic Approach
Elementary Numerical Analysis: An Algorithmic Approach
Computers and Thought
Compound data structure for computer aided design; a survey
ACM '67 Proceedings of the 1967 22nd national conference
Programming languages for non-numeric processing—1: TMG—a syntax directed compiler
ACM '65 Proceedings of the 1965 20th national conference
Programming languages for non-numeric processing—2: An introduction to the COGENT programming system
ACM '65 Proceedings of the 1965 20th national conference
META II a syntax-oriented compiler writing language
ACM '64 Proceedings of the 1964 19th ACM national conference
An environment for an operating system
ACM '64 Proceedings of the 1964 19th ACM national conference
FORMAC an experimental formula manipulation Compiler
ACM '64 Proceedings of the 1964 19th ACM national conference
Design of a multi-level file management system
ACM '66 Proceedings of the 1966 21st national conference
ACM '66 Proceedings of the 1966 21st national conference
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
Survey of programming languages and processors
Communications of the ACM
Computation: finite and infinite machines
Computation: finite and infinite machines
Algol-60 Implementation
Programming Systems and Languages.
Programming Systems and Languages.
Rounding Errors in Algebraic Processes
Rounding Errors in Algebraic Processes
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Design of Real-Time Computer Systems
Design of Real-Time Computer Systems
Introduction to Mathematical Machine Theory
Introduction to Mathematical Machine Theory
Automatic Information Organization and Retrieval.
Automatic Information Organization and Retrieval.
The language of computers
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
Machine-independent computer programming
Machine-independent computer programming
An introduction to digital computing
An introduction to digital computing
A programming language
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
The art of simulation
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
The logic of computer arithmetic
The logic of computer arithmetic
Planning a computer system: Project Stretch
Planning a computer system: Project Stretch
Sequential Machines: Selected Papers
Sequential Machines: Selected Papers
University Education in Computing Science
University Education in Computing Science
A model curriculum for a liberal arts degree in computer science
Communications of the ACM - The MIT Press scientific computation series
Compiler construction using modern tools
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
A mathematically focused curriculum for computer science
Communications of the ACM
Communications of the ACM - Celebrating ACM's 40th anniversary
The decline and fall of Operating Systems I
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Two undergraduate courses in the theory of computation
ACM SIGCSE Bulletin
Electronics Technology and Computer Science, 1940-1975: A Coevolution
IEEE Annals of the History of Computing
Computer science: a core discipline of liberal arts and sciences
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Communications of the ACM - Special issue: Soviet computing
The relationship between pre-college mathematics and the undergraduate computer science curricula
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Local considerations in computer science curricula development
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
CS 1 labs: goals and expectations
ACM SIGCSE Bulletin
Evaluating discrete mathematics exercises
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
New directions in the introductory computer science curriculum
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Intractability: a geometric representation
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Computing programs in small colleges
Communications of the ACM
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
Historical perspectives on the computing curriculum
ACM SIGCUE Outlook - Special issue: ITiCSE '97 working group papers
History in the Computing Curriculum IFIP TC3 and TC9 Join Task Group
IEEE Annals of the History of Computing
Curriculum 2001: interim report from the ACM/IEEE-CS task force
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Communications of the ACM
One Man's View of Computer Science
Journal of the ACM (JACM)
Toward a Theory of Enumerations
Journal of the ACM (JACM)
Computer organization/architecture: a threaded top-down design
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Brit bits: computer science in British further education
CSC '87 Proceedings of the 15th annual conference on Computer Science
Reexamining the introductory computer science course in liberal arts institutions
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Curriculum '78—is computer science really that unmathematical?
Communications of the ACM
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
A computer science course program for small colleges
Communications of the ACM
Information science in a Ph.D. computer science program
Communications of the ACM
Using computers in higher education: past recommendations, status, and needs
Communications of the ACM
Master's level computer science curricula
Communications of the ACM
Computer manpower in the United States - supply and demand
ACM SIGCSE Bulletin
Fortran and the first course in computer science
ACM SIGCSE Bulletin
Using microcomputers in computer education
ACM SIGCSE Bulletin
The laboratory in a computer science program
ACM SIGCSE Bulletin
Computer manpower in the United States-supply and demand: an update
ACM SIGCSE Bulletin
Journal on Educational Resources in Computing (JERIC)
The 'Question of Professionalism' in the Computer Fields
IEEE Annals of the History of Computing
IS '97: model curriculum and guidelines for undergraduate degree programs in information systems
IS '97 Guidelines for undergraduate degree programs on Model curriculum and guidelines for undergraduate degree programs in information systems
Computer
Alternatives to the traditional first course in computing
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
The mathematics component of the undergraduate curriculum in computer science (Panel Discussion)
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
A machine independent assembler course
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
An evaluation scheme for a comparison of computer science curricula with ACM's guidelines
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Computer Science at Western experience with Curriculum '78 in a time-sharing environment
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Hardware component of an upper level computer science curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
An upper level computer science curriculum
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
A proposed curriculum for software engineering education
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Another look at the discrete structures course
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
ACM '78 Proceedings of the 1978 annual conference
Computer science education and the ideal of liberal arts
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
A historical, generalistic, and complementary approach in introductory computer science education
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
A study of the first course in computers
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Database management in the undergraduate curriculum
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Implementing a computer science curriculum merging two curriculum models
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
A laboratory for a computers and programming course
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
The why and how of discrete structures
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Classroom use of replaceable parts in a multiprogramming system
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Development of a multifacetted undergraduate program in Computer and Information Science
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
The effect of environment on computer science curriculum
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
A computer science program in a business school
ACM '76 Proceedings of the 1976 annual conference
The undergraduate program in information systems development
ACM '72 Proceedings of the ACM annual conference - Volume 1
The undergraduate education of medical computer scientists
ACM '72 Proceedings of the ACM annual conference - Volume 1
Implications for computer science departments of the ACM information systems curriculum
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
Discrete structures in the undergraduate computer science curriculum
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
A computer science option in industrial engineering
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
A course in minicomputer systems
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
A microprogramming simulator for instructional use
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
A “hands-on” approach to computer literacy
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
The M.S. program in computer science
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Interactive computing in a project-oriented file organization course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Experiences with a Computer Science Advisory Council
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Behavioral education requisites for application-oriented computer scientists
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
Computer science curriculua for small colleges
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
The small liberal arts college: A challenge for computer science
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
The MBA and MIS: The integration of mis and management education
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
The role of computer science education in certification of computer professionals
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
LINUS: A structured language for instructional use
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
An introductory adaptive systems course for undergraduate computer science majors
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Introducing practical experience into curriculum 68 through integration of courses
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A first course in discrete structures with applications to computer science
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
The challenge of computer science in New Zealand
SIGCSE '70 Proceedings of the first SIGCSE technical symposium on Education in computer science
A proposed Computer Science curriculum for two-year colleges
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Changing a computer science curriculum in light of computing curricula 2001
ACM SIGCSE Bulletin
The challenge of computer science in New Zealand
ACM SIGCSE Bulletin
Undergraduate education in computing science: some immediate problems
ACM SIGCSE Bulletin
The effect of environment on computer science curriculum
ACM SIGCSE Bulletin
Training secondary school computer science educators
ACM SIGCUE Outlook
A graduate course in database management
ACM SIGMOD Record
The efficiency of algorithms: misconceptions
Computers & Education
Sixty-character representation of APL symbols
ACM SIGPLAN Notices
Minicomputer assisted instruction
ACM SIGCSE Bulletin
Computer science education in business schools
ACM SIGCSE Bulletin
Use of model curricula in reviewing established programs
ACM SIGCSE Bulletin
ACM SIGCSE Bulletin - Special issue on computer science curricula
Little language processing, an alternative to courses on compiler construction
ACM SIGCSE Bulletin
Computer education, past, present, and future
ACM SIGCSE Bulletin
Evolution of a program in computing for a Latin American graduate college
ACM SIGCSE Bulletin
ACM SIGCSE Bulletin
Design and use of instructional tools for computer science
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Programming languages for introductory computing courses: a position paper
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
On the achievements of high school students studying computational models
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Ancestor worship in CS1: on the primacy of arrays
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A programming languages course for freshmen
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Encyclopedia of Computer Science
Do we need ANY mathematics in computer science curricula?
ACM SIGCSE Bulletin
Speciation in the computing sciences: digital forensics as an emerging academic discipline
InfoSecCD '05 Proceedings of the 2nd annual conference on Information security curriculum development
Computer science in health computing education
ACM SIGBIO Newsletter - Proceedings of the SIGBIO symposium on health computing careers
Chirp on crickets: teaching compilers using an embedded robot controller
Proceedings of the 37th SIGCSE technical symposium on Computer science education
A framework in which to teach (technical) communication to computer science majors
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Discrete math with programming: better together
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Engagement and frustration in programming projects
Proceedings of the 38th SIGCSE technical symposium on Computer science education
From advanced Cobol to data, file and object structures
Journal of Computing Sciences in Colleges
Not only digital: a review of ACM's early involvement with analog computing technology
Communications of the ACM - ACM at sixty: a look back in time
Forming a Computer Science Center at the University of Maryland
IEEE Annals of the History of Computing
Computer Science Curriculum Developments in the 1960s
IEEE Annals of the History of Computing
The development of computer science: a sociocultural perspective
Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006
Language engineering in the context of a popular, inexpensive robot platform
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Production and utilization of computer manpower in U.S. higher education
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Operating systems principles and undergraduate computer science curricula
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Teaching and learning in information retrieval
Information Retrieval
Didactics of Introduction to Computer Science in High School
ISSEP '10 Proceedings of the 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives: Teaching Fundamentals Concepts of Informatics
Software Design Course for Leading CS In-Service Teachers
ISSEP '10 Proceedings of the 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives: Teaching Fundamentals Concepts of Informatics
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
Computer Science and the Liberal Arts: A Philosophical Examination
ACM Transactions on Computing Education (TOCE)
A History of the Liberal Arts Computer Science Consortium and its Model Curricula
ACM Transactions on Computing Education (TOCE)
What do "CS1" and "CS2" mean?: investigating differences in the early courses
Proceedings of the 41st ACM technical symposium on Computer science education
Textbooks: how we choose them, how we use them, shall we lose them?
Proceedings of the Twelfth Australasian Conference on Computing Education - Volume 103
Mathematical limits of parallel computation for embedded systems
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Applying data structures in exams
Proceedings of the 42nd ACM technical symposium on Computer science education
Computing as a Science: A Survey of Competing Viewpoints
Minds and Machines
Digest of ACM educational activities
ACM Inroads
Computer science curriculum 2013: reviewing the strawman report from the ACM/IEEE-CS task force
Proceedings of the 43rd ACM technical symposium on Computer Science Education
The institutionalization of information system project management practices
Information and Organization
The church-turing thesis: breaking the myth
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
CS2013: a call for community college exemplars
ACM Inroads
Computer Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Computer Engineering
Operating systems principles and undergraduate computer science curricula
ACM SIGMIS Database
ACM SIGMIS Database
| Hi-index | 48.42 |