A new stable dibaryon-erratum.- Nucleon-nucleon scattering phase shifts.- Potentials in review.- Two hadron interaction.- Off-shell effects in the nucleon-nucleon system.- Polarization Phenomena in two body systems.- Quark models of the Nuclear Force.- Experiments on the conservation or non-conservation of Isospin parity, and charge conjugation and time reversal invariance.- Nucleon-induced experiments above pion threshold.- Pion production in nucleon-nucleon scattering.- Pion-nucleus interactions.- Meson induced reactions in the three- and two-nucleon systems.- Nuclear reactions involving three particle systems.- Lepton scattering.- Recent work in three-body systems.- Low-energy three- and four-nucleon scattering experiments.- Polarization effects in the 3-body system.- Dynamics of four particle systems.- Three-body phenomenology for elementary particle systems.- Exact results for the scattering of three charged particles.- Highlights of the Third International Conference on Clustering Aspects of Nuclear Structure and Nuclear Reactions.- Few-body aspects of the 6-nucleon system.- N-body systems.- Narrow resonances in the continuum.- Applications of few-body methods to other fields.- Twenty years of the few-body problem.- Recent progress in dispersion theoretical approach to nuclear forces.- Tensor analyzing powers in deuteron-proton elastic scattering and the breakup reaction at 45.4 MeV.- On polarization phenomena in proton-deuteron elastic scattering at medium and high energies.- The methods of solving the few-body problem in quantum mechanics.- Extension of the lane model to light nuclei.- Third cluster coefficient for square well discs.- Application of ATMS to the 4He trimer and tetramer.- Effects on the coulomb distortion on phase shifts and effective-range parameters in proton-proton scattering.- Limit on the applicability of the low theorem for proton-proton bremsstrahlung.- Optimal complete and optimal sufficient sets of experiments for elastic nucleon-nucleon scattering.- Polarization measurement in pp elastic scattering at 150 GeV/c between 0.2 2.- The tensor analyzing power a for elastic scattering of xz 20.2 MeV deuterons from 4He..- Evidence for fragment production via two body breakup.- p-d Scattering at very small relative energy observed in the FSI regions of the 3He(p,dp)p reaction at 156 Mev.- Finite cross section for three-particle scattering.- Charge-independent R-matrix analysis of the four-nucleon system.- Two-body scattering in force field.- Separable interaction of composite particles with inclusion of the Pauli principle.- ?? d ? ?nn and the effective range theory parameters ann and rnn.
"synopsis" may belong to another edition of this title.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 5907881-n
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9783540089216
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 5907881
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783540089216_new
Quantity: Over 20 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 5907881-n
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism based on petri nets.- Data types as functions.- Synthesis of communicating behaviour.- Programming languages as mathematical objects.- Writing and verifying sequential files updating programs.- On the completeness of query languages for relational data bases.- Mastering contextsensitivity in programming languages.- Decision problems concerning parallel programming.- Attribute grammars and two-level grammars: A unifying approach.- Extensions and implementations of abstract data type specifications.- Concurrency of manipulations in multidimensional information structures.- Deriving structures from structures.- Semantics of nondeterminism, concurrency and communication.- Contribution to the theory of concurrency in databases.- Facts in place/transition-nets.- Loop programs and classes of primitive recursive functions.- Dynamic theories of real and complex numbers.- Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication.- Some applications of algebraic semantics.- Goal-oriented derivation of logic programs.- Transforming recursion equations to algorithms.- Structural invariants for some classes of structured programs.- Synthesis of concurrent schemes.- Fast matrix multiplication by boolean RAM in linear storage.- Cycles of partial orders.- Complexity measures defined by mazurkiewicz-algorithms.- On functional grammars.- Analysis of a universal class of hash functions.- A framework for producing deterministic canonical bottom-up parsers.- Cooperating grammar systems.- Synchronized petri nets : A model for the description of non-autonomous sytems.- On divergence and halting problems for monadic program schemas.- Compression of clustered inverted files.- The completeness of propositional dynamic logic.- Improving memory utilization in transforming recursive programs.- On two subclasses of real-time grammars.- On information storage and retrieval systems an algebraic approach, part 1.- Probabilistic LCF.- On algorithmic theory of stacks.- Analyzing program solutions of coordination problems by cp-nets.- Structural properties of petri nets.- Ensuring correctness by arbitrary postfixed-points.- String-matching in real time: Some properties of the data structure.- Name independence and database abstraction in the relational model.- Free Petri net languages.- Transformations to produce certain covering grammars.- On the computational power of extended petri nets.- Theory of relations for databases ¿ a tutorial survey. 568 pp. Englisch. Seller Inventory # 9783540089216
Quantity: 2 available
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings. Book. Seller Inventory # BBS-9783540089216
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition. Seller Inventory # 5907881
Quantity: Over 20 available
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism based on petri nets.- Data types as functions.- Synthesis o. Seller Inventory # 4880232
Quantity: Over 20 available
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism based on petri nets.- Data types as functions.- Synthesis of communicating behaviour.- Programming languages as mathematical objects.- Writing and verifying sequential files updating programs.- On the completeness of query languages for relational data bases.- Mastering contextsensitivity in programming languages.- Decision problems concerning parallel programming.- Attribute grammars and two-level grammars: A unifying approach.- Extensions and implementations of abstract data type specifications.- Concurrency of manipulations in multidimensional information structures.- Deriving structures from structures.- Semantics of nondeterminism, concurrency and communication.- Contribution to the theory of concurrency in databases.- Facts in place/transition-nets.- Loop programs and classes of primitive recursive functions.- Dynamic theories of real and complex numbers.- Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication.- Some applications of algebraic semantics.- Goal-oriented derivation of logic programs.- Transforming recursion equations to algorithms.- Structural invariants for some classes of structured programs.- Synthesis of concurrent schemes.- Fast matrix multiplication by boolean RAM in linear storage.- Cycles of partial orders.- Complexity measures defined by mazurkiewicz-algorithms.- On functional grammars.- Analysis of a universal class of hash functions.- A framework for producing deterministic canonical bottom-up parsers.- Cooperating grammar systems.- Synchronized petri nets : A model for the description of non-autonomous sytems.- On divergence and halting problems for monadic program schemas.- Compression of clustered inverted files.- The completeness of propositional dynamic logic.- Improving memory utilization in transforming recursive programs.- On two subclasses of real-time grammars.- On information storage and retrieval systems an algebraic approach, part 1.- Probabilistic LCF.- On algorithmic theory of stacks.- Analyzing program solutions of coordination problems by cp-nets.- Structural properties of petri nets.- Ensuring correctness by arbitrary postfixed-points.- String-matching in real time: Some properties of the data structure.- Name independence and database abstraction in the relational model.- Free Petri net languages.- Transformations to produce certain covering grammars.- On the computational power of extended petri nets.- Theory of relations for databases - a tutorial survey.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 568 pp. Englisch. Seller Inventory # 9783540089216
Quantity: 1 available