Вы здесь
Bertran M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Database Concurrency Control on a Shared-Nothing Architecture using Speculative Lock Modes | 2001 | Climent A., Bertran M., Nicolau M. | Research Communications of the 5th East-European Conf. on Advances in Databases and Information Systems (ADBIS 2001) | 05.10.2001 | |||
| СТ | Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs | 2001 | Bertran M., Babot F., Climent A., Nicolau M. | Lecture Notes in Computer Science | 31.07.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Transformation-Based Reactive Systems Development: Proc./4th Intern. AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 97. Palma, Mallorca, Spain, May 1997 | 1997 | Lecture Notes in Computer Science |
|
18.06.1997 | |||
| СБ | FME 94: Industrial Benefit of Formal Methods: Proc./Second Intern. Symp. of Formal Methods Europe. Barcelona, Spain, October 1994 | 1994 | Lecture Notes in Computer Science |
|
08.12.1994 |