Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Mathematical Foundations of Computer Science 1980:...

Main
Mathematics
Mathematical Foundations of Computer...

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Dines Bjørner (auth.), P. Dembiński (eds.)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1980

Edizione:

1

Casa editrice:

Springer-Verlag Berlin Heidelberg

Lingua:

english

Pagine:

726

ISBN 10:

354010027X

ISBN 13:

9783540100270

Collana:

Lecture Notes in Computer Science 88

File:

DJVU, 6.42 MB

IPFS:

,

english, 1980

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

宫野弘司 — 78种健康香草栽培

巨天中 — 家居风水宜忌

醍醐敏郎 — 柔道

R. J. R. Back, H. Mannila (auth.), Mogens Nielsen, Erik Meineche Schmidt (eds.) — Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

J. M. Barzdin, J. J. Bičevskis (auth.), Dr. Jíří Bečvář (eds.) — Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975

W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.) — Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.) — TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

A. Van Wijngaarden (auth.), Prof. Dr.-Ing. J. Loeckx (eds.) — Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974

J. M. Barzdin, J. J. Bičevskis (auth.), Dr. Jíří Bečvář (eds.) — Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975

K. R. Apt, J. W. de Bakker (auth.), Antoni Mazurkiewicz (eds.) — Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976

Alfred V. Aho, Ravi Sethi (auth.), Arto Salomaa, Magnus Steinby (eds.) — Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18–22, 1977

Giorgio Ausiello (auth.), Jozef Gruska (eds.) — Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977

P. van Emde Boas (auth.), J. Winkowski (eds.) — Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978

Egidio Astesiano, Gerardo Costa (auth.), Hermann A. Maurer (eds.) — Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

W. Ainhirn (auth.), Jaco de Bakker, Jan van Leeuwen (eds.) — Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Jon Louis Bentley, Thomas Ottmann (auth.), Jozef Gruska, Michal Chytil (eds.) — Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium à trbské Pleso, Czechoslovakia August 31 – September 4, 1981

Robert L. Constable (auth.), Armin B. Cremers, Hans-Peter Kriegel (eds.) — Theoretical Computer Science: 6th Gl-Conference Dortmund, January 5–7, 1983

Herbert Edelsbrunner (auth.), M. Fontet, K. Mehlhorn (eds.) — STACS 84: Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984

Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.) — Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.) — TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.) — TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings

Juris Hartmanis (auth.), Rudrapatna K. Shyamasundar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15–17, 1993 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (eds.) — TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings

Gérard Berry (auth.), Ed Brinksma (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

Nicolas Halbwachs, Pascal Raymond (auth.), P. S. Thiagarajan, Roland Yap (eds.) — Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings

Termini più frequenti