CĂRȚI ÎN ROMÂNĂ ÎN LEGĂTURĂ CU «NIVÉLĂ»
Descoperă întrebuințarea
nivélă în următoarea selecție bibliografică. Cărți în legătură cu
nivélă și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Română.
1
Omul care îşi confunda soţia cu o pălărie
Foloseam întotdeauna o nivelă casămidau seama dacă o suprafaţă era orizontală oridacă era înclinată întro partesaualta. Există unfelde nivelă în creier?“ Am încuviinţat. „Poate fi deteriorată de boala luiParkinson?“ Am dat iarăşidincap.
2
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, ...
3
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
4
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
5
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
6
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 ...
7
Handbook of Automated Reasoning - Volumul 0 - Pagina 2011
... 1999] http://www.jessen.informatik.tu-muenchen.de/personen/schulz.html Fiesta by Robert Nieuwenhuis, Pilar Nivela, and Guillem Godoy http://www.lsi.upc.es/°roberto/ Gandalf by Tanel Tammet http://www.cs. chalmers.se/~tammet/gandalf/ ...
Alan J.A. Robinson, Andrei Voronkov, 2001
8
Cervantes y la crítica - Pagina 284
... de él una condescendencia; debía convenir en todo con él, para apaciguarlo y llevarlo a su casa. «Nivelar con el fiel de la razón, no es metáfora adecuada, porque el fiel no nivela», agrega el crítico, para dar el golpe último a la frase.
Pierdusem șirul. Știu că le tot chemasem pe stewardese cu „tava” mobilă. Ce să mai, în aeroportul din insulă, puteam foarte bine fi în gara din Urlați. Navea nicio importanță. Alcoolul are capacitatea asta, de a nivela locurile, experiențele.
10
Prăvălia de miracole (Romanian edition)
Deși defilase trist, în batalionul de Zuavi Baiani, zidar mâhnit fără mistrie și fără nivelă, ea la văzut elegant și chipeș în uniforma de soldat, purtând instrumentele noii meserii, armele și moartea. Cu cincisprezece sau douăzeci de zile înainte, ...
