• Search: Data Structures and Program Design Using C

Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 1 - 20 of 6,013

2

2 Introduction to the C Language
Data Structures and Program Design Using C. Dec 06, 2024

Book
Save to List
3

Data structures & other objects using C++
Data structures and other objects using C++
Main, M. (Michael), 1956 ; Savitch, Walter J., 1943 ; Main, M. (Michael), 1956 ; et al.

Book
Save to List
4

1 Introduction to Data Structures
Data Structures and Program Design Using C. Dec 06, 2024

Book
Save to List
5

Data Structures and Program Design Using C ; A Self-Teaching Introduction
Malhotra, Dheeraj ; Malhotra, Neha
ISBN 9781501523328.

Book
Save to List
6

8 Trees
Data Structures and Program Design Using C. Dec 06, 2024

Book
Save to List
7

Genetic diversity and population structure within Kankrej Cattle: Insights from genome-wide SNP analysis
Gor, Dhara ; Gupta, Jay Prakash ; Gajjar, Swapnil ; et al.
In Gene Reports January 2026

Academic journal
Save to List
8

[Re]framing learning labor in a teacher education: Identity, activity, and pedagogical flexibility
Magill, Kevin R. ; Talbert, Camille S. ; Smith, Victoria Davis ; et al.
In Learning, Culture and Social Interaction April 2026 57

Academic journal
Save to List
9

Evaluating a midwifery leadership programme: a process evaluation study
Bogren, Malin ; Jha, Paridhi ; Sharma, Bharati ; et al.
In Women and Birth January 2025 38(1)

Academic journal
Save to List
10

The peak load effects of demand response with simple time-of-use pricing
Kamana-Williams, Baxter ; Hooper, R.J. ; Gnoth, Daniel ; et al.
In Sustainable Energy, Grids and Networks December 2025 44

Academic journal
Save to List
11

A compiler approach to scalable concurrent-program design
Foster, Ian ; Taylor, Stephen
ACM Transactions on Programming Languages and Systems (TOPLAS). 16(3):577-604

Academic journal
Save to List
12

Natural proofs for data structure manipulation in C using separation logic
Pek, Edgar ; Qiu, Xiaokang ; Madhusudan, P.
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. :440-451

Conference
Save to List
13

Using the coq theorem prover to verify complex data structure invariants
Roe, Kenneth ; Smith, Scott F.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. :118-121

Conference
Save to List
14

SLING: using dynamic analysis to infer program invariants in separation logic
Le, Ton Chanh ; Zheng, Guolong ; Nguyen, ThanhVu
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. :788-801

Conference
Save to List
15

Building a Pharmacy Preceptor Development Framework for Nurturing Learner Professional Identity Formation
Kennie-Kaulbach, Natalie ; Cooley, Janet ; Anksorus, Heidi ; et al.
In American Journal of Pharmaceutical Education October 2025 89(10)

Academic journal
Save to List
16

Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler
Zhang, Yihua ; Blanton, Marina ; Almashaqbeh, Ghada
ACM Transactions on Privacy and Security (TOPS). 21(2):1-34

Academic journal
Save to List
17

Lightweight annotations for controlling sharing in concurrent data structures
Anderson, Zachary R. ; Gay, David ; Naik, Mayur
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation. :98-109

Conference
Save to List
18

Natural proofs for structure, data, and separation
Qiu, Xiaokang ; Garg, Pranav ; Ştefănescu, Andrei ; et al.
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. :231-242

Conference
Save to List
19

12 Graphs
Data Structures and Program Design Using C. Dec 06, 2024

Book
Save to List
20

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
Arasu, Arvind ; Ramananandro, Tahina ; Rastogi, Aseem ; et al.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. :30-46

Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter