Ordering-based methodos for proving termination automatically
Tesis doctoral de Cristina Borralleras Andreu Datos académicos de la tesis doctoral «Ordering-based methodos for proving termination automatically« Título […]
Tesis doctoral sobre Politécnica de catalunya
Accede a todas las tesis doctorales sobre Politécnica de catalunya mas relevantes.
El arquitecto carlos obregón santacilia. la tradición arquitectónica mexicana (nacimiento, invención y renovación)
Tesis doctoral de Juan López García El presente trabajo analiza la actividad profesional realizada por el arquitecto mexicano carlos obregón
Provisioning of multipoint-to-multipoint communications in an mpls atm label switch router
Tesis doctoral de Josep Mangue Sbafalluy La tecnología multiprotocol label switching (mpls) ha sido concebida para permitir un procesado eficiente
Relative timing based verification of concurrent systems
Tesis doctoral de Marco Antonio Peña Basurto Datos académicos de la tesis doctoral «Relative timing based verification of concurrent
The role of norms and electronic institutions in multi-agent systems applied to complex domains. the harmonia framework
Tesis doctoral de Javier Vázquez Salceda Datos académicos de la tesis doctoral «The role of norms and electronic institutions
Contribución al estudio y diseño de mecanismos avanzados de servicio de flujos semi-elásticos en internet con garantías de calidad de servicio extremo a extremo
Tesis doctoral de Marcos Postigo Boix Los servicios y aplicaciones ofrecidos en internet demanda, con mayor frecuencia, un determinado nivel
Guíapara la creación de procedimientos operacionales bajo un sistema integrado de gestión (qse) para la empresa constructora
Tesis doctoral de Fernando Peñaranda Casasnovas Para hacer un análisis del momento que atraviesa la industria de la construcción con
Estudio y construcción de estructuras topológicas idóneas para la modelización de redes de interconexión
Tesis doctoral de Eduardo Alberto Canale Betancourt En esta tesis se estudia el problema grado-diámetro, o problema (delta-de), surgido del
On distributing the analysis process of a broad-coverage unification-based grammar of spanish
Tesis doctoral de Monteserrat Marimon Felipe Datos académicos de la tesis doctoral «On distributing the analysis process of a
A contribution to the design and efficient decoding of traceability codes
Tesis doctoral de Marcel Fernández Muñoz Datos académicos de la tesis doctoral «A contribution to the design and efficient