*Search Results* - Designing Functional Implementations of Graph Algorithms

*to main content*

*to footer with external links*

sublabel_Solr

1
2
3
4
5
6
7
8
9
*Next*
[9]

1

Designing Functional Implementations of Graph Algorithms

Danilenko, Nikita (Verfasser)

Kiel : Universitätsbibliothek Kiel, 2016

*eBook*

2

Applied Algorithms : Third International Conference, ICAA 2026, Kolkata, India, January 7–9, 2026, Proceedings

Zaroliagis, Christos

1st ed.

Cham : Springer Nature Switzerland, 2026

*eBook*

3

Introduction to algorithms

Cormen, Thomas H.

3. ed.

Cambridge, Mass. [u.a.] : MIT Press, 2009

*book*

4

Distributed computing : principles, algorithms, and systems

Kshemkalyani, Ajay D.

Cambridge : Cambridge Univ. Press, 2011

*book*

5

Dynamic reconfiguration : architectures and algorithms

Vaidyanathan, Ramachandran

New York [u.a.] : Kluwer [u.a.], 2003

*book*

6

Introduction to algorithms

Cormen, Thomas H. (Hrsg.)

2. ed.

Cambridge [u.a.] : MIT Press [u.a.], 2001

*book*

7

Introduction to algorithms

Cormen, Thomas H. (Herausgeber)

2. ed., [4. printing]

Cambridge, Mass. : MIT Press, 2003

*book*

8

Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers

Chitil, Olaf (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

9

Handbook of Model Checking

Clarke, Edmund M (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

*eBook*

10

Designing efficient algorithms for parallel computers

Quinn, Michael J.

New York [u.a.] : McGraw-Hill, 1987

*book*

11

The algorithm design manual

Skiena, Steven S. (Verfasser)

3rd ed. 2020

Cham : Springer International Publishing, [2020]

*eBook*

12

Introduction to algorithms

Cormen, Thomas H.

2. print.

Cambridge, Mass. : MIT Press [u.a.], 1990

*book*

13

Implementation of non-strict functional programming languages

Traub, Kenneth R.

London : Pitman [u.a.], 1991

*book*

14

Digital Transformation of the Chemical Process Industry : A Practical Guide for Professionals

Bhattacharjee, Subir (Verfasser)

1st ed. 2026

Cham : Springer Nature Switzerland, 2025

*book*

15

Handbook of signal processing systems

Bhattacharyya, Shuvra S. (Hrsg.)

New York [u.a.] : Springer, 2010

*book*

16

Logics of specification languages

Bjørner, Dines (Herausgeber)

Berlin : Springer, 2008

*book*

17

Integrating functional and temporal domains in logic design : the false path problem and its implications

MacGeer, Patrick C.

Boston [u.a.] : Kluwer Acad. Publ., 1991

*book*

18

The Algorithm Design Manual

Skiena, Steven S. (Verfasser)

2nd ed. 2008

London : Springer London, 2008

*eBook*

19

Distributed Computing : 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings

Kuhn, Fabian (Herausgeber)

1st ed. 2014

Berlin, Heidelberg : Springer Berlin Heidelberg, 2014

*eBook*

20

Network Analysis Literacy : A Practical Approach to the Analysis of Networks

Zweig, Katharina A.

Wien : Springer, [2016]

*book*

1
2
3
4
5
6
7
8
9
*Next*
[9]