wyszukanych pozycji: 177
![]() |
A Comparative Characteristics of Wave & Cylindrical Journal Bearing
ISBN: 9786139963799 / Angielski / Miękka / 2018 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
180,57 |
![]() |
Formalisation et vérification de modèles de styles architecturaux logiciels
ISBN: 9786202433679 / Francuski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Dans cette étude, des modèles formels de systèmes ATM sont décrits à l'aide de langages basés sur les états tels que Z, B et Alloy, ainsi que de langages basés sur les événements tels que Monterey Phoenix. La vérification des modèles est effectuée à l'aide d'outils automatisés, à savoir Z/EVES, Atelier B et Alloy Analyzer pour les spécifications Z, B et Alloy respectivement. En outre, une analyse comparative des différentes caractéristiques présentées par diverses approches formelles a été présentée. L'architecture logicielle joue un rôle important dans la conception...
Dans cette étude, des modèles formels de systèmes ATM sont décrits à l'aide de langages basés sur les états tels que Z, B et Alloy, ainsi que d...
|
cena:
180,57 |
![]() |
Hum Chalte Rahe Rah Banti Rahi
ISBN: 9781647606251 / Hindi / Miękka / 2019 / 332 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
109,33 |
![]() |
Formalização e verificação de modelos de estilo arquitetural de software
ISBN: 9786202433686 / Portugalski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
180,57 |
![]() |
Formalizacja i sprawdzanie modeli stylu architektury oprogramowania
ISBN: 9786202438780 / Polski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
180,57 |
![]() |
Fundamentals of Metal Joining: Processes, Mechanism and Performance
ISBN: 9789811648182 / Angielski / Twarda / 2021 / 476 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
346,16 |
![]() |
Surface Engineering: Enhancing Life of Tribological Components
ISBN: 9788132237778 / Angielski / Twarda / 2018 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
488,71 |
![]() |
Formalisierung und Modellprüfung des Softwarearchitekturstils
ISBN: 9786202428750 / Niemiecki / Miękka / 2025 / 92 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. In dieser Studie werden formale Modelle des ATM-Systems unter Verwendung zustandsbasierter Sprachen wie Z, B und Alloy sowie ereignisbasierter Sprachen wie Monterey Phoenix beschrieben. Die Modellprüfung wird mit automatisierten Tools durchgeführt, nämlich Z/EVES, Atelier B und Alloy Analyzer für Z-, B- und Alloy-Spezifikationen. Darüber hinaus wird eine vergleichende Analyse der unterschiedlichen Eigenschaften verschiedener formaler Ansätze vorgestellt. Die Softwarearchitektur spielt eine wichtige Rolle beim High-Level-Design eines Systems in Bezug auf Komponenten, Konnektoren und...
In dieser Studie werden formale Modelle des ATM-Systems unter Verwendung zustandsbasierter Sprachen wie Z, B und Alloy sowie ereignisbasierter Sprache...
|
cena:
180,57 |
![]() |
Fundamentals of Metal Joining: Processes, Mechanism and Performance
ISBN: 9789811648212 / Angielski / Miękka / 2022 / 451 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook provides fundamental understanding on technological aspects related to arc welding, heat flow, relevant metallurgical transformations, and quality assurance methodologies joints. It has been composed keeping in purview the requirements of those interested in research and development in the field of metal joining. The contents focus on the fundamentals of physics of welded joints, arc welding processes, brazing and soldering, heat flow in welding, welding metallurgy, design of welded joints, and inspection and testing of welded joints and weldability of metals. This book will be...
This textbook provides fundamental understanding on technological aspects related to arc welding, heat flow, relevant metallurgical transformations, a...
|
cena:
244,34 |
![]() |
Surface Engineering: Enhancing Life of Tribological Components
ISBN: 9788132239352 / Angielski / Miękka / 2018 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
346,16 |
![]() |
Open Access and Institutional Repositories
ISBN: 9781834410784 / Angielski / Twarda / 2026 Termin realizacji zamówienia: ok. 30 dni roboczych. The open access movement has transformed scholarly communication by promoting free and equitable access to academic knowledge. Institutional repositories play a vital role in making research outputs widely available and preserving academic heritage. Open Access and Institutional Repositories examines the policies, technologies, and management strategies that support open access publishing. The book discusses repository design, copyright issues, and metadata standards for research dissemination. It also explores funding models and global initiatives promoting open scholarship. Through...
The open access movement has transformed scholarly communication by promoting free and equitable access to academic knowledge. Institutional repositor...
|
cena:
653,08 |
![]() |
Formalization and Model Checking of Software Architectural Style
ISBN: 9783659682360 / Angielski / Miękka / 2015 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as, Monterey Phoenix. Model checking is being carried out by automated tools, viz. Z/EVES, Atelier B, and Alloy Analyzer for Z, B, and Alloy specifications respectively. Furthermore, a comparative analysis of different characteristics shown by varied formal approaches has been presented. Software architecture plays an important role in the high level design of a system in terms of components, connectors, and configurations. The main building block...
In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as,...
|
cena:
180,57 |
![]() |
Biosafety Assessment of Probiotic Potential
ISBN: 9781071647578 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
814,55 |
![]() |
Formalizzazione e verifica dei modelli dello stile architettonico del software
ISBN: 9786202428767 / Włoski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
180,57 |
![]() |
Wastewater Treatment Through Nature-Based Solutions: Achieving Sustainable Development Goal 6
ISBN: 9789819666980 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
651,63 |
![]() |
Biotechnological Processes for Industrial and Biomedical Waste Management
ISBN: 9781394272006 / Angielski / 07-04-2026 Książka dostępna od: 07-04-2026 |
|
Planowany termin premiery książki: 07-04-2026
Książkę można już zamówić z rabatem 5% |
|
888,34 |
![]() |
IMMOBILISIERUNG VON ENZYMEN MIT MAGNETISCHEN NANOPARTIKELN
ISBN: 9786204004006 / Niemiecki / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Die biochemische Reaktion, die in jedem biologischen System beteiligt sind, werden von den Enzymen durchgeführt, die ein notwendiger Bestandteil der lebenden Zelle sind.die Enzyme werden konsequent in den täglichen Aktivitäten verwendet, aber sie haben auch unstetige und variierende Bedingungen wie hohe Temperatur.dieses Problem kann durch die Immobilisierungsmethoden angesprochen werden.Die bemerkenswerte Rolle der Immobilisierungsmethoden ist es, die wertvollen Enzyme vor der direkten Begegnung mit den dissonanten Bedingungen der Reaktion und der Wiederverwendbarkeit zu bewahren und...
Die biochemische Reaktion, die in jedem biologischen System beteiligt sind, werden von den Enzymen durchgeführt, die ein notwendiger Bestandteil der ...
|
cena:
248,45 |
![]() |
Dainik Poojan evam Hawan ke Vaidik Niyam
ISBN: 9788196942571 / Hindi Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
81,98 |
![]() |
CÉRAMIQUE CAD/CAM
ISBN: 9786202693301 / Francuski / Miękka / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Les matériaux céramiques sont utilisés en dentisterie depuis plus de 200 ans. Ce sont les matériaux de restauration dentaire les plus biocompatibles, chimiquement très stables. Une des caractéristiques souhaitables de la céramique est que son apparence peut être personnalisée pour simuler la couleur, la translucidité et la fluorescence des dents naturelles. Un problème majeur de la céramique est que sa structure ne présente qu'une très faible flexibilité avant la fracture. De nouveaux matériaux céramiques et des techniques innovantes de traitement de la céramique ont été...
Les matériaux céramiques sont utilisés en dentisterie depuis plus de 200 ans. Ce sont les matériaux de restauration dentaire les plus biocompatibl...
|
cena:
121,74 |
![]() |
Remédiation de la toxicité du cadmium chez le sorgho à l'aide de mycorhizes
ISBN: 9786208571313 / Francuski / Miękka / 2025 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. La privation de ressources acceptées est peut-être l'une des erreurs les plus graves que l'humanité ait jamais commises au cours de son voyage vers le progrès et la civilisation. La plupart des ressources naturelles sont contaminées par des polluants tels que les métaux lourds, qui constituent une menace sérieuse pour l'eau et le sol. Ce livre comprend cinq chapitres qui incluent le mécanisme d'extraction des métaux du sol à l'aide de micro-organismes, avec une référence particulière à la mycorhize. Il se concentre également sur l'immobilisation des métaux lourds, en...
La privation de ressources acceptées est peut-être l'une des erreurs les plus graves que l'humanité ait jamais commises au cours de son voyage vers...
|
cena:
225,82 |