The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Santiago Escobar Narciso Martí-Oliet
Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
pdf
Author:
Santiago Escobar Narciso Martí-Oliet
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
pdf
Author:
Santiago Escobar (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
pdf
Author:
María Alpuente Santiago Escobar José Iborra (auth.) Andrei Voronkov (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
1
0
Read online
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
pdf
Author:
María Alpuente Marco Comini Santiago Escobar Moreno Falaschi Salvador Lucas (auth.) Michael Leuschel (eds.)
Language:
English
Year:
2003
0
0
27.01.2024
0
0
Read online
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
pdf
Author:
Santiago Escobar Catherine Meadows José Meseguer (auth.) Alessandro Aldini Gilles Barthe Roberto Gorrieri (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
1
0
Read online
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
pdf
Author:
Roberto Ierusalimschy (auth.) Santiago Escobar (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
pdf
Author:
Santiago Escobar
Language:
English
0
0
27.01.2024
0
0
Read online
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
pdf
Author:
Santiago Escobar Catherine Meadows José Meseguer (auth.) Alessandro Aldini Gilles Barthe Roberto Gorrieri (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
pdf
Author:
Roberto Ierusalimschy (auth.) Santiago Escobar (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
pdf
Author:
Santiago Escobar Catherine Meadows José Meseguer (auth.) Alessandro Aldini Gilles Barthe Roberto Gorrieri (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
1
2
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
