Sfoglia per Autore
HEURISTICALLY GUIDED SEARCH AND CHROMOSOME MATCHING
1970-01-01 Montanari, UGO GIOVANNI ERASMO
SEPARABLE GRAPHS, PLANAR GRAPHS AND WEB GRAMMARS
1970-01-01 Montanari, UGO GIOVANNI ERASMO
A GREY-WEIGHTED SKELETON
1970-01-01 Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO
MINIMIZATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL COMPUTERS
1970-01-01 G. R. A. S. S. E. L. L., A; Montanari, UGO GIOVANNI ERASMO
OPTIMAL DETECTION OF CURVES IN NOISY PICTURES
1971-01-01 Montanari, UGO GIOVANNI ERASMO
NONSERIAL DYNAMIC PROGRAMMING - OPTIMAL STRATEGY OF VARIABLE ELIMINATION FOR RECTANGULAR LATTICE
1972-01-01 Martelli, A; Montanari, UGO GIOVANNI ERASMO
BOOLEAN-ALGEBRA METHOD FOR COMPUTING TERMINAL RELIABILITY IN A COMMUNICATION NETWORK
1973-01-01 Fratta, L; Montanari, UGO GIOVANNI ERASMO
NETWORKS OF CONSTRAINTS - FUNDAMENTAL PROPERTIES AND APPLICATIONS TO PICTURE PROCESSING
1974-01-01 Montanari, UGO GIOVANNI ERASMO
SYNTHESIS OF AVAILABLE NETWORKS
1976-01-01 Fratta, L; Montanari, UGO GIOVANNI ERASMO
OPTIMIZING DECISION TREES THROUGH HEURISTICALLY GUIDED SEARCH
1978-01-01 Martelli, A; Montanari, UGO GIOVANNI ERASMO
RECURSIVE METHOD BASED ON CASE ANALYSIS FOR COMPUTING NETWORK TERMINAL RELIABILITY
1978-01-01 Fratta, L; Montanari, UGO GIOVANNI ERASMO
A fexilble environment for program development based on symbolic interpreter
1979-01-01 Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco
DYNAMIC-PROGRAMMING AS GRAPH SEARCHING - AN ALGEBRAIC APPROACH
1981-01-01 Gnesi, S; Montanari, UGO GIOVANNI ERASMO; Martelli, A.
AN EFFICIENT UNIFICATION ALGORITHM
1982-01-01 Martelli, A; Montanari, UGO GIOVANNI ERASMO
Specifying highly concurrent data structure manipulation
1983-01-01 Corradini, Andrea; Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Liveness properties as convergence in metric spaces
1984-01-01 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Distributed systems, partial orderings of events and event structures
1985-01-01 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Specification languages for modelling concurrency
1985-01-01 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Partial ordering derivations for CCS
1985-01-01 Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO
Specification languages for distributed systems
1985-01-01 Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
HEURISTICALLY GUIDED SEARCH AND CHROMOSOME MATCHING | 1-gen-1970 | Montanari, UGO GIOVANNI ERASMO | |
SEPARABLE GRAPHS, PLANAR GRAPHS AND WEB GRAMMARS | 1-gen-1970 | Montanari, UGO GIOVANNI ERASMO | |
A GREY-WEIGHTED SKELETON | 1-gen-1970 | Levi, Giorgio; Montanari, UGO GIOVANNI ERASMO | |
MINIMIZATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL COMPUTERS | 1-gen-1970 | G. R. A. S. S. E. L. L., A; Montanari, UGO GIOVANNI ERASMO | |
OPTIMAL DETECTION OF CURVES IN NOISY PICTURES | 1-gen-1971 | Montanari, UGO GIOVANNI ERASMO | |
NONSERIAL DYNAMIC PROGRAMMING - OPTIMAL STRATEGY OF VARIABLE ELIMINATION FOR RECTANGULAR LATTICE | 1-gen-1972 | Martelli, A; Montanari, UGO GIOVANNI ERASMO | |
BOOLEAN-ALGEBRA METHOD FOR COMPUTING TERMINAL RELIABILITY IN A COMMUNICATION NETWORK | 1-gen-1973 | Fratta, L; Montanari, UGO GIOVANNI ERASMO | |
NETWORKS OF CONSTRAINTS - FUNDAMENTAL PROPERTIES AND APPLICATIONS TO PICTURE PROCESSING | 1-gen-1974 | Montanari, UGO GIOVANNI ERASMO | |
SYNTHESIS OF AVAILABLE NETWORKS | 1-gen-1976 | Fratta, L; Montanari, UGO GIOVANNI ERASMO | |
OPTIMIZING DECISION TREES THROUGH HEURISTICALLY GUIDED SEARCH | 1-gen-1978 | Martelli, A; Montanari, UGO GIOVANNI ERASMO | |
RECURSIVE METHOD BASED ON CASE ANALYSIS FOR COMPUTING NETWORK TERMINAL RELIABILITY | 1-gen-1978 | Fratta, L; Montanari, UGO GIOVANNI ERASMO | |
A fexilble environment for program development based on symbolic interpreter | 1-gen-1979 | Asirelli, P; Degano, Pierpaolo; Levi, Giorgio; Martelli, A; Montanari, UGO GIOVANNI ERASMO; Pacini, G; Sirovich, F; Turini, Franco | |
DYNAMIC-PROGRAMMING AS GRAPH SEARCHING - AN ALGEBRAIC APPROACH | 1-gen-1981 | Gnesi, S; Montanari, UGO GIOVANNI ERASMO; Martelli, A. | |
AN EFFICIENT UNIFICATION ALGORITHM | 1-gen-1982 | Martelli, A; Montanari, UGO GIOVANNI ERASMO | |
Specifying highly concurrent data structure manipulation | 1-gen-1983 | Corradini, Andrea; Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO | |
Liveness properties as convergence in metric spaces | 1-gen-1984 | Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO | |
Distributed systems, partial orderings of events and event structures | 1-gen-1985 | Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO | |
Specification languages for modelling concurrency | 1-gen-1985 | Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO | |
Partial ordering derivations for CCS | 1-gen-1985 | Degano, Pierpaolo; De Nicola, R; Montanari, UGO GIOVANNI ERASMO | |
Specification languages for distributed systems | 1-gen-1985 | Degano, Pierpaolo; Montanari, UGO GIOVANNI ERASMO |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile