Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher veröffentlicht von Springer Netherlands

Filter
Filter
Ordnen nachSortieren Beliebt
  • 13% sparen
    von Eino Mälkönen
    140,00 €

  • 14% sparen
    von John Masters & Bernhard Ø Palsson
    185,00 €

  • von Frank O. Wagner
    49,00 - 79,00 €

  • 11% sparen
    von Orazio Taglialatela-Scafati & Virginia Lanzotti
    95,00 - 98,00 €

  • 13% sparen
    von Frank Miedema & H. Schuitemaker
    139,00 €

  • 13% sparen
    von Howard Barringer
    140,00 €

    Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query- ing, granularity of time, update mechanisms, active temporal data- bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in- terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo- ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

  • 14% sparen
    von Richard C. Leegood, Susanne von Caemmerer & Thomas D. Sharkey
    549,00 €

  • 13% sparen
    von Jelte Rozema
    140,00 €

    The research in this book covers papers on a great number of research projects on the responses of plants and crops of natural terrestrial ecosystems, of agro-ecosystems, and of aquatic ecosystems, to enhanced solar UV-B as a result of stratospheric ozone depletion. Some introductory chapters deal with general aspects of how plants respond to UV-B radiation. Photosynthetically Active Radiation (PAR) is a primary energy resource for terrestrial plants, necessary for plant growth. Inevitably terrestrial plants absorb UV-B when exposed to solar radiation. The spectral balance between PAR and UV-B is discussed in several chapters. The responses of plants and ecosystems from the Antarctic and Arctic to enhanced solar UV-B radiation as a consequence of the hole in the ozone layer are considered in some detail. In addition the papers in the book discuss the problem of how responses of plants to UV-B radiation interact with other environmental factors. The book is of great importance for those who are involved in global change topics: biologists, ecologists, earth scientists, agronomists, environmental scientists, and those who develop environmental policy.

  • 11% sparen
    von Tibor Csendes
    95,00 - 98,00 €

    The SCAN conference, the International Symposium on Scientific Com- puting, Computer Arithmetic and Validated Numerics, takes place bian- nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) and IMACS (International Association for Mathematics and Computers in Simulation). SCAN-98 attracted more than 100 participants from 21 countries all over the world. During the four days from September 22 to 25, nine highlighted, plenary lectures and over 70 contributed talks were given. These figures indicate a large participation, which was partly caused by the attraction of the organizing country, Hungary, but also the effec- tive support system have contributed to the success. The conference was substantially supported by the Hungarian Research Fund OTKA, GAMM, the National Technology Development Board OMFB and by the J6zsef Attila University. Due to this funding, it was possible to subsidize the participation of over 20 scientists, mainly from Eastern European countries. It is important that the possibly first participation of 6 young researchers was made possible due to the obtained support. The number of East-European participants was relatively high. These results are especially valuable, since in contrast to the usual 2 years period, the present meeting was organized just one year after the last SCAN-xx conference.

  • 13% sparen
    von Lucy J. Sheppard & J. Neil Cape
    140,00 €

  • 14% sparen
    von E. C. Lefroy, J. S. Pate, M. H. O'Connor & usw.
    185,00 €

  • von Raimund Bürger, F. Concha, E. M. Tory & usw.
    50,00 €

  • von U. Franz & René Schott
    49,00 - 67,00 €

  • 14% sparen
    von Kouji Ikura, Seiji Masuda, Ryuzo Sasaki & usw.
    185,00 €

  • von Pei-Chu Hu & Chung-Chun Yang
    50,00 €

  • 13% sparen
    von A. Jennifer Mordue, Stephen J. Simpson & Jim Hardie
    140,00 €

  • von Kunio Murasugi & B. Kurpita
    49,00 €

  • 13% sparen
  • 12% sparen
    von A. V. Kim
    94,00 €

  • 14% sparen
    von Sant Saran Bhojwani & Woong-Young Soh
    185,00 €

  • 13% sparen
    von Douglas Cormack
    140,00 €

  • 14% sparen
    von Igor Shparlinski
    185,00 €

  • 12% sparen
    von Eduardo Garcia-Rio & D. N. Kupeli
    94,00 - 95,00 €

  • 14% sparen
    - Proceedings of the 3rd Symposium of the European Association of Acarologists 1-5 July 1996, Amsterdam, The Netherlands
    von J. Bruin
    277,00 €

    Acarology is on the move! For a long time the development of Acarology as a field of biological science has been dominated by systematists and applied scientists. In the last 15 years, however, Acari have been increasingly recognized as highly suitable for the testing of theories in ecological and evolutionary sciences. The growing interest from evolutionary and molecular biologists and from population and community ecologists in mites and ticks has a strong impetus on the field of Acarology, and has already led to significant progress. This book contains many chapters that illustrate the recent progress in - mainly evolutionary and ecological aspects of - Acarology.

  • 13% sparen
    von P. A. F. M. Doevendans, Robert S. Reneman & Marc van Bilsen
    140,00 €

  • 12% sparen
    von E. Goles
    94,00 - 98,00 €

    This book contains the courses given at the Fifth School on Complex Systems held at Santiago, Chile, from 9th .to 13th December 1996. At this school met researchers working on areas related with recent trends in Complex Systems, which include dynamical systems, cellular automata, symbolic dynamics, spatial systems, statistical physics and thermodynamics. Scientists working in these subjects come from several areas: pure and applied mathematics, physics, biology, computer science and electrical engineering. Each contribution is devoted to one of the above subjects. In most cases they are structured as surveys, presenting at the same time an original point of view about the topic and showing mostly new results. The paper of Bruno Durand presents the state of the art on the relationships between the notions of surjectivity, injectivity and reversibility in cellular automata when finite, infinite or periodic configurations are considered, also he discusses decidability problems related with the classification of cellular automata as well as global properties mentioned above. The paper of Eric Goles and Martin Matamala gives a uniform presentation of simulations of Turing machines by cellular automata. The main ingredient is the encoding function which must be fixed for all Turing machine. In this context known results are revised and new results are presented.

  • 12% sparen
    von Kichoon Yang
    94,00 - 95,00 €

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.