プロフィール

David Gries

Professor Emeritus (as of 2012), Computer Science, Cornell University

確認したメールアドレス: cs.cornell.edu

被引用数: 13887

Programming methodology programming languages CS education

Peter Müller

ETH Zurich

確認したメールアドレス: inf.ethz.ch

被引用数: 8413

Program Verification Formal Methods Programming Methodology

Dines Bjorner

Professor Emeritus, DTU Informatics, Denmark

確認したメールアドレス: dtu.dk

被引用数: 5640

Programming Methodology Formal Methods

Michael E. Caspersen

Honorary Professor, Department of Computer Science, Aarhus University

確認したメールアドレス: cs.au.dk

被引用数: 3645

Computing Education Computational Thinking Programming Education Programming Methodology Object-Oriented Programming

Doaitse Swierstra

Professor of Computer Science, Utrecht University

確認したメールアドレス: swierstra.net

被引用数: 2820

Programming Languages and Implementation Programming Methodology Systems programming

Kees Middelburg

Guest Researcher, Informatics Institute, University of Amsterdam

確認したメールアドレス: uva.nl

被引用数: 2360

concurrency theory theory of computation logic formal methods programming methodology

Arkady Retik

Associate Teaching Professor, Computing and Software Systems, University of Washington

確認したメールアドレス: uw.edu

被引用数: 797

Programming Methodology Computer Graphics Software Engineering Project Management Augmented Reality

Tibor Gregorics

associate professor, Eötvös Loránd University

確認したメールアドレス: inf.elte.hu

被引用数: 117

artificial intelligent programming methodology

Meetkumar Patel

Student of Computer Engineering, Gujarat Technological University

確認したメールアドレス: weblock.in

被引用数: 55

Machine Learning Data mining NLP Programming methodology

Jaime Bohorquez

Professor of Computer Science, Escuela Colombiana de Ingenieria

確認したメールアドレス: escuelaing.edu.co

被引用数: 38

Mathematical Logic Programming methodology automated resoning

1 - 10