Search Results for Data Structures.

15 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Data Structures and Algorithms with Python

Yazar

Lee, Kent D. author.

http://dx.doi.org/10.1007/978-3-319-13072-9

Format:

Electronic Resources

Alıntı:

Data Structures and Algorithms with Python Lee, Kent D. author.

Systems Programming in Unix/Linux

Yazar

Wang, K.C. author.

https://doi.org/10.1007/978-3-319-92429-8

Format:

Electronic Resources

Alıntı:

Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor.

https://doi.org/10.1007/978-3-319-94144-8

Format:

Electronic Resources

Alıntı:

Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Lambers, Leen. editor. (orcid)0000-0001-6937-5167

https://doi.org/10.1007/978-3-319-92991-0

Format:

Electronic Resources

Alıntı:

Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Yazar

de Lara, Juan. editor. (orcid)0000-0001-9425-6362

https://doi.org/10.1007/978-3-319-61470-0

Format:

Electronic Resources

Alıntı:

Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Yazar

Shen, Xipeng. editor.

http://dx.doi.org/10.1007/978-3-319-29778-1

Format:

Electronic Resources

Alıntı:

compiler, communication and locality, parallel applications and data structures, and correctness and

Algorithms for Functional Programming

Yazar

Stone, John David. author.

https://doi.org/10.1007/978-3-662-57970-1

Format:

Electronic Resources

Alıntı:

chapters that follow introduce and explain data structures, sorting, combinatorial constructions, graphs

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

Yazar

Trobec, Roman. author.

https://doi.org/10.1007/978-3-319-98833-7

Format:

Electronic Resources

Alıntı:

Control Structures and Microprogramming. http://scigraph.springernature.com/things/product-market

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor.

http://dx.doi.org/10.1007/978-3-319-12154-3

Format:

Electronic Resources

Alıntı:

and explanation; verification frameworks and applications; hypervisors and dynamic data structures

10.

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Yazar

Davis, Jesse. editor.

http://dx.doi.org/10.1007/978-3-319-23708-4

Format:

Electronic Resources

Alıntı:

predictive models from ecological data -- PageRank, ProPPR, and Stochastic Logic Programs -- Complex

11.

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Yazar

Chivers, Ian. author.

http://dx.doi.org/10.1007/978-3-319-17701-4

Format:

Electronic Resources

Alıntı:

data, modules, data structuring and generic programming with minor updates to the rest of the chapters

12.

Introduction to Programming with Fortran

Yazar

Chivers, Ian. author.

https://doi.org/10.1007/978-3-319-75502-1

Format:

Electronic Resources

Alıntı:

Fortran including data typing, array processing, control structures, functions, subroutines, modules and

	{displayName}	{count}
{error}