Samson Abramsky: przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (54)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Oxford University Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

1993

Język:

english

Plik:

PDF, 15.50 MB

0 / 0

english, 1993

2

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

1992

Język:

english

Plik:

DJVU, 4.53 MB

5.0 / 4.0

english, 1992

3

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

1994

Język:

english

Plik:

DJVU, 3.55 MB

5.0 / 4.0

english, 1994

4

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

2001

Język:

english

Plik:

PDF, 24.82 MB

0 / 0

english, 2001

5

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

1995

Język:

english

Plik:

DJVU, 4.67 MB

0 / 0

english, 1995

6

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Oxford University Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

1993

Język:

english

Plik:

PDF, 33.68 MB

0 / 0

english, 1993

7

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

2001

Język:

english

Plik:

DJVU, 2.64 MB

5.0 / 3.0

english, 2001

8

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Rok:

1995

Język:

english

Plik:

PDF, 48.57 MB

0 / 0

english, 1995

9

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

Rok:

2024

Język:

english

Plik:

PDF, 5.90 MB

0 / 4.0

english, 2024

10

Mathematical Foundations of Information Flow

Mathematical Foundations of Information Flow

American Mathematical Society

Samson Abramsky, Michael Mislove (ed.)

Rok:

2012

Język:

english

Plik:

PDF, 1.78 MB

0 / 0

english, 2012

11

Introduction to Categories and Categorial Logic (draft)

Introduction to Categories and Categorial Logic (draft)

Samson Abramsky, Nikos Tzevelekos

Rok:

2011

Język:

english

Plik:

PDF, 898 KB

0 / 0

english, 2011

12

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 7.24 MB

0 / 0

english, 2010

13

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 7.15 MB

0 / 0

english, 2000

14

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 2.85 MB

0 / 0

english, 2011

15

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 2.59 MB

0 / 0

english, 2012

16

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Josep Diaz (eds.)

Rok:

1983

Język:

english

Plik:

DJVU, 5.51 MB

0 / 0

english, 1983

17

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 24.82 MB

0 / 0

english, 2003

18

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Olivier Danvy (auth.), Samson Abramsky (eds.)

Rok:

2001

Język:

english

Plik:

PDF, 3.84 MB

0 / 0

english, 2001

19

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 6.89 MB

0 / 0

english, 2007

20

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 4.98 MB

0 / 0

english, 2003

21

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 4.69 MB

0 / 0

english, 2007

22

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.)

Rok:

2005

Język:

english

Plik:

PDF, 4.49 MB

0 / 0

english, 2005

23

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 6.95 MB

0 / 0

english, 2010

24

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Josep Diaz (eds.)

Rok:

1983

Język:

english

Plik:

PDF, 9.83 MB

0 / 0

english, 1983

25

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Springer-Verlag New York

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)

Rok:

1990

Język:

english

Plik:

DJVU, 4.66 MB

0 / 0

english, 1990

26

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 12.39 MB

0 / 0

english, 2000

27

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 9.76 MB

0 / 5.0

english, 2010

28

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 7.34 MB

0 / 0

english, 2010

29

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.)

Rok:

1994

Język:

english

Plik:

DJVU, 6.73 MB

0 / 0

english, 1994

30

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 6.95 MB

0 / 0

english, 2010

31

Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Guy McCusker (auth.), Mogens Nielsen, Wolfgang Thomas (eds.)

Rok:

1998

Język:

english

Plik:

DJVU, 4.21 MB

0 / 0

english, 1998

32

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 3.44 MB

0 / 5.0

english, 2011

33

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 8.44 MB

0 / 5.0

english, 2010

34

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 2.65 MB

0 / 0

english, 2012

35

Dependence Logic: Theory and Applications

Dependence Logic: Theory and Applications

Birkhäuser Basel

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.)

Rok:

2016

Język:

english

Plik:

PDF, 3.48 MB

0 / 0

english, 2016

36

Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

David Pitt (auth.), David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard (eds.)

Rok:

1986

Język:

english

Plik:

DJVU, 3.80 MB

0 / 0

english, 1986

37

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

Rok:

1991

Język:

english

Plik:

DJVU, 2.68 MB

0 / 0

english, 1991

38

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

Rok:

1991

Język:

english

Plik:

PDF, 17.48 MB

0 / 0

english, 1991

39

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Marek Karpinski (eds.)

Rok:

1983

Język:

english

Plik:

DJVU, 4.55 MB

0 / 0

english, 1983

40

Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Albert R. Meyer, Michael A. Taitslin (eds.)

Rok:

1989

Język:

english

Plik:

DJVU, 2.47 MB

0 / 0

english, 1989

41

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 4.92 MB

0 / 0

english, 2005

42

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Hélène Kirchner (eds.)

Rok:

1996

Język:

english

Plik:

DJVU, 2.83 MB

0 / 0

english, 1996

43

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

Rok:

1986

Język:

english

Plik:

DJVU, 3.68 MB

0 / 0

english, 1986

44

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings

Mathematical Foundations of Computer Science 1997: 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25–29, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Igor Prívara, Peter Ružička (eds.)

Rok:

1997

Język:

english

Plik:

DJVU, 5.18 MB

0 / 0

english, 1997

45

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (eds.)

Rok:

2005

Język:

english

Plik:

PDF, 4.16 MB

0 / 0

english, 2005

46

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Springer-Verlag New York

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)

Rok:

1990

Język:

english

Plik:

PDF, 12.02 MB

0 / 0

english, 1990

47

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 8.87 MB

0 / 0

english, 2010

48

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

Rok:

1986

Język:

english

Plik:

PDF, 8.74 MB

0 / 0

english, 1986

49

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Hélène Kirchner (eds.)

Rok:

1996

Język:

english

Plik:

PDF, 6.23 MB

0 / 0

english, 1996

50

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Olivier Danvy (auth.), Samson Abramsky (eds.)

Rok:

2001

Język:

english

Plik:

PDF, 6.61 MB

0 / 0

english, 2001