• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Computers - Computer Simulation

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 40 złBezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka
 [3024499]
• Literatura piękna
 [1802625]

  więcej...
• Turystyka
 [51831]
• Informatyka
 [155501]
• Komiksy
 [36021]
• Encyklopedie
 [21868]
• Dziecięca
 [608303]
• Hobby
 [102470]
• AudioBooki
 [1725]
• Literatura faktu
 [190942]
• Muzyka CD
 [413]
• Słowniki
 [2916]
• Inne
 [434034]
• Kalendarze
 [547]
• Podręczniki
 [165743]
• Poradniki
 [418062]
• Religia
 [502012]
• Czasopisma
 [555]
• Sport
 [60428]
• Sztuka
 [241531]
• CD, DVD, Video
 [3419]
• Technologie
 [227102]
• Zdrowie
 [97362]
• Książkowe Klimaty
 [125]
• Zabawki
 [2526]
• Puzzle, gry
 [4084]
• Literatura w języku ukraińskim
 [272]
• Art. papiernicze i szkolne
 [8602]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Computer Simulation

ilość książek w kategorii: 2672

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


Data Refinement: Model-Oriented Proof Methods and Their Comparison de Roever, Willem-Paul 9780521641708 Cambridge University Press
Data Refinement: Model-Oriented Proof Methods and Their Comparison

ISBN: 9780521641708 / Angielski / Twarda / 436 str.

ISBN: 9780521641708/Angielski/Twarda/436 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
W. Deroever; W. -P De Roever; Kai Englehardt
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and...
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t...
cena: 599,29

Graph-Theoretic Concepts in Computer Science: 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers Hans L. Bodlaender 9783540204527 Springer-Verlag Berlin and Heidelberg GmbH &
Graph-Theoretic Concepts in Computer Science: 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers

ISBN: 9783540204527 / Angielski / Miękka / 392 str.

ISBN: 9783540204527/Angielski/Miękka/392 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Hans L. Bodlaender
The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet, The Netherlands.TheworkshopwasorganizedbytheCenterforAlgorithmicSystems of the Institute of Information and Computing Sciences of Utrecht University. The workshop took place June 19-21, 2003. The 72 participants of WG 2003 came from universities and research institutes from 18 di?erent countries and ?ve di?erent continents. The workshop looks back at a long tradition. It was ?rst held in 1975, and has been held 20 times in Germany, twice in Austria, and once...
The 29th International Workshop on Graph-Theoretic Concepts in Computer Science(WG2003)washeldintheMennorodeconferenceCenterinElspeet, The Netherlands...
cena: 204,55

Algebraic Threefolds: Proceedings of the 2nd 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), Held at Varenna, Italy, Conte, Alberto 9783540115878 Springer
Algebraic Threefolds: Proceedings of the 2nd 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), Held at Varenna, Italy,

ISBN: 9783540115878 / Angielski / Miękka / 316 str.

ISBN: 9783540115878/Angielski/Miękka/316 str.

Termin realizacji zamówienia: 22 dni roboczych
Alberto Conte
187,93
122,15

Multi-Agent-Based Simulation: Second International Workshop, MABS 2000, Boston, MA, USA, July 2000; Revised and Additional Papers Scott Moss, Paul Davidsson 9783540415220 Springer-Verlag Berlin and Heidelberg GmbH &
Multi-Agent-Based Simulation: Second International Workshop, MABS 2000, Boston, MA, USA, July 2000; Revised and Additional Papers

ISBN: 9783540415220 / Angielski / Miękka / 272 str.

ISBN: 9783540415220/Angielski/Miękka/272 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Scott Moss;Paul Davidsson
This work is devoted to investigating and developing the synergy between software engineering for multi-agent systems and agent-based social simulation. The text offers topical sections on model design issues, applications, simulating social relations and processes, and formal approaches.
This work is devoted to investigating and developing the synergy between software engineering for multi-agent systems and agent-based social simulatio...
cena: 204,55

Mechanical Vibration: Where Do We Stand?  9783211685860 SPRINGER-VERLAG, AUSTRIA
Mechanical Vibration: Where Do We Stand?

ISBN: 9783211685860 / Angielski / Twarda / 488 str.

ISBN: 9783211685860/Angielski/Twarda/488 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.

Written by the world's leading researchers on various topics of linear, nonlinear, and stochastic mechanical vibrations, this work gives an authoritative overview of the classic yet still very modern subject of mechanical vibrations. It examines the most important contributions to the field made in the past decade, offering a critical and comprehensive portrait of the subject from various complementary perspectives.


Written by the world's leading researchers on various topics of linear, nonlinear, and stochastic mechanical vibrations, this work gives an authori...

cena: 613,74

Proceedings of the 16th International Meshing Roundtable  9783540751021 SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH &
Proceedings of the 16th International Meshing Roundtable

ISBN: 9783540751021 / Angielski / Twarda / 604 str.

ISBN: 9783540751021/Angielski/Twarda/604 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
The papers in this volume were selected for presentation at the 16th Int- national Meshing Roundtable (IMR), held October 14 17, 2007 in Seattle, Washington, USA. The conference was started by Sandia National Labora- riesin1992asasmallmeetingoforganizationsstrivingtoestablishacommon focus for research and development in the ?eld of mesh generation. Now after 16 consecutive years, the International Meshing Roundtable has become r- ognized as an international focal point annually attended by researchers and developers from dozens of countries around the world. The 16th International Meshing...
The papers in this volume were selected for presentation at the 16th Int- national Meshing Roundtable (IMR), held October 14 17, 2007 in Seattle, Wash...
cena: 818,33

Modeling Communication with Robots and Virtual Humans: Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Ipke Wachsmuth, Günther Knoblich 9783540790365 Springer-Verlag Berlin and Heidelberg GmbH &
Modeling Communication with Robots and Virtual Humans: Second ZiF Research Group 2005/2006 International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006,

ISBN: 9783540790365 / Angielski / Miękka / 337 str.

ISBN: 9783540790365/Angielski/Miękka/337 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ipke Wachsmuth;Günther Knoblich
Embodied agents play an increasingly important role in cognitive interaction technology. The two main types of embodied agents are virtual humans inhabiting simulated environments and humanoid robots inhabiting the real world. So far research on embodied communicative agents has mainly explored their potential for practical applications. However, the design of communicative artificial agents can also be of great heuristic value for the scientific study of communication. It allows researchers to isolate, implement, and test essential properties of inter-agent communications in operational...
Embodied agents play an increasingly important role in cognitive interaction technology. The two main types of embodied agents are virtual humans inha...
cena: 204,55

New Methods of Concurrent Checking Michael Goessel Vitaly Ocheretny 9781402084195 KLUWER ACADEMIC PUBLISHERS GROUP
New Methods of Concurrent Checking

ISBN: 9781402084195 / Angielski / Twarda / 182 str.

ISBN: 9781402084195/Angielski/Twarda/182 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Michael Goessel; Vitaly Ocheretny
Computers are everywhere around us. We, for example, as air passengers, car drivers, laptop users with Internet connection, cell phone owners, hospital patients, inhabitants in the vicinity of a nuclear power station, students in a digital library or customers in a supermarket are dependent on their correct operation. Computers are incredibly fast, inexpensive and equipped with almost unimag- able large storage capacity. Up to 100 million transistors per chip are quite common today - a single transistor for each citizen of a large capital city in the world can be 2 easily accommodated on an...
Computers are everywhere around us. We, for example, as air passengers, car drivers, laptop users with Internet connection, cell phone owners, hospita...
cena: 409,14

Computational Science - Iccs 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III Bubak, Marian 9783540693888 Springer
Computational Science - Iccs 2008: 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

ISBN: 9783540693888 / Angielski / Miękka / 758 str.

ISBN: 9783540693888/Angielski/Miękka/758 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Marian Bubak
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented together with the abstracts of 7 keynote talks and the 100 revised papers from 14 workshops were carefully reviewed and selected for inclusion in the three volumes. The main conference track was divided into approximately 20 parallel sessions addressing topics such as e-science applications and systems, scheduling and load balancing, software services...
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held...
cena: 902,28

Computer and Physical Modelling in Geotechnical Engineering: Proceedings of the International Symposium, Bangkok, 3-6 December 1986 Balasubramaniam, A. S. 9789061918646 Taylor & Francis
Computer and Physical Modelling in Geotechnical Engineering: Proceedings of the International Symposium, Bangkok, 3-6 December 1986

ISBN: 9789061918646 / Angielski / Twarda / 554 str.

ISBN: 9789061918646/Angielski/Twarda/554 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
A.S. Balasubramaniam;Et Al
Proceedings of a conference on [title] held Dec. 1986, Bangkok. Covers stability of natural and man made slopes, design and analysis of foundations, underground openings and excavations, computer controlled testing and investigation of soils, comp...
Proceedings of a conference on [title] held Dec. 1986, Bangkok. Covers stability of natural and man made slopes, design and analysis of foundations, u...
cena: 650,97

100 Volumes of 'Notes on Numerical Fluid Mechanics': 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect Hirschel, Ernst Heinrich 9783540708049 Springer
100 Volumes of 'Notes on Numerical Fluid Mechanics': 40 Years of Numerical Fluid Mechanics and Aerodynamics in Retrospect

ISBN: 9783540708049 / Angielski / Twarda / 506 str.

ISBN: 9783540708049/Angielski/Twarda/506 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ernst Heinrich Hirschel; Egon Krause
Aircraft concepts are always driven by the requirements of the desired m- sion. A di?erent purpose for the use of the aircraft consequently results in a di?erent design. Therefore, depending on the intended outcome, con?i- ing requirements need to be ful?lled, for example, e?cient cruise speed and greatercargocapabilities, in combinationwith shorttake-o?andlanding ?eld lengths, or high speed and agility combined with variable payload demands. Due to the highly complex, non-linear physical environment in which aircraft operate, this task demands that the most advanced methods and tools are...
Aircraft concepts are always driven by the requirements of the desired m- sion. A di?erent purpose for the use of the aircraft consequently results in...
cena: 818,33

Imppact Reference Model: An Approach to Integrated Product and Process Modelling for Discrete Parts Manufacturing Gielingh, Wim F. 9783540561507 SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH &
Imppact Reference Model: An Approach to Integrated Product and Process Modelling for Discrete Parts Manufacturing

ISBN: 9783540561507 / Angielski / Miękka / 264 str.

ISBN: 9783540561507/Angielski/Miękka/264 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book describes the development of an integrated product and process modelling system using advanced computer technologies. The reader should gain a clear impression of the various technical aspects of CIM systems using techniques corresponding to emerging new standards.
This book describes the development of an integrated product and process modelling system using advanced computer technologies. The reader should gain...
cena: 204,55

advances in geocomputing  Xing, Huilin 9783540858775 Springer
advances in geocomputing

ISBN: 9783540858775 / Angielski / Twarda / 344 str.

ISBN: 9783540858775/Angielski/Twarda/344 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Huilin Xing
Offers a concise overview of the development in geocomputing, which covers the model construction and result visualisation, advanced computational theory and high performance software development on supercomputers and their applications in simulating geodynamics, crustal dynamics, earthquakes, tsunami and rock physics spanning different scales.
Offers a concise overview of the development in geocomputing, which covers the model construction and result visualisation, advanced computational the...
cena: 613,74

Hemodynamical Flows: Modeling, Analysis and Simulation Giovanni P. Galdi, Rolf Rannacher, Anne M. Robertson, Stefan Turek 9783764378059 Birkhauser Verlag AG
Hemodynamical Flows: Modeling, Analysis and Simulation

ISBN: 9783764378059 / Angielski / Miękka / 501 str.

ISBN: 9783764378059/Angielski/Miękka/501 str.

Termin realizacji zamówienia: 22 dni roboczych
Giovanni P. Galdi;Rolf Rannacher;Anne M. Robertson

This book surveys research results on the physical and mathematical modeling, as well as the numerical simulation of complex fluid and structural mechanical processes occurring in the human blood circulation system. Topics treated include continuum mechanical description; choice of suitable liquid and wall models; mathematical analysis of coupled models; numerical methods for flow simulation; parameter identification and model calibration; fluid-solid interaction; mathematical analysis of piping systems; particle transport in channels and pipes; artificial boundary conditions, and many...

This book surveys research results on the physical and mathematical modeling, as well as the numerical simulation of complex fluid and structural m...

282,45
183,59

Simulation-Based Case Studies in Logistics: Education and Applied Research Merkuryev, Yuri 9781848821866 Springer
Simulation-Based Case Studies in Logistics: Education and Applied Research

ISBN: 9781848821866 / Angielski / Twarda / 232 str.

ISBN: 9781848821866/Angielski/Twarda/232 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Yuri Merkuryev; Galina Merkuryeva; Miquel A. Ngel Piera

Simulation-based Case Studies in Logistics presents an intensive learning course on the application of simulation as a decision support tool to tackle complex logistic problems. The book describes and illustrates different approaches to developing simulation models at the right abstraction level to be used efficiently by engineers when dealing with strategic, tactical or operational decisions in logistic systems. 11 simulation-based case studies in logistics and supply chain management are discussed, based on the results of applied research, covering application areas such as production...

Simulation-based Case Studies in Logistics presents an intensive learning course on the application of simulation as a decision support tool to ta...

cena: 409,14

Advances in Computational Vision and Medical Image Processing: Methods and Applications Tavares, Joao 9781402090851 Springer
Advances in Computational Vision and Medical Image Processing: Methods and Applications

ISBN: 9781402090851 / Angielski / Twarda / 294 str.

ISBN: 9781402090851/Angielski/Twarda/294 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Joao Manuel R. S. Tavares; R. M. Natal Jorge
Computational methodologies of signal processing and imaging analysis, namely considering 2D and 3D images, are commonly used in different applications of the human society. For example, Computational Vision systems are progressively used for surveillance tasks, traf?c analysis, recognition process, inspection p- poses, human-machine interfaces, 3D vision and deformation analysis. One of the main characteristics of the Computational Vision domain is its int- multidisciplinary. In fact, in this domain, methodologies of several more fundam- tal sciences, such as Informatics, Mathematics,...
Computational methodologies of signal processing and imaging analysis, namely considering 2D and 3D images, are commonly used in different application...
cena: 409,14

Permutation Tests for Stochastic Ordering and ANOVA: Theory and Applications with R Basso, Dario 9780387859552 Springer
Permutation Tests for Stochastic Ordering and ANOVA: Theory and Applications with R

ISBN: 9780387859552 / Angielski / Miękka / 218 str.

ISBN: 9780387859552/Angielski/Miękka/218 str.

Termin realizacji zamówienia: 22 dni roboczych
Dario Basso; Fortunato Pesarin; Luigi Salmaso

Permutation testing for multivariate stochastic ordering and ANOVA designs is a fundamental issue in many scientific fields such as medicine, biology, pharmaceutical studies, engineering, economics, psychology, and social sciences. This book presents new advanced methods and related R codes to perform complex multivariate analyses. The prerequisites are a standard course in statistics and some background in multivariate analysis and R software.


Permutation testing for multivariate stochastic ordering and ANOVA designs is a fundamental issue in many scientific fields such as medicine, biolo...

460,91
299,59

State of the Art in Computer Graphics: Aspects of Visualization Rogers, David F. 9780387941646 Springer
State of the Art in Computer Graphics: Aspects of Visualization

ISBN: 9780387941646 / Angielski / Twarda / 253 str.

ISBN: 9780387941646/Angielski/Twarda/253 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
David F. Rogers; David F. Rogers; Rae A. Earnshaw
State of the Art in Computer Graphics Aspects of Visualization This is the fourth volume derived from a State of . . . the Art in Computer Graphics Summer Institute. It represents a snapshot of a number of topics in computer graphics, topics which include visualization of scientific data; modeling; some aspects of visualization in virtual reality; and hardware architectures for visu- alization. Many papers first present a background introduction to the topic, followed by discussion of current work in the topic. The volume is thus equally suitable for nonspecialists in a particular area, and...
State of the Art in Computer Graphics Aspects of Visualization This is the fourth volume derived from a State of . . . the Art in Computer Graphics Su...
cena: 613,74

PSpice Power Electronic and Power Circuit Simulation Stephen Philip Tubbs 9780965944694 Stephen P. Tubbs
PSpice Power Electronic and Power Circuit Simulation

ISBN: 9780965944694 / Angielski / Miękka / 140 str.

ISBN: 9780965944694/Angielski/Miękka/140 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Stephen Philip Tubbs
This book shows how to use PSpice to quickly analyze common industrial power electronic and power circuits. It would be most useful to an electrical engineer. The book begins with a brief review of PSpice with DC, AC, and transient analyses of simple circuits. It follows with examples that solve typical industrial circuit problems. One of the examples predicts the waveform of the electrical noise that would be transmitted through an inductor. In that example, PSpice would help the engineer properly size a filtering inductor. This can be important if the inductor is large or a custom item....
This book shows how to use PSpice to quickly analyze common industrial power electronic and power circuits. It would be most useful to an electrical e...
cena: 199,83

Influence of Climate Change on the Changing Arctic and Sub-Arctic Conditions Jacques C. J. Nihoul Andrey G. Kostianoy 9781402094583 Springer
Influence of Climate Change on the Changing Arctic and Sub-Arctic Conditions

ISBN: 9781402094583 / Angielski / Twarda / 232 str.

ISBN: 9781402094583/Angielski/Twarda/232 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jacques C. J. Nihoul; Andrey G. Kostianoy

The current warming trends in the Arctic may shove the Arctic system into a seasonally ice-free state not seen for more than one million years. The melting is accelerating, and researchers were unable to identify natural processes that might slow the deicing of the Arctic. Such substantial additional melting of Arctic and Antarctic glaciers and ice sheets would raise the sea level worldwide, flooding the coastal areas where many of the world's population lives. Studies, led by scientists at the National Center for Atmospheric Research (NCAR) and the University of Arizona, show that...

The current warming trends in the Arctic may shove the Arctic system into a seasonally ice-free state not seen for more than one million years. The...

cena: 818,33

Pierwsza Podprzednia  34  35  36  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia