Bertran, Miquel.
Bertran i Salvans, Miquel, 1945-2014
Bertrán i Salvans, Miquel 1945-
Bertran, Miquel, 19..-....
Miquel Bertran i Salvans
VIAF ID: 19933256 (Personal)
Permalink: http://viaf.org/viaf/19933256
Preferred Forms
-
200 _ | ‡a Bertran ‡b Miquel
-
100 1 _ ‡a Bertran i Salvans, Miquel ‡d 1945-
-
-
100 1 0 ‡a Bertran, Miquel
-
-
-
-
-
-
100 1 _ ‡a Bertran, Miquel (sparse)
-
100 1 _ ‡a Bertran, Miquel, ‡d 19..-....
-
-
100 1 0 ‡a Bertrán i Salvans, Miquel ‡d 1945-
-
100 0 _ ‡a Miquel Bertran i Salvans
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Addendum to T-BASIC-D Language Manual |
![]() |
AMAST |
![]() |
Anàlisi espectral amb models racionals del cepstrum |
![]() |
Aportaciones a la simulación de sistemas en PADD |
![]() |
Aportacions a la síntesi lògica a nivell transistor de sistmes V.L.S.I |
![]() |
ARTS'97 |
![]() ![]() |
Compilador portable de C++ |
![]() |
Contribució al disseny electrònic i mapeig a VHDL amb transformacions formals |
![]() |
Contribucions al disseny i optimització de xarxes d'ordinadors |
![]() |
Contributions to Formal Communication Elimination for System Models with Explicit Parallelism |
![]() |
Control de concurrència en sistemes gestors de bases de dades distribuïdes algorismes i rendiment |
![]() |
Deconvolución digital mediante filtrado local recurrente |
![]() |
Diseño y simulacion de arquitecturas (VLIW) |
![]() |
Disseny d'algorismes d'anàlisi expectral amb eines de simulació amb gràfics |
![]() |
Disseny d'arquitectures per transformació de models concurrents |
![]() |
Documentador gràfic per l'entorn de disseny PADDs |
![]() |
Entorn de desenvolupament de sistemes distribuïts basat en el time warp aplicació a la simulació distribuïda |
![]() |
Estudi d'un algorisme de disseny de filtres digitals |
![]() |
Filtro de Kalman sistólico y diseño en base a concreciones sucesivas |
![]() |
FME '94, industrial benefit of formal methods second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Generador de editores sintácticos para diseño dimensional |
![]() |
Hacia la comprensión de la informática |
![]() ![]() |
Herramienta para la optimización de redes de telecontrol |
![]() |
Mètodes i eines per a proves de programes distribuïts |
![]() |
Modelat i verificació de sistemes distribuïts guia d'estudi |
![]() |
Noves eines de simulació d'arquitectures paral·leles basades en programació concurrent |
![]() |
Nuevas herramientas y metodología de traducción de lenguajes |
![]() |
Restauració de sistemes de Rayleigh excitats per trens d'impulsos |
![]() |
Restauración sistemas CHI con el método de linealización de Gauss |
![]() |
Secuencias ortogonales y filtraje digital |
![]() |
Selecció de comunicacions CSP i temps virtual protocols avançats de comunicació i sincronització per sistemes paral·lel-distribuïts |
![]() |
Simulació de protocols d'enllaç amb llenguatge d'especificació padd : implementació i ús del simulador |
![]() |
Simulación de paralelismo y tubularidad de algoritmos DCT y su aplicación a la norma JPEG |
![]() |
Simulador de sistemas dinámicos orientado a diagramas de bloques : Basado en técnicas de procesado digital de señales y programación estructurada |
![]() |
Sistemas digitales y analógicos, transformadas de Fourier, estimación espectral |
![]() ![]() |
Software per documentació formal i verificació de programes |
![]() |
Una Solució al problema del mapeig de Padd a circuits electrònics |
![]() |
Traductor PADD-VHDL |
![]() |
Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |