ESOP 86: European Symposium on Programming Saarbrücken,...

Main
Computers - Programming
ESOP 86: European Symposium on...

ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.)

0 / 0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

หมวดหมู่:

Computers - Programming

ปี:

1986

ฉบับพิมพ์ครั้งที่:

1

สำนักพิมพ์:

Springer-Verlag Berlin Heidelberg

ภาษา:

english

จำนวนหน้า:

380

ISBN 10:

3540164421

ISBN 13:

9783540164425

ซีรีส์:

Lecture Notes in Computer Science 213

ไฟล์:

DJVU, 3.55 MB

IPFS:

,

english, 1986

อ่านออนไลน์

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.) — Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

Michael Leuschel (auth.), Maurizio Proietti (eds.) — Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Vijay A. Saraswat, Kazunori Ueda (ed.) — Logic programming: proceedings of the 1991 international symposium

Maurice Bruynooghe (ed.) — Logic programming: Proceedings of the 1994 Internationa Symposium

C.A.R. Hoare, He Jifeng — Unifying theories of programming

Dale Miller (ed.) — Logic Programming: Proceedings of the 1993 International Symposium October 26-29, 1993, Vancouver, British Columbia

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.1

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on Logic Programming

Danny De Schreye — Logic programming : proceedings of the 1999 International Conference on Logic Programming

Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Danny De Schreye — Logic Programming: The 1999 International Conference

Koichi Furukawa (ed.) — Logic programming: proceedings of the 8 international conference

Kowalski R.A., Bowen K.A. (eds.) — Logic programming: proceedings 5th international conference, vol.1

Robert A. Kowalski, Kenneth A. Bowen (ed.) — Logic programming: proceedings 5th international conference, vol.2

Ewing L. Lusk, Ross A. Overbeek, (eds.) — Logic programming: proc. North American conference 1989, vol.2

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

John Lloyd; Association for logic programming — Logic programming : proceedings

Michael Maher — Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Lee Naish, (ed.) — Logic Programming: The 14th International Conference

Leon S. Sterling — Logic Programming: The 12th International Conference

Meertens, Lambert G (eds.) — Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

Symposium on Logic Programming (ed.) — Proceedings 1987 Symposium on Logic Programming

Kenneth C. Louden, Kenneth A. Lambert — Programming Languages: Principles and Practices

R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur (auth.), Krysia Broda BSc, MSc, PhD (eds.) — ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Manfred Broy — Program design calculi

Isil Dillig,Jens Palsberg (eds.) — Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.) — TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Alfonso Miola — Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.) — Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 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

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) — Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) — Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Carroll Morgan (auth.), Manfred Broy (eds.) — Program Design Calculi

คำที่ถูกค้นหาบ่อยที่สุด