Search Results for récursion.

1.

Recursion Theory and Computational Complexity

Author

Lolli, G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11072-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Mathematics for Computer Scientists A Practice-Oriented Approach

Author

Hartmann, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520344.1)

Electronic Access

https://doi.org/10.1007/978-3-658-40423-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

Author

Hausser, Roland. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520261.1)

Electronic Access

https://doi.org/10.1007/978-3-031-22739-4

Format:

Availability

Online Library~1

Available:
Copies:

4.

Guide to Java A Concise Introduction to Programming

Author

Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520560.1)

Electronic Access

https://doi.org/10.1007/978-3-031-22842-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520574.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26212-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

A Beginners Guide to Python 3 Programming

Author

Hunt, John. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520602.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35122-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings

Author

Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521090.1)

Electronic Access

https://doi.org/10.1007/978-3-031-38100-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Author

Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519117.1)

Electronic Access

https://doi.org/10.1007/978-3-319-17142-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Language Production, Cognition, and the Lexicon

Author

Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518530.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Data Structures and Algorithms with Python

Author

Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518537.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}