topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 171
 |
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 (Bez gwarancji dostawy przed świętami) 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:
178,89 zł |
 |
Fundamentals of Metal Joining: Processes, Mechanism and Performance
ISBN: 9789811648182 / Angielski / Twarda / 2021 / 476 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
342,95 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Surface Engineering: Enhancing Life of Tribological Components
ISBN: 9788132237778 / Angielski / Twarda / 2018 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 zł |
 |
Formalizacja i sprawdzanie modeli stylu architektury oprogramowania
ISBN: 9786202438780 / Polski / Miękka / 2025 / 88 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Fundamentals of Metal Joining: Processes, Mechanism and Performance
ISBN: 9789811648212 / Angielski / Miękka / 2022 / 451 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
242,07 zł |
 |
Surface Engineering: Enhancing Life of Tribological Components
ISBN: 9788132239352 / Angielski / Miękka / 2018 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
342,95 zł |
 |
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 (Bez gwarancji dostawy przed świętami) 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:
178,89 zł |
 |
Formalisierung und Modellprüfung des Softwarearchitekturstils
ISBN: 9786202428750 / Niemiecki / Miękka / 2025 / 92 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
178,89 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Biosafety Assessment of Probiotic Potential
ISBN: 9781071647578 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
806,99 zł |
 |
Hum Chalte Rahe Rah Banti Rahi
ISBN: 9781647606251 / Hindi / Miękka / 2019 / 332 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
101,64 zł |
 |
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 (Bez gwarancji dostawy przed świętami) |
cena:
178,89 zł |
 |
Wastewater Treatment Through Nature-Based Solutions: Achieving Sustainable Development Goal 6
ISBN: 9789819666980 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
645,58 zł |
 |
Biotechnological Processes for Industrial and Biomedical Waste Management
ISBN: 9781394272006 / Angielski / 10-02-2026 Książka dostępna od: 10-02-2026 |
|
Planowany termin premiery książki: 10-02-2026
Książkę można już zamówić z rabatem 5% |
|
875,81 zł |
 |
IMMOBILISIERUNG VON ENZYMEN MIT MAGNETISCHEN NANOPARTIKELN
ISBN: 9786204004006 / Niemiecki / Miękka / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
246,14 zł |
| |
Dainik Poojan evam Hawan ke Vaidik Niyam
ISBN: 9788196942571 / Hindi Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
80,66 zł |
 |
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 (Bez gwarancji dostawy przed świętami) 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:
223,72 zł |
 |
PANORAMICA SUI CEMENTI PER CEMENTAZIONE DENTALE
ISBN: 9786202715614 / Włoski / Miękka / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
120,60 zł |
 |
Rimedio assistito dalle micorrize alla tossicità del cadmio nel sorgo
ISBN: 9786208571306 / Włoski / Miękka / 2025 / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
223,72 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
