Login
中文
Abstract Data Type
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Object-oriented programming
Computer Science
Database
Logic
Theory of computation
Operating system
Formal specification
Application software
Programming language
Type system
Data structure
Programming
Software Testing
Functional programming
Software development
Data modeling
Distributed computing
Computer hardware
Information system
Software Engineering
Software system
Data model
Polymorphism
Data type
Software metric
Parent Topic:
Theoretical computer science
,
Computer Science
,
Programming language
,
Functional programming
,
Data structure
Top Authors:
William E Weihl
Hartmut Ehrig
Joseph Goguen
Maurice Herlihy
Mary Shaw
J V Tucker
Gary T Leavens
Derek Dreyer
J I Zucker
Yingxu Wang
Rainer Koschke
Bruria Haberman
Hansdieter Ehrich
Hartmut Ehrig
T S E Maibaum
Andreas Rossberg
Gianna Reggio
Jose Luiz Fiadeiro
Martin Erwig
David R Musser
Michael Stonebraker
Bogdan Tomoiaga
David W Embley
Paul Klint
Henri E Bal
Pankaj Jalote
Francky Catthoor
Egidio Astesiano
Hansjorg Kreowski
Mircea Chindris
Ralph L London
Mohamed Bettaz
J A Bergstra
Aniello Cimitile
Wm A Wulf
Krishna Kishore Dhara
Lars Birkedal
Barbara Liskov
Gerardo Canfora
Manfred Broy
Lonnie R Welch
Karl Crary
Antonio L Furtado
Roberta V V Lopes
Martin Wirsing
Andriy Dunets
Bernd Mahr
Donald D Cowan
Wolfgang Reif
John V Guttag
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation