topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 171
 |
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ł |
 |
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: 9788132237778 / Angielski / Twarda / 2018 / 224 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
 |
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ł |
| |
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ł |
 |
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ł |
 |
Mykorrhiza-gestützte Sanierung der Cadmium-Toxizität bei Sorghum
ISBN: 9786208571337 / Niemiecki / Miękka / 2025 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Der Raubbau an den akzeptierten Ressourcen ist vielleicht einer der tödlichsten Fehler, den die Menschheit auf ihrem Weg des Fortschritts und der Zivilisation je begangen hat. Die meisten natürlichen Ressourcen sind mit Schadstoffen wie Schwermetallen kontaminiert, die eine ernsthafte Bedrohung für Wasser und Boden darstellen. Dieses Buch besteht aus fünf Kapiteln, die den Mechanismus der Metallextraktion aus dem Boden mit Hilfe von Mikroorganismen unter besonderer Berücksichtigung der Mykorrhiza behandeln. Ein weiterer Schwerpunkt ist die Immobilisierung von Schwermetallen, insbesondere...
Der Raubbau an den akzeptierten Ressourcen ist vielleicht einer der tödlichsten Fehler, den die Menschheit auf ihrem Weg des Fortschritts und der Ziv...
|
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
