Miquel Bertrán i Salvans

• Artículos de revistas (4)
• Colaboraciones en obras colectivas (1)
• Libros (3)
• Tesis dirigidas (4)

• Artículos de revistas

  • Speculative two-phase locking algorithm for distributed database systems

    August Climent i Ferrer, Miquel Bertrán i Salvans, Miquel Nicolau Vila, Francesc Xavier Babot Pagès

    Input: revista divulgativa de tecnologies d'informació i gestió de recursos de l'Escola d'Enginyeria la Salle (EUETT-ETTSEI), ISSN 1134-3281, Nº. 23, 2001, págs. 103-109

    • Resumen
    

  • Testing ROBDD construction with a massive parallel processing genetic algorithm

    Josep Maria Garrell i Guiu, Miquel Bertrán i Salvans

    Input: revista divulgativa de tecnologies d'informació i gestió de recursos de l'Escola d'Enginyeria la Salle (EUETT-ETTSEI), ISSN 1134-3281, Nº. 12, 1996, págs. 17-23

    • Resumen
    

  • The Llull system: a normal notation, process algebras, and an environment for parallel-distributed system development

    Miquel Bertrán i Salvans

    Input: revista divulgativa de tecnologies d'informació i gestió de recursos de l'Escola d'Enginyeria la Salle (EUETT-ETTSEI), ISSN 1134-3281, Nº. 6, 1994, págs. 15-31

    • Resumen
    

  • Els mètodes formals en el desenvolupament de sistemes paral·lel-distribuïts

    Miquel Bertrán i Salvans

    Input: revista divulgativa de tecnologies d'informació i gestió de recursos de l'Escola d'Enginyeria la Salle (EUETT-ETTSEI), ISSN 1134-3281, Nº. 5, 1994, págs. 18-26

    • Resumen
    

• Colaboraciones en obras colectivas

  • Integrating formal verification of parallelization in the PADD/RALE environment

    Miquel Bertrán i Salvans, Carlos Alberto Durante Rincón, Miquel Porta, Francesc Xavier Babot Pagès, August Climent i Ferrer, Miquel Nicolau

    VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez, Oscar Pastor Acosta, Natalia Juristo Juzgado, Juan José Moreno Navarro, 2002, ISBN 84-688-0206-9, págs. 305-314

    

• Libros

  • Sistemas y circuitos: digitales y analógicos

    Athanasios Papoulis, Miquel Bertrán i Salvans

    Barcelona : Marcombo, D.L. 1989. ISBN 84-267-0736-X

    

  • Hacia la comprensión de la informática

    Miquel Bertrán i Salvans, Harold W. Lawson, Joan Manuel Jover Serrano

    Barcelona : Marcombo, 1983. ISBN 84-267-0479-4

    

  • Sistemas digitales y analógicos, transformadas de Fourier, estimación espectral

    Athanasios Papoulis, Miquel Bertrán i Salvans

    Barcelona : Marcombo, 1978. ISBN 84-267-0226-0

    

• Tesis dirigidas

  • Contributions to Formal Communication Elimination for System Models with Explicit Parallelism

    Francesc Xavier Babot Pagès

    Tesis doctoral dirigida por Miquel Bertrán i Salvans (dir. tes.). Universitat Ramon Llull (2009).

    • Resumen
    • Tesis en acceso abierto en: TDX
    

  • Aportaciones a la sintesis logica a nivel transistor de sistemas v.L.S.I

    Josep Maria Garrell i Guiu

    Tesis doctoral dirigida por Miquel Bertrán i Salvans (dir. tes.). Universitat Ramon Llull (1996).

    • Resumen
    

  • Analisi espectral amb models racionals del cepstrum

    Climent Nadeu Camprubí

    Tesis doctoral dirigida por Miquel Bertrán i Salvans (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1982).

    • Resumen
    

  • Deconvolución digital mediante filtrado local recurrente

    Vicente Casares Giner

    Tesis doctoral dirigida por Miquel Bertrán i Salvans (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1980).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.