• Suche: Data Structures and Program Design Using C

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 6.000

2

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

Buch
Zur Merkliste hinzufügen
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.

Buch
Zur Merkliste hinzufügen
4

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

Buch
Zur Merkliste hinzufügen
6

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

Buch
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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)

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Konferenz
Zur Merkliste hinzufügen
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

Konferenz
Zur Merkliste hinzufügen
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

Konferenz
Zur Merkliste hinzufügen
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)

Fachzeitschrift
Zur Merkliste hinzufügen
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

Fachzeitschrift
Zur Merkliste hinzufügen
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

Konferenz
Zur Merkliste hinzufügen
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

Konferenz
Zur Merkliste hinzufügen
19

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

Buch
Zur Merkliste hinzufügen
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

Konferenz
Zur Merkliste hinzufügen
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter