Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Data types). Showing records 1 – 30 of 99 total matches.

[1] [2] [3] [4]

Search Limiters

Last 2 Years | English Only

Levels

Country

▼ Search Limiters

1. Pavaux, Alice. Inductive, Functional and Non-Linear Types in Ludics : Types inductifs, fonctionnels et non-linéaires en ludique.

Degree: Docteur es, Informatique, 2017, Sorbonne Paris Cité

Cette thèse est consacrée à une exploration des types de la ludique. S’inscrivant dans un contexte marqué par la correspondance de Curry–Howard, la ludique est… (more)

Subjects/Keywords: Types de données inductifs; Inductive data types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pavaux, A. (2017). Inductive, Functional and Non-Linear Types in Ludics : Types inductifs, fonctionnels et non-linéaires en ludique. (Doctoral Dissertation). Sorbonne Paris Cité. Retrieved from http://www.theses.fr/2017USPCD092

Chicago Manual of Style (16th Edition):

Pavaux, Alice. “Inductive, Functional and Non-Linear Types in Ludics : Types inductifs, fonctionnels et non-linéaires en ludique.” 2017. Doctoral Dissertation, Sorbonne Paris Cité. Accessed April 21, 2021. http://www.theses.fr/2017USPCD092.

MLA Handbook (7th Edition):

Pavaux, Alice. “Inductive, Functional and Non-Linear Types in Ludics : Types inductifs, fonctionnels et non-linéaires en ludique.” 2017. Web. 21 Apr 2021.

Vancouver:

Pavaux A. Inductive, Functional and Non-Linear Types in Ludics : Types inductifs, fonctionnels et non-linéaires en ludique. [Internet] [Doctoral dissertation]. Sorbonne Paris Cité; 2017. [cited 2021 Apr 21]. Available from: http://www.theses.fr/2017USPCD092.

Council of Science Editors:

Pavaux A. Inductive, Functional and Non-Linear Types in Ludics : Types inductifs, fonctionnels et non-linéaires en ludique. [Doctoral Dissertation]. Sorbonne Paris Cité; 2017. Available from: http://www.theses.fr/2017USPCD092


Mississippi State University

2. chadha, vineet. Semantics-based change-merging of abstract data types.

Degree: MS, Computer Science, 2002, Mississippi State University

 Maintaining any software is difficult. Whenever an evolutionary change is made to the base version of a program and the new version of the program… (more)

Subjects/Keywords: abstract data types; semantics-based

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

chadha, v. (2002). Semantics-based change-merging of abstract data types. (Masters Thesis). Mississippi State University. Retrieved from http://sun.library.msstate.edu/ETD-db/theses/available/etd-03272002-120619/ ;

Chicago Manual of Style (16th Edition):

chadha, vineet. “Semantics-based change-merging of abstract data types.” 2002. Masters Thesis, Mississippi State University. Accessed April 21, 2021. http://sun.library.msstate.edu/ETD-db/theses/available/etd-03272002-120619/ ;.

MLA Handbook (7th Edition):

chadha, vineet. “Semantics-based change-merging of abstract data types.” 2002. Web. 21 Apr 2021.

Vancouver:

chadha v. Semantics-based change-merging of abstract data types. [Internet] [Masters thesis]. Mississippi State University; 2002. [cited 2021 Apr 21]. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-03272002-120619/ ;.

Council of Science Editors:

chadha v. Semantics-based change-merging of abstract data types. [Masters Thesis]. Mississippi State University; 2002. Available from: http://sun.library.msstate.edu/ETD-db/theses/available/etd-03272002-120619/ ;


Oregon State University

3. Al-Mulhem, Muhammed Saleh. DataLab, a graphical system for specifying and synthesizing abstract data types.

Degree: PhD, Computer Science, 1989, Oregon State University

 Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming… (more)

Subjects/Keywords: Abstract data types (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Al-Mulhem, M. S. (1989). DataLab, a graphical system for specifying and synthesizing abstract data types. (Doctoral Dissertation). Oregon State University. Retrieved from http://hdl.handle.net/1957/38227

Chicago Manual of Style (16th Edition):

Al-Mulhem, Muhammed Saleh. “DataLab, a graphical system for specifying and synthesizing abstract data types.” 1989. Doctoral Dissertation, Oregon State University. Accessed April 21, 2021. http://hdl.handle.net/1957/38227.

MLA Handbook (7th Edition):

Al-Mulhem, Muhammed Saleh. “DataLab, a graphical system for specifying and synthesizing abstract data types.” 1989. Web. 21 Apr 2021.

Vancouver:

Al-Mulhem MS. DataLab, a graphical system for specifying and synthesizing abstract data types. [Internet] [Doctoral dissertation]. Oregon State University; 1989. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/1957/38227.

Council of Science Editors:

Al-Mulhem MS. DataLab, a graphical system for specifying and synthesizing abstract data types. [Doctoral Dissertation]. Oregon State University; 1989. Available from: http://hdl.handle.net/1957/38227

4. Campbell, Lahcen I. A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa.

Degree: 2012, RIAN

 A major turning point in the study of metazoan evolution was the recognition of the existence of the Ecdysozoa in 1997. This is a group… (more)

Subjects/Keywords: Biology; genomic data types; problematic nodes; Arthropoda; Ecdysozoa

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Campbell, L. I. (2012). A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa. (Thesis). RIAN. Retrieved from http://eprints.maynoothuniversity.ie/3987/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Campbell, Lahcen I. “A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa.” 2012. Thesis, RIAN. Accessed April 21, 2021. http://eprints.maynoothuniversity.ie/3987/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Campbell, Lahcen I. “A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa.” 2012. Web. 21 Apr 2021.

Vancouver:

Campbell LI. A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa. [Internet] [Thesis]. RIAN; 2012. [cited 2021 Apr 21]. Available from: http://eprints.maynoothuniversity.ie/3987/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Campbell LI. A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa. [Thesis]. RIAN; 2012. Available from: http://eprints.maynoothuniversity.ie/3987/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Delft University of Technology

5. van Wijk, Bryan (author). Partitionable Decentralized Topic Key Management.

Degree: 2019, Delft University of Technology

In a military environment, tactical networks enable information sharing between all the different entities in the field. In this environment, multiple groups of people from… (more)

Subjects/Keywords: Key Management; Conflict-free replicated data types; Partition Tolerance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

van Wijk, B. (. (2019). Partitionable Decentralized Topic Key Management. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:55b9fe42-0eb9-42a8-9bf0-b1ee5d70d6fa

Chicago Manual of Style (16th Edition):

van Wijk, Bryan (author). “Partitionable Decentralized Topic Key Management.” 2019. Masters Thesis, Delft University of Technology. Accessed April 21, 2021. http://resolver.tudelft.nl/uuid:55b9fe42-0eb9-42a8-9bf0-b1ee5d70d6fa.

MLA Handbook (7th Edition):

van Wijk, Bryan (author). “Partitionable Decentralized Topic Key Management.” 2019. Web. 21 Apr 2021.

Vancouver:

van Wijk B(. Partitionable Decentralized Topic Key Management. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2021 Apr 21]. Available from: http://resolver.tudelft.nl/uuid:55b9fe42-0eb9-42a8-9bf0-b1ee5d70d6fa.

Council of Science Editors:

van Wijk B(. Partitionable Decentralized Topic Key Management. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:55b9fe42-0eb9-42a8-9bf0-b1ee5d70d6fa


University of Minnesota

6. Pham, Hung Tuan. Verification of Recursive Data Types using abstractions.

Degree: PhD, Computer Science, 2014, University of Minnesota

 Reasoning about functions that operate over algebraic data types is an important problem for a large variety of applications. One application of particular interest is… (more)

Subjects/Keywords: Algebraic data types; Catamorphisms; Decision procedure; SMT solvers; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pham, H. T. (2014). Verification of Recursive Data Types using abstractions. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/163020

Chicago Manual of Style (16th Edition):

Pham, Hung Tuan. “Verification of Recursive Data Types using abstractions.” 2014. Doctoral Dissertation, University of Minnesota. Accessed April 21, 2021. http://hdl.handle.net/11299/163020.

MLA Handbook (7th Edition):

Pham, Hung Tuan. “Verification of Recursive Data Types using abstractions.” 2014. Web. 21 Apr 2021.

Vancouver:

Pham HT. Verification of Recursive Data Types using abstractions. [Internet] [Doctoral dissertation]. University of Minnesota; 2014. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/11299/163020.

Council of Science Editors:

Pham HT. Verification of Recursive Data Types using abstractions. [Doctoral Dissertation]. University of Minnesota; 2014. Available from: http://hdl.handle.net/11299/163020

7. Campbell, Lahcen I. A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa.

Degree: 2012, RIAN

 A major turning point in the study of metazoan evolution was the recognition of the existence of the Ecdysozoa in 1997. This is a group… (more)

Subjects/Keywords: Biology; genomic data types; problematic nodes; Arthropoda; Ecdysozoa

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Campbell, L. I. (2012). A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa. (Thesis). RIAN. Retrieved from http://mural.maynoothuniversity.ie/3987/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Campbell, Lahcen I. “A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa.” 2012. Thesis, RIAN. Accessed April 21, 2021. http://mural.maynoothuniversity.ie/3987/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Campbell, Lahcen I. “A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa.” 2012. Web. 21 Apr 2021.

Vancouver:

Campbell LI. A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa. [Internet] [Thesis]. RIAN; 2012. [cited 2021 Apr 21]. Available from: http://mural.maynoothuniversity.ie/3987/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Campbell LI. A cause for consilience: Utilizing multiple genomic data types to resolve problematic nodes within Arthropoda and Ecdysozoa. [Thesis]. RIAN; 2012. Available from: http://mural.maynoothuniversity.ie/3987/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of St. Andrews

8. Tulley, Dominic H. The combinatorics of abstract container data types.

Degree: 1997, University of St. Andrews

 The study of abstract machines such as Turing machines, push down automata and finite state machines has played an important role in the advancement of… (more)

Subjects/Keywords: QA76.9A23T9; Abstract data types (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tulley, D. H. (1997). The combinatorics of abstract container data types. (Doctoral Dissertation). University of St. Andrews. Retrieved from http://hdl.handle.net/10023/13472

Chicago Manual of Style (16th Edition):

Tulley, Dominic H. “The combinatorics of abstract container data types.” 1997. Doctoral Dissertation, University of St. Andrews. Accessed April 21, 2021. http://hdl.handle.net/10023/13472.

MLA Handbook (7th Edition):

Tulley, Dominic H. “The combinatorics of abstract container data types.” 1997. Web. 21 Apr 2021.

Vancouver:

Tulley DH. The combinatorics of abstract container data types. [Internet] [Doctoral dissertation]. University of St. Andrews; 1997. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/10023/13472.

Council of Science Editors:

Tulley DH. The combinatorics of abstract container data types. [Doctoral Dissertation]. University of St. Andrews; 1997. Available from: http://hdl.handle.net/10023/13472


University of Florida

9. Jin, Huafeng. Java Memory Model-Aware Model Checking.

Degree: PhD, Computer Engineering - Computer and Information Science and Engineering, 2012, University of Florida

 The Java memory model (JMM) determines whether an execution of a concurrent Java program is legal or not. For programs that are data race free,… (more)

Subjects/Keywords: Algorithms; Architectural models; Buffer storage; Compilers; Computer memory; Computer programming; Data lines; Data types; Java; Metadata; benign  – checking  – model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jin, H. (2012). Java Memory Model-Aware Model Checking. (Doctoral Dissertation). University of Florida. Retrieved from https://ufdc.ufl.edu/UFE0044100

Chicago Manual of Style (16th Edition):

Jin, Huafeng. “Java Memory Model-Aware Model Checking.” 2012. Doctoral Dissertation, University of Florida. Accessed April 21, 2021. https://ufdc.ufl.edu/UFE0044100.

MLA Handbook (7th Edition):

Jin, Huafeng. “Java Memory Model-Aware Model Checking.” 2012. Web. 21 Apr 2021.

Vancouver:

Jin H. Java Memory Model-Aware Model Checking. [Internet] [Doctoral dissertation]. University of Florida; 2012. [cited 2021 Apr 21]. Available from: https://ufdc.ufl.edu/UFE0044100.

Council of Science Editors:

Jin H. Java Memory Model-Aware Model Checking. [Doctoral Dissertation]. University of Florida; 2012. Available from: https://ufdc.ufl.edu/UFE0044100

10. Björk, Casper. A study of the effects of different contextual variables on sorting algorithms.

Degree: 2020, , Department of Software Engineering

  Background: Computers use sorting algorithms to prepare data for search or insert operations, these operations can be a bottleneck for performance. Objectives: To evaluate… (more)

Subjects/Keywords: Sorting algorithms; Performance; Implementation languages; Data types; Sorterings algorithmer; Prestandard; Programmeringsspråk; Data typer; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Björk, C. (2020). A study of the effects of different contextual variables on sorting algorithms. (Thesis). , Department of Software Engineering. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-20528

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Björk, Casper. “A study of the effects of different contextual variables on sorting algorithms.” 2020. Thesis, , Department of Software Engineering. Accessed April 21, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-20528.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Björk, Casper. “A study of the effects of different contextual variables on sorting algorithms.” 2020. Web. 21 Apr 2021.

Vancouver:

Björk C. A study of the effects of different contextual variables on sorting algorithms. [Internet] [Thesis]. , Department of Software Engineering; 2020. [cited 2021 Apr 21]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-20528.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Björk C. A study of the effects of different contextual variables on sorting algorithms. [Thesis]. , Department of Software Engineering; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-20528

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université de Lorraine

11. Ahmed-Nacer, Mehdi. Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types.

Degree: Docteur es, Informatique, 2015, Université de Lorraine

Pour fournir une disponibilité permanente des données et réduire la latence réseau, les systèmes de partage de données se basent sur la réplication optimiste. Dans… (more)

Subjects/Keywords: Réplication optimiste; Types de données répliqués; Méthodologie d'évaluation; Systèmes collaboratifs; Informatique en nuage; Optimistic replication; Replicated data types; Evaluation methodology; Collaborative systems; Cloud computing; 006.7; 004.678

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ahmed-Nacer, M. (2015). Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2015LORR0039

Chicago Manual of Style (16th Edition):

Ahmed-Nacer, Mehdi. “Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types.” 2015. Doctoral Dissertation, Université de Lorraine. Accessed April 21, 2021. http://www.theses.fr/2015LORR0039.

MLA Handbook (7th Edition):

Ahmed-Nacer, Mehdi. “Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types.” 2015. Web. 21 Apr 2021.

Vancouver:

Ahmed-Nacer M. Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types. [Internet] [Doctoral dissertation]. Université de Lorraine; 2015. [cited 2021 Apr 21]. Available from: http://www.theses.fr/2015LORR0039.

Council of Science Editors:

Ahmed-Nacer M. Méthodologie d'évaluation pour les types de données répliqués : Evaluation methodology for replicated data types. [Doctoral Dissertation]. Université de Lorraine; 2015. Available from: http://www.theses.fr/2015LORR0039


Brno University of Technology

12. Novák, Samuel Matyáš. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.

Degree: 2020, Brno University of Technology

 This work concerns the implementation of a sum data type in C++. First, custom abstractions to handle sequences of values and types are proposed, which… (more)

Subjects/Keywords: šablonové metaprogramování; generické programování; generování kódu při kompilaci; datové struktury; součtové datové typy; algebraické datové typy; polymorfismus; template metaprogramming; generic programming; compile-time code generation; data structures; sum data types; algebraic data types; polymorphism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Novák, S. M. (2020). Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/191876

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Novák, Samuel Matyáš. “Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.” 2020. Thesis, Brno University of Technology. Accessed April 21, 2021. http://hdl.handle.net/11012/191876.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Novák, Samuel Matyáš. “Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.” 2020. Web. 21 Apr 2021.

Vancouver:

Novák SM. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/11012/191876.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Novák SM. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/191876

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Rhodes University

13. Tristram, Waide Barrington. Investigating tools and techniques for improving software performance on multiprocessor computer systems.

Degree: Faculty of Science, Computer Science, 2012, Rhodes University

The availability of modern commodity multicore processors and multiprocessor computer systems has resulted in the widespread adoption of parallel computers in a variety of environments,… (more)

Subjects/Keywords: Multiprocessors; Multiprogramming (Electronic computers); Parallel programming (Computer science); Linux; Abstract data types (Computer science); Threads (Computer programs); Computer programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tristram, W. B. (2012). Investigating tools and techniques for improving software performance on multiprocessor computer systems. (Thesis). Rhodes University. Retrieved from http://hdl.handle.net/10962/d1006651

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tristram, Waide Barrington. “Investigating tools and techniques for improving software performance on multiprocessor computer systems.” 2012. Thesis, Rhodes University. Accessed April 21, 2021. http://hdl.handle.net/10962/d1006651.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tristram, Waide Barrington. “Investigating tools and techniques for improving software performance on multiprocessor computer systems.” 2012. Web. 21 Apr 2021.

Vancouver:

Tristram WB. Investigating tools and techniques for improving software performance on multiprocessor computer systems. [Internet] [Thesis]. Rhodes University; 2012. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/10962/d1006651.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tristram WB. Investigating tools and techniques for improving software performance on multiprocessor computer systems. [Thesis]. Rhodes University; 2012. Available from: http://hdl.handle.net/10962/d1006651

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Florida

14. McPeek, Tyler F. American Voice Types Towards a Vocal Typology for American English.

Degree: PhD, Linguistics, 2013, University of Florida

 Individual voices are not uniformly similar to others, even when factoring out speakercharacteristics such as sex, age, dialect, and so on. Some speakers sharecommon features… (more)

Subjects/Keywords: Databases; Experimentation; Linguistics; Listening; Phonetics; Signals; Singing; Spoken communication; Voice data; Voice quality; identification  – speaker  – types  – typology  – vocal  – voice

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

McPeek, T. F. (2013). American Voice Types Towards a Vocal Typology for American English. (Doctoral Dissertation). University of Florida. Retrieved from https://ufdc.ufl.edu/UFE0045383

Chicago Manual of Style (16th Edition):

McPeek, Tyler F. “American Voice Types Towards a Vocal Typology for American English.” 2013. Doctoral Dissertation, University of Florida. Accessed April 21, 2021. https://ufdc.ufl.edu/UFE0045383.

MLA Handbook (7th Edition):

McPeek, Tyler F. “American Voice Types Towards a Vocal Typology for American English.” 2013. Web. 21 Apr 2021.

Vancouver:

McPeek TF. American Voice Types Towards a Vocal Typology for American English. [Internet] [Doctoral dissertation]. University of Florida; 2013. [cited 2021 Apr 21]. Available from: https://ufdc.ufl.edu/UFE0045383.

Council of Science Editors:

McPeek TF. American Voice Types Towards a Vocal Typology for American English. [Doctoral Dissertation]. University of Florida; 2013. Available from: https://ufdc.ufl.edu/UFE0045383


Texas Tech University

15. Lukito, Herman. Computability over abstract structures.

Degree: 1990, Texas Tech University

Subjects/Keywords: Abstract data types (Computer science); Computable functions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lukito, H. (1990). Computability over abstract structures. (Thesis). Texas Tech University. Retrieved from http://hdl.handle.net/2346/19044

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lukito, Herman. “Computability over abstract structures.” 1990. Thesis, Texas Tech University. Accessed April 21, 2021. http://hdl.handle.net/2346/19044.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lukito, Herman. “Computability over abstract structures.” 1990. Web. 21 Apr 2021.

Vancouver:

Lukito H. Computability over abstract structures. [Internet] [Thesis]. Texas Tech University; 1990. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/2346/19044.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lukito H. Computability over abstract structures. [Thesis]. Texas Tech University; 1990. Available from: http://hdl.handle.net/2346/19044

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Johannesburg

16. Olivier, Martin Stephanus. Die ondersteuning van abstrakte datatipes en toestelle in 'n programmeertaal.

Degree: 2014, University of Johannesburg

M.Sc. (Computer Science)

Please refer to full text to view abstract

Subjects/Keywords: Abstract data types (Computer science); Programming languages (Electronic computers); Data structures (Computer science)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Olivier, M. S. (2014). Die ondersteuning van abstrakte datatipes en toestelle in 'n programmeertaal. (Thesis). University of Johannesburg. Retrieved from http://hdl.handle.net/10210/9878

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Olivier, Martin Stephanus. “Die ondersteuning van abstrakte datatipes en toestelle in 'n programmeertaal.” 2014. Thesis, University of Johannesburg. Accessed April 21, 2021. http://hdl.handle.net/10210/9878.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Olivier, Martin Stephanus. “Die ondersteuning van abstrakte datatipes en toestelle in 'n programmeertaal.” 2014. Web. 21 Apr 2021.

Vancouver:

Olivier MS. Die ondersteuning van abstrakte datatipes en toestelle in 'n programmeertaal. [Internet] [Thesis]. University of Johannesburg; 2014. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/10210/9878.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Olivier MS. Die ondersteuning van abstrakte datatipes en toestelle in 'n programmeertaal. [Thesis]. University of Johannesburg; 2014. Available from: http://hdl.handle.net/10210/9878

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Florida

17. Oladele, Jean-David G. ( Author, Primary ). Implementation of a parallel program, program generator.

Degree: 2002, University of Florida

Subjects/Keywords: Algorithms; Boxes; Capsules; Data models; Data types; Integers; Java; Linear programming; Pipelines; XML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oladele, Jean-David G. ( Author, P. ). (2002). Implementation of a parallel program, program generator. (Thesis). University of Florida. Retrieved from https://ufdc.ufl.edu/UFE0000583

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Oladele, Jean-David G. ( Author, Primary ). “Implementation of a parallel program, program generator.” 2002. Thesis, University of Florida. Accessed April 21, 2021. https://ufdc.ufl.edu/UFE0000583.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Oladele, Jean-David G. ( Author, Primary ). “Implementation of a parallel program, program generator.” 2002. Web. 21 Apr 2021.

Vancouver:

Oladele, Jean-David G. ( Author P). Implementation of a parallel program, program generator. [Internet] [Thesis]. University of Florida; 2002. [cited 2021 Apr 21]. Available from: https://ufdc.ufl.edu/UFE0000583.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Oladele, Jean-David G. ( Author P). Implementation of a parallel program, program generator. [Thesis]. University of Florida; 2002. Available from: https://ufdc.ufl.edu/UFE0000583

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Florida

18. Dhar, Punyabrata. Complex Object Management with Binary Intelligent Compact Object Store (Bicos) for Main Memory and Files.

Degree: MS, Computer Engineering - Computer and Information Science and Engineering, 2014, University of Florida

 Present-day applications in the field of multimedia, geo-spatial and genomic technologies deal with large, complex, highly structured application objects of variable length. The existing file… (more)

Subjects/Keywords: Bytes; Compact stars; Computer technology; Data models; Data types; Database management systems; Databases; Engineering; Information technology; Mathematical vectors; bigdata  – bigobjects  – blob  – complexobjects

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dhar, P. (2014). Complex Object Management with Binary Intelligent Compact Object Store (Bicos) for Main Memory and Files. (Masters Thesis). University of Florida. Retrieved from https://ufdc.ufl.edu/UFE0047266

Chicago Manual of Style (16th Edition):

Dhar, Punyabrata. “Complex Object Management with Binary Intelligent Compact Object Store (Bicos) for Main Memory and Files.” 2014. Masters Thesis, University of Florida. Accessed April 21, 2021. https://ufdc.ufl.edu/UFE0047266.

MLA Handbook (7th Edition):

Dhar, Punyabrata. “Complex Object Management with Binary Intelligent Compact Object Store (Bicos) for Main Memory and Files.” 2014. Web. 21 Apr 2021.

Vancouver:

Dhar P. Complex Object Management with Binary Intelligent Compact Object Store (Bicos) for Main Memory and Files. [Internet] [Masters thesis]. University of Florida; 2014. [cited 2021 Apr 21]. Available from: https://ufdc.ufl.edu/UFE0047266.

Council of Science Editors:

Dhar P. Complex Object Management with Binary Intelligent Compact Object Store (Bicos) for Main Memory and Files. [Masters Thesis]. University of Florida; 2014. Available from: https://ufdc.ufl.edu/UFE0047266


University of Florida

19. Kanjilal, Virupaksha. Designing, Querying, Implementing, and Integrating Spatial Networks in Spatial Databases.

Degree: PhD, Computer Engineering - Computer and Information Science and Engineering, 2012, University of Florida

 Spatial networks like road networks, pipeline networks, transportation networks, and power network are being increasingly used in the fields of route planning, land use planning,… (more)

Subjects/Keywords: Boundary points; Crossovers; Data models; Data types; Databases; Geometry; Grammar; Oracles; Spatial models; Spatial points; database  – gis  – implement  – network  – querying  – represent  – spatial

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kanjilal, V. (2012). Designing, Querying, Implementing, and Integrating Spatial Networks in Spatial Databases. (Doctoral Dissertation). University of Florida. Retrieved from https://ufdc.ufl.edu/UFE0044911

Chicago Manual of Style (16th Edition):

Kanjilal, Virupaksha. “Designing, Querying, Implementing, and Integrating Spatial Networks in Spatial Databases.” 2012. Doctoral Dissertation, University of Florida. Accessed April 21, 2021. https://ufdc.ufl.edu/UFE0044911.

MLA Handbook (7th Edition):

Kanjilal, Virupaksha. “Designing, Querying, Implementing, and Integrating Spatial Networks in Spatial Databases.” 2012. Web. 21 Apr 2021.

Vancouver:

Kanjilal V. Designing, Querying, Implementing, and Integrating Spatial Networks in Spatial Databases. [Internet] [Doctoral dissertation]. University of Florida; 2012. [cited 2021 Apr 21]. Available from: https://ufdc.ufl.edu/UFE0044911.

Council of Science Editors:

Kanjilal V. Designing, Querying, Implementing, and Integrating Spatial Networks in Spatial Databases. [Doctoral Dissertation]. University of Florida; 2012. Available from: https://ufdc.ufl.edu/UFE0044911

20. Passerino, Liliana Maria. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento.

Degree: 1992, Brazil

 A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu… (more)

Subjects/Keywords: Linguagens : Programacao; Tipos abstratos : Dados; Representacao : Conhecimento; Semantica : Linguagens : Programacao; Types; Abstract data types; Types inference systems; Knowledege representation; Knowledege representation language; Algebric semantic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Passerino, L. M. (1992). Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento. (Masters Thesis). Brazil. Retrieved from http://hdl.handle.net/10183/26392

Chicago Manual of Style (16th Edition):

Passerino, Liliana Maria. “Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento.” 1992. Masters Thesis, Brazil. Accessed April 21, 2021. http://hdl.handle.net/10183/26392.

MLA Handbook (7th Edition):

Passerino, Liliana Maria. “Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento.” 1992. Web. 21 Apr 2021.

Vancouver:

Passerino LM. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento. [Internet] [Masters thesis]. Brazil; 1992. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/10183/26392.

Council of Science Editors:

Passerino LM. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento. [Masters Thesis]. Brazil; 1992. Available from: http://hdl.handle.net/10183/26392

21. Cristian Cosmoski Rangel de Abreu. Computação paralela para reduzir o tempo de resposta da mineração de dados agrícolas.

Degree: 2013, UNIVERSIDADE ESTADUAL DE PONTA GROSSA

O objetivo deste trabalho foi investigar a utilização da computação paralela para reduzir o tempo de resposta da mineração de dados na agricultura. Para esse… (more)

Subjects/Keywords: mineração de dados; tipos de coberturas florestais; parallel computing; data mining; computação paralela; peer-to-peer; peer-to-peer; forest cover types; CIENCIA DA COMPUTACAO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abreu, C. C. R. d. (2013). Computação paralela para reduzir o tempo de resposta da mineração de dados agrícolas. (Thesis). UNIVERSIDADE ESTADUAL DE PONTA GROSSA. Retrieved from http://www.bicen-tede.uepg.br/tde_busca/arquivo.php?codArquivo=946

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Abreu, Cristian Cosmoski Rangel de. “Computação paralela para reduzir o tempo de resposta da mineração de dados agrícolas.” 2013. Thesis, UNIVERSIDADE ESTADUAL DE PONTA GROSSA. Accessed April 21, 2021. http://www.bicen-tede.uepg.br/tde_busca/arquivo.php?codArquivo=946.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Abreu, Cristian Cosmoski Rangel de. “Computação paralela para reduzir o tempo de resposta da mineração de dados agrícolas.” 2013. Web. 21 Apr 2021.

Vancouver:

Abreu CCRd. Computação paralela para reduzir o tempo de resposta da mineração de dados agrícolas. [Internet] [Thesis]. UNIVERSIDADE ESTADUAL DE PONTA GROSSA; 2013. [cited 2021 Apr 21]. Available from: http://www.bicen-tede.uepg.br/tde_busca/arquivo.php?codArquivo=946.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Abreu CCRd. Computação paralela para reduzir o tempo de resposta da mineração de dados agrícolas. [Thesis]. UNIVERSIDADE ESTADUAL DE PONTA GROSSA; 2013. Available from: http://www.bicen-tede.uepg.br/tde_busca/arquivo.php?codArquivo=946

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Nova

22. Cabrita, Gonçalo Mendes. Non-uniform replication for replicated objects.

Degree: 2017, Universidade Nova

 A large number of web applications/services are supported by applications running in cloud computing infrastructures. Many of these application store their data in georeplicated key-value… (more)

Subjects/Keywords: Non-uniform Replication; Partial Replication; Replicated Data Types; Eventual Consistency; Key-Value Stores; Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cabrita, G. M. (2017). Non-uniform replication for replicated objects. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/21766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cabrita, Gonçalo Mendes. “Non-uniform replication for replicated objects.” 2017. Thesis, Universidade Nova. Accessed April 21, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/21766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cabrita, Gonçalo Mendes. “Non-uniform replication for replicated objects.” 2017. Web. 21 Apr 2021.

Vancouver:

Cabrita GM. Non-uniform replication for replicated objects. [Internet] [Thesis]. Universidade Nova; 2017. [cited 2021 Apr 21]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/21766.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cabrita GM. Non-uniform replication for replicated objects. [Thesis]. Universidade Nova; 2017. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/21766

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Stockholm University

23. Foxhage, Daniel. En forskningsöversikt om hur bisexuellasöks i samhällsvetenskaplig forskning.

Degree: Social Work, 2008, Stockholm University

  A research review of 46 peer-reviewed articles with bisexuals as a target group was conducted with the objective to investigate methods of finding bisexual… (more)

Subjects/Keywords: bisexuality; bisexuals; sampling; sample types; sources of data; bisexualitet; bisexuella; urval; urvalstyper; datakällor

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Foxhage, D. (2008). En forskningsöversikt om hur bisexuellasöks i samhällsvetenskaplig forskning. (Thesis). Stockholm University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-26252

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Foxhage, Daniel. “En forskningsöversikt om hur bisexuellasöks i samhällsvetenskaplig forskning.” 2008. Thesis, Stockholm University. Accessed April 21, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-26252.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Foxhage, Daniel. “En forskningsöversikt om hur bisexuellasöks i samhällsvetenskaplig forskning.” 2008. Web. 21 Apr 2021.

Vancouver:

Foxhage D. En forskningsöversikt om hur bisexuellasöks i samhällsvetenskaplig forskning. [Internet] [Thesis]. Stockholm University; 2008. [cited 2021 Apr 21]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-26252.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Foxhage D. En forskningsöversikt om hur bisexuellasöks i samhällsvetenskaplig forskning. [Thesis]. Stockholm University; 2008. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-26252

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


KTH

24. Lindfors, Alexander. Avfallshantering: Mjukvara för hantering av information och tjänster : En fallstudie i SÖRAB-regionen.

Degree: Information and Communication Technology (ICT), 2017, KTH

SÖRAB is a waste disposal firm that is operative in nine of the municipalities in Stockholm County, Sweden. Each municipality has their own separate… (more)

Subjects/Keywords: Web applications; usability; application types; software development; Angular; responsive design; wireframes; waste disposal management.; Webbapplikationer; användarvänlighet; applikationstyper; mjukvaruutveckling; Angular; responsiv design; wireframes; avfallshantering.; Computer and Information Sciences; Data- och informationsvetenskap

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lindfors, A. (2017). Avfallshantering: Mjukvara för hantering av information och tjänster : En fallstudie i SÖRAB-regionen. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209341

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lindfors, Alexander. “Avfallshantering: Mjukvara för hantering av information och tjänster : En fallstudie i SÖRAB-regionen.” 2017. Thesis, KTH. Accessed April 21, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209341.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lindfors, Alexander. “Avfallshantering: Mjukvara för hantering av information och tjänster : En fallstudie i SÖRAB-regionen.” 2017. Web. 21 Apr 2021.

Vancouver:

Lindfors A. Avfallshantering: Mjukvara för hantering av information och tjänster : En fallstudie i SÖRAB-regionen. [Internet] [Thesis]. KTH; 2017. [cited 2021 Apr 21]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209341.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lindfors A. Avfallshantering: Mjukvara för hantering av information och tjänster : En fallstudie i SÖRAB-regionen. [Thesis]. KTH; 2017. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-209341

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Victoria

25. Stuart, Gordon F. Classified models for software engineering.

Degree: Dept. of Computer Science, 2005, University of Victoria

 In this dissertation it is shown that abstract data types (ADTs) can be specified by the Classified Model (CM) specification language - a first-order Horn… (more)

Subjects/Keywords: Abstract data types; Proof theory; Software engineering; Specification language; ADT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Stuart, G. F. (2005). Classified models for software engineering. (Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/39

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Stuart, Gordon F. “Classified models for software engineering.” 2005. Thesis, University of Victoria. Accessed April 21, 2021. http://hdl.handle.net/1828/39.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Stuart, Gordon F. “Classified models for software engineering.” 2005. Web. 21 Apr 2021.

Vancouver:

Stuart GF. Classified models for software engineering. [Internet] [Thesis]. University of Victoria; 2005. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/1828/39.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Stuart GF. Classified models for software engineering. [Thesis]. University of Victoria; 2005. Available from: http://hdl.handle.net/1828/39

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

26. Šabatka, Pavel. Tvorba úloh pro výuku předmětu: Praktické programování v C++: C++ programming examples for education.

Degree: 2019, Brno University of Technology

 The purpose of this thesis is implementation utilities for beginners in programming. These utilities could make passing subject BPPC easier. Theoretical part dissertates about programming… (more)

Subjects/Keywords: C/C++; programování; kurz BPPC; výuka; detekce úniku pamětových zdrojů; abstraktní datové typy; C/C++; programming; education; memory leak detection; abstract data types

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Šabatka, P. (2019). Tvorba úloh pro výuku předmětu: Praktické programování v C++: C++ programming examples for education. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/2924

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Šabatka, Pavel. “Tvorba úloh pro výuku předmětu: Praktické programování v C++: C++ programming examples for education.” 2019. Thesis, Brno University of Technology. Accessed April 21, 2021. http://hdl.handle.net/11012/2924.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Šabatka, Pavel. “Tvorba úloh pro výuku předmětu: Praktické programování v C++: C++ programming examples for education.” 2019. Web. 21 Apr 2021.

Vancouver:

Šabatka P. Tvorba úloh pro výuku předmětu: Praktické programování v C++: C++ programming examples for education. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/11012/2924.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Šabatka P. Tvorba úloh pro výuku předmětu: Praktické programování v C++: C++ programming examples for education. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/2924

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Kansas State University

27. Hines, Timothy R. Conceptual object-oriented programming.

Degree: MS, Computing and Information Sciences, 1986, Kansas State University

Subjects/Keywords: Programming languages (Electronic computers); Abstract data types (Computer science); Masters theses

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hines, T. R. (1986). Conceptual object-oriented programming. (Masters Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/22075

Chicago Manual of Style (16th Edition):

Hines, Timothy R. “Conceptual object-oriented programming.” 1986. Masters Thesis, Kansas State University. Accessed April 21, 2021. http://hdl.handle.net/2097/22075.

MLA Handbook (7th Edition):

Hines, Timothy R. “Conceptual object-oriented programming.” 1986. Web. 21 Apr 2021.

Vancouver:

Hines TR. Conceptual object-oriented programming. [Internet] [Masters thesis]. Kansas State University; 1986. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/2097/22075.

Council of Science Editors:

Hines TR. Conceptual object-oriented programming. [Masters Thesis]. Kansas State University; 1986. Available from: http://hdl.handle.net/2097/22075


Kansas State University

28. Busack, Nancy Long. The intelligent data object and its data base interface.

Degree: 1985, Kansas State University

Subjects/Keywords: Abstract data types (Computer science); Electronic mail systems; Database management

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Busack, N. L. (1985). The intelligent data object and its data base interface. (Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/9825

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Busack, Nancy Long. “The intelligent data object and its data base interface.” 1985. Thesis, Kansas State University. Accessed April 21, 2021. http://hdl.handle.net/2097/9825.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Busack, Nancy Long. “The intelligent data object and its data base interface.” 1985. Web. 21 Apr 2021.

Vancouver:

Busack NL. The intelligent data object and its data base interface. [Internet] [Thesis]. Kansas State University; 1985. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/2097/9825.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Busack NL. The intelligent data object and its data base interface. [Thesis]. Kansas State University; 1985. Available from: http://hdl.handle.net/2097/9825

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Kansas State University

29. Chen, Jung-Juin. Simula prettyprinter using Pascal.

Degree: Department: Computer Science., 1986, Kansas State University

Subjects/Keywords: Programming languages (Electronic computers); Abstract data types (Computer science); SPP (Computer program)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, J. (1986). Simula prettyprinter using Pascal. (Thesis). Kansas State University. Retrieved from http://hdl.handle.net/2097/9904

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Chen, Jung-Juin. “Simula prettyprinter using Pascal.” 1986. Thesis, Kansas State University. Accessed April 21, 2021. http://hdl.handle.net/2097/9904.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Chen, Jung-Juin. “Simula prettyprinter using Pascal.” 1986. Web. 21 Apr 2021.

Vancouver:

Chen J. Simula prettyprinter using Pascal. [Internet] [Thesis]. Kansas State University; 1986. [cited 2021 Apr 21]. Available from: http://hdl.handle.net/2097/9904.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chen J. Simula prettyprinter using Pascal. [Thesis]. Kansas State University; 1986. Available from: http://hdl.handle.net/2097/9904

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

30. Gondelman, Léon. Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification.

Degree: Docteur es, Informatique, 2016, Université Paris-Saclay (ComUE)

Cette thèse se place dans le contexte de la vérification déductive des programmes et a pour objectif de formaliser un certain nombre de concepts qui… (more)

Subjects/Keywords: Vérification déductive des programmes; Why3; Raffinement de données; Système de types; Code fantôme; Deductive Software Verification; Why3; Data refinement; Type systems; Ghost code

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gondelman, L. (2016). Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLS583

Chicago Manual of Style (16th Edition):

Gondelman, Léon. “Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed April 21, 2021. http://www.theses.fr/2016SACLS583.

MLA Handbook (7th Edition):

Gondelman, Léon. “Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification.” 2016. Web. 21 Apr 2021.

Vancouver:

Gondelman L. Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2021 Apr 21]. Available from: http://www.theses.fr/2016SACLS583.

Council of Science Editors:

Gondelman L. Un système de types pragmatique pour la vérification déductive des programmes : A Pragmatic Type System for Deductive Software Verification. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLS583

[1] [2] [3] [4]

.