Luther wolfram (100 risultati)

Hard Cover. Condizione: Near Fine. Condizione sovraccoperta: Near Fine.

Broschiert. Condizione: Gut. 2., verb. Aufl. 290 Seiten; graph. Darst. ; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 440.…

Paper Back. Condizione: Very Good. 330 pages. The cover has minor wear. Books listed here are not stored at the shop. Please contact us if you want to pick up a book from Newtown. Size: Size E: 8"-9" Tall (203-228mm).

Condizione: Gebraucht / Used. Paperback. Good. Xii,422pp.

paperback. Condizione: New. 1st.

Condizione: New.

Paperback or Softback. Condizione: New. Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers. Book.

paperback. Condizione: New. 1st.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

paperback. Condizione: New. 1st.

Condizione: New.

Condizione: New.

Gr.-8°, Broschiert. Condizione: Sehr gut. 422 Seiten : Ausgesondertes Bibliotheksexemplar mit den zugehörigen Kennzeichnungen, ansonsten sehr guter Zustand und nur sehr leicht lagerspurig B07-03-04C Sprache: Deutsch Gewicht in Gramm: 584.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

21 x 15. GF D. Gaier, G. Pickert. 87 Seiten. OKart. Guter Zustand. Sprache: Deutsch Gewicht in Gramm: 200.

21 x 15. GF D. Gaier, G. Pickert. 87 Seiten. OKart. Guter Zustand. Sprache: Deutsch Gewicht in Gramm: 200.

Condizione: New. pp. 276.

Condizione: New. pp. 332.

Paperback. Condizione: new. Paperback. In 2009, the second of three DAAD PhD-Summer Academies on Human-Machine Interaction in Networked Systems and Multimodal Interfaces was hosted at the University of Duisburg-Essen in Duisburg. It is focused on four topics: - Cognitive Technical Systems - Adaptive Human-Computer Interfaces - Ubiquitous and Mobile Learning Environments - Mobile Collaborative Systems This book summarizes the lectures presented at the summer academy, making the material available to interested academics and students. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Kartoniert / Broschiert. Condizione: New.

Paperback. Condizione: new. Paperback. In September 2020, researchers from Armenia, Chile, Germany and Japan met at the American University of Armenia for a virtual conference to discuss technologies with applications in smart cities, data science and information theory approaches for intelligent systems, technical challenges for intelligent environments, smart human centered computing, artificial neural networks, and deep learning. This book presents their contributions to the 2nd CODASSCA workshop on collaborative technologies and data science in artificial intelligence applications, a highly topical issue in today's computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri edor reliablecomputations. Since real numbersare objects c- taining an in nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri ed - plementations of real number algorithms using nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on 'Reliable Imp- mentation of Real Number Algorithms: Theory and Practice,' which took place January 8-13, 2006. It was intended to stimulate an exchange of ideas between the di erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di erent countries and many di erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di erent theoretical models and practical - proaches for reliable real number computations.…