10 BÜCHER, DIE MIT «NIVELÁ» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
nivelá in der folgenden bibliographischen Auswahl. Bücher, die mit
nivelá im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
1
Proyecto y memoria - Pagina 76
7.0 La tercera operacion será hallar la diferencia de nivel entre las dos marcas , para lo cual se colocará el pie de la mira puesta verticalmente en el punto de cada marca. Se colocará el nivel á distancias iguales de las dos marcas; y tomando ...
Francisco Xavier Barra,
1832
2
Proyecto y memoria de Don F. X. Barra ... sobre la ... - Pagina 76
Se colocará el nivel á distancias iguales de las dos marcas; y tomando primero la altura sobre la marca núm. 1.°, que es la de atras, luego que avisa el que nivela, se aprieta el tornillo de la mira, y el que la dirige dice en alta voz la altura que ...
Francisco Xavier BARRA,
1832
3
Proyecto y memoria de don Francisco Xavier Barra, ... - Pagina 76
7o. La tercera operacion será hallar la diferencia de nivel entre las dos marcas, para lo cual se colocará el pie de la mira puesta verticalmente en el punto de cada marca. Se colocará el nivel á distancias iguales de las dos marcas; y tomando ...
Francisco Xavier Barra,
1832
4
Proyecto y memoria sobre la conducción de aguas a Madrid - Pagina 76
7.0 La tercera operacion será hallar la diferencia de nivel entre las dos marcas , para lo cual se colocará el pie de la mira puesta verticalmente en el punto de cada marca. Se colocará el nivel á distancias iguales de las dos marcas; y tomando ...
Francisco Xavier Barra,
1832
5
Curs de astronomie teoretică ... - Pagina 146
Oricare instrument meridian este în acest scop prevăzut cu o nivelă. Nivela Cercului nostru meridian se vede în fig. 29, atârnată la tavanul salei meridiane, deasupra instrumentului ; cu o manivelă se învârteşte această nivelă şi se lasă în jos, ...
6
Analele: Seria științele naturii - Volumele 9-12 - Pagina 25
Astrolabul cu prismă prezintă avantajul de a se dispensa de nivelă, a cărei utilizare introduce totdeauna nesiguranţe. In schimb, observarea coincidenţei imaginii directe şi a celei reflectate nu este susceptibilă de aceeaşi precizie ca de ...
Universitatea din București,
1956
7
Compendio de Matemáticas puras y mixtas - Pagina 335
Despues se pasa el nivel á otro punto F , dejando clavada la mira en B , y á igual distancia sobre poco mas ó ménos se coloca otra mira en C, se señalan los puntos de nivel e, c, y se apuntan las alturas Be, Ce. Se pasa el nivel á G, y con las ...
José Mariano Vallejo,
1819
8
Recent Trends in Data Type Specification: 10th Workshop on ...
170-183, 1987. [Nis87] Celso Niskier. Using Multiple Views for Software Specifications. In [San87], 1987. [NO87] Maria Pilar Nivela and Fernando Orejas. Initial Behaviour Semantics for Algebraic Specifications. In [ST88b], pp. 184-207, 1987.
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki,
1995
9
Programming Logics: Essays in Memory of Harald Ganzinger
IEEE Computer Society Press (2001) Godoy, G., Nieuwenhuis, R.: Superposition with Completely Built-in Abelian Groups. Journ. Symbolic Computation 37(1), 1–33 (2004) Ganzinger, H., Nieuwenhuis, R., Nivela, P.: The Saturate System ...
Andrei Voronkov, Christoph Weidenbach,
2013
10
Design and Implementation of Symbolic Computation Systems: ...
For the definition of the behavioural semantics of a specification [Reichel 85] and [Nivela, Orejas 87] use the notion of behavioural satisfaction which is based on the idea that non observable data objects are behaviourally equivalent if they ...