The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Programming Techniques,Programming Languages Compilers Interpreters,Logics and Meanings of Programs, » Page 1466
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings
pdf
Author:
Peter Selinger (auth.) Yukiyoshi Kameyama Peter J. Stuckey (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures
pdf
Author:
Rajeev Alur P. Madhusudan (auth.) Marco Bernardo Flavio Corradini (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
2
0
Read online
Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
pdf
Author:
Alain Colmerauer (auth.) Peter J. Stuckey (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
3
0
Read online
CAAP '90: 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
djvu
Author:
Tirza Hirst David Harel (auth.) A. Arnold (eds.)
Language:
English
Year:
1990
0
0
26.01.2024
1
0
Read online
Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
djvu
Author:
J. R. Abrial (auth.) J. L. A. van de Snepscheut (eds.)
Language:
English
Year:
1989
0
0
26.01.2024
1
0
Read online
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
djvu
Author:
Hartmut Ehrig Bernd Mahr (auth.) Peter D. Mosses Mogens Nielsen Michael I. Schwartzbach (eds.)
Language:
English
Year:
1995
0
0
26.01.2024
2
0
Read online
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses
pdf
Author:
Matthew M. Huntbach Graem A. Ringwood (auth.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings
djvu
Author:
Robin Milner (auth.) W.R. Cleaveland (eds.)
Language:
English
Year:
1992
0
0
26.01.2024
1
0
Read online
Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
pdf
Author:
Kokichi Futatsugi (auth.) Zhenjiang Hu Mario Rodríguez-Artalejo (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
djvu
Author:
Jean-Raymond Abrial Egon Börger (auth.) Jean-Raymond Abrial Egon Börger Hans Langmaack (eds.)
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
1
...
1462
1463
1464
1465
1466
1467
1468
1469
1470
...
1493
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
