Chris Hankin: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Lambda Calculi: A Guide for Computer Scientists

Lambda Calculi: A Guide for Computer Scientists

Oxford University Press

عام:

1994

اللغة:

english

ملف:

DJVU, 1.33 MB

0 / 0

english, 1994

2

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

عام:

2024

اللغة:

english

ملف:

PDF, 5.90 MB

0 / 4.0

english, 2024

3

Space Force: Building The Legacy

Space Force: Building The Legacy

Midlands Scribes Publishing

Doug Irvin, P. A. Piatt, Susan Murrie Macdonald, Ali Abbas, Ray Daley, Rosie Oliver, Karl K. Gallagher, Brennen Hankins, Jim Robb, Brena Bock, Chris DiNote, Richard Paolinelli

عام:

2020

اللغة:

english

ملف:

EPUB, 272 KB

0 / 0

english, 2020

4

Space Force: Building The Legacy

Space Force: Building The Legacy

Midlands Scribes Publishing

Doug Irvin (Editor) & P. A. Piatt & Susan Murrie Macdonald & Ali Abbas & Ray Daley & Rosie Oliver & Karl K. Gallagher & Brennen Hankins & Jim Robb & Brena Bock & Chris DiNote & Richard Paolinelli

عام:

2020

اللغة:

english

ملف:

MOBI , 313 KB

0 / 0

english, 2020

5

Principles of Functional Programming

Principles of Functional Programming

Hugh Glaser, Chris Hankin, David Till

عام:

1984

اللغة:

english

ملف:

DJVU, 1.42 MB

0 / 0

english, 1984

6

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Springer International Publishing

Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.)

عام:

2016

اللغة:

english

ملف:

PDF, 10.07 MB

0 / 0

english, 2016

7

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Gert Smolka (auth.), Chris Hankin (eds.)

عام:

1998

اللغة:

english

ملف:

PDF, 15.71 MB

0 / 0

english, 1998

8

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 4.49 MB

0 / 0

english, 2005

9

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson, Hanne R. Nielson, Chris Hankin

عام:

2005

اللغة:

english

ملف:

PDF, 10.11 MB

0 / 2.5

english, 2005

10

Principles of Program Analysis

Principles of Program Analysis

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

عام:

1999

اللغة:

english

ملف:

PDF, 38.85 MB

0 / 4.0

english, 1999

11

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 1.53 MB

0 / 0

english, 2010

12

Coordination Languages and Models: First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings

Coordination Languages and Models: First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Pierre Banâtre (auth.), Paolo Ciancarini, Chris Hankin (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 4.89 MB

0 / 0

english, 1996

13

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 1.65 MB

0 / 0

english, 2010

14

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.65 MB

0 / 0

english, 2010