Search Results - NAPPC~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 250
- Technology: general issues 180
- Biology, life sciences 164
- History of engineering & technology 160
- Medicine 104
- Politics & government 91
- Education 79
- Sociology 68
- Economics 54
- Political economy 50
- Humanities 49
- Sustainability 49
- Environmental economics 46
- Philosophy 41
- Central government policies 39
- Development economics & emerging economies 39
- Business & management 36
- Technology, engineering, agriculture 36
- History 34
- Human geography 34
- Psychology 34
- Society & social sciences 34
- Political science & theory 32
- Public administration 32
- Social & cultural anthropology, ethnography 32
- Environmental science, engineering & technology 31
- Ethics & moral philosophy 29
- International relations 29
- Educational strategies & policy 28
- Geography 28
-
2561
-
2562
-
2563
-
2564
-
2565
-
2566
-
2567
Certified Programming with Dependent Types A Pragmatic Introduction to the Coq Proof Assistant
Published 2013Subjects: “…Mobile & handheld device programming / Apps programming bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2568
Global Health Collaboration Challenges and Lessons /
Published 2018Link to Metadata
Electronic eBook -
2569
-
2570
-
2571
-
2572
-
2573
-
2574
-
2575
-
2576
-
2577
-
2578
-
2579
-
2580