Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
ISBN: 9783540439288 / Angielski / Miękka / 2002 / 632 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association...
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a...
|
cena:
403,47 |
 |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
ISBN: 9783540554981 / Angielski / Miękka / 1992 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions, applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop...
This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute ...
|
cena:
201,72 |
 |
Modeling and Control of Engines and Drivelines
ISBN: 9781118479995 / Angielski / Twarda / 2014 / 588 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Control systems have come to play an important role in the performance of modern vehicles with regards to meeting goals on low emissions and low fuel consumption. To achieve these goals, modeling, simulation, and analysis have become standard tools for the development of control systems in the automotive industry. Modeling and Control of Engines and Drivelines provides an up-to-date treatment of the topic from a clear perspective of systems engineering and control systems, which are at the core of vehicle design. This book has three main goals. The first is to provide... Control systems have come to play an important role in the performance of modern vehicles with regards to meeting goals on low emissions and low fu... |
cena:
512,15 |
 |
Life with Wellbeing
ISBN: 9798334920750 / Angielski / Miękka / 2024 / 118 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
28,06 |
 |
Hitta en plats där du kan vara tråkig
ISBN: 9789180075428 / Szwedzki / Miękka / 2021 / 192 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
106,34 |
 |
Ni kanske tror att allt ?r normalt
ISBN: 9789180971331 / Szwedzki Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
119,99 |
 |
Miller's Anesthesia, 2-Volume Set
ISBN: 9780323596046 / Angielski / Twarda / 2019 / 3112 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
1762,10 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
