登入選單
Google圖書搜尋
Orejas de colores
作者
Fernando Cordero Morales
出版Editorial San Pablo, 2016-01-22
ISBN
9788428562478 / 8428562474
主題
Religion
Orejas de colores
ISBN
8428549281 / 9788428549288
主題
Religion
Gira-- orejas y cuernos
作者
Fernando Guell
出版1993
ISBN
8475468683 / 9788475468686
主題
Animals
La oreja de Dios
作者
Ciro Bianchi Ross / Ernesto González Bermejo / Carlos María Gutiérrez / Fernando Morais / Marc Cooper
出版1998
ISBN
UOM:39015046013440
主題
Authors, American
Symbolic model generation for graph properties
作者
Schneider, Sven / Lambers, Leen / Orejas, Fernando
出版Universitätsverlag Potsdam, 2017-05-09
ISBN
9783869563961 / 3869563966
主題
Computers
Semántica de comportamiento en lenguajes de especi...
作者
Pilar Nivela Alós / Fernando Orejas Valdés
出版1987
ISBN
OCLC:802627131
Automata, Languages and Programming
作者
Fernando Orejas
出版Springer Science & Business Media, 2001-06-27
ISBN
9783540422877 / 3540422870
主題
Computers
Construcción de programas concurrentes usando tipo...
作者
Ricardo Peña Marí
出版1984
ISBN
OCLC:802627159
TAPSOFT '89. Proceedings of the International Join...
作者
Josep Diaz / Fernando Orejas
出版Springer Science & Business Media, 1989-02-27
ISBN
3540509402 / 9783540509400
主題
Computers
Development of Algebraic Specifications with Const...
作者
Fernando Orejas / Silvia Inés Clerici / Vera Sacristán Adinolfi
出版1989
ISBN
OCLC:1224077102
Developement of Algebraic Specifications with Cons...
作者
Fernando Orejas Valdés / Silvia Inés Clerici / Vera Sacristán Adinolfi
出版1989
ISBN
OCLC:802585485
TAPSOFT
出版1989
ISBN
UOM:39015012052505
主題
Computer software
Characterizing Composability of Abstract Implement...
作者
Fernando Orejas Valdés
出版1982
ISBN
OCLC:802611454
On Implementability and Computability on Abstract ...
作者
Fernando Orejas Valdés
出版1983
ISBN
OCLC:802611537
A Module Concept Within the Initial Behaviour Fram...
作者
Pilar Nivela Alós
出版1988
ISBN
OCLC:802585452
Técnicas de reescritura para especificaciones cond...
作者
María Luisa Navarro Gómez
出版1987
ISBN
OCLC:802627124
On Sufficiently Complete Parameterized Specificati...
作者
Fernando Orejas Valdés
出版1983
ISBN
OCLC:802611517
Monitor de parques eólicos
作者
José Antonio Delgado Porras
出版2003
ISBN
OCLC:1120266937
Constraints for Behavioural Specifications
作者
Fernando Orejas Valdés / Pilar Nivela Alós
出版1990
ISBN
OCLC:802610865
Una teoría de tipos estructurados de datos
出版1979
ISBN
OCLC:914477452
Notes on Set Theory
作者
Josep Díaz
出版Springer, 1989
ISBN
UCSD:31822002643880
主題
Mathematics
A Proof System for Verifying Composability of Abst...
作者
Fernando Orejas Valdés
出版1983
ISBN
OCLC:802611529
TAPSOFT '89
出版1989
ISBN
MINN:319510009753689
主題
Computer software
Parametrized Conditional Log-specifications
作者
Marisa Navarro
出版1989
ISBN
OCLC:802585488
Behavioural Approach to Modular System Specificati...
作者
Hartmut Ehrig
出版1988
ISBN
OCLC:475873261
Precedentes y reminiscencias de la Literatura y el...
出版Real Academia de la Historia
ISBN
9788495983930 / 8495983931
Algunas técnicas de reescritura y su implementació...
作者
Robert Nieuwenhuis / Fernando Orejas Valdés
出版1988
ISBN
OCLC:802565381
Efficient conflict detection in graph transformati...
作者
Leen Lambers
出版2006
ISBN
OCLC:915974403
Constructive negation without subsidiary tree
作者
Edelmira Pasarella / Elvira Pino Blanco / Fernando Orejas Valdés
出版2000
ISBN
OCLC:803449418
Dynamic Abstract Data Types Based on Algebraic Gra...
作者
Hartmut Ehrig / Michael Löwe / Fernando Orejas
出版1994
ISBN
OCLC:1078673403