Wyniki wyszukiwania:
wyszukanych pozycji: 37
 |
Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Selected Papers
ISBN: 9783031737404 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
524,53 zł |
 |
Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers
ISBN: 9783032013767 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
161,36 zł |
 |
Grundlagen Der Höheren Informatik: Induktives Vorgehen
ISBN: 9783642401459 / Niemiecki / Twarda / 2013 / 179 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Die auf drei Bande angelegte Reihe mit prufungsrelevanten Aufgaben und Losungen erlautert grundlegende Mathematik-bezogene Methoden der Informatik. Der vorliegende erste Band "Induktives Vorgehen" intoniert das durch das Zusammenspiel von Struktur, Invarianz und Abstraktion gepragte Leitthema der Trilogie zu den Grundlagen der Hoheren Informatik. Die beide Folgebande "Algebraisches Denken" und " Perfektes Modellieren" greifen dieses Thema dann variierend und in immer komplexer werdenden Zusammenhangen vertiefend auf. Wie beim Bolero von Ravel, wo die gleiche Melodie von immer mehr... Die auf drei Bande angelegte Reihe mit prufungsrelevanten Aufgaben und Losungen erlautert grundlegende Mathematik-bezogene Methoden der Informatik.... |
cena:
143,25 zł |
 |
Computing and Software Science: State of the Art and Perspectives
ISBN: 9783319919072 / Angielski / Miękka / 2019 / 590 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
121,01 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen
ISBN: 9783540643562 / Angielski / Miękka / 1998 / 461 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This text constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with E-TAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions.
This text constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of System...
|
cena:
201,72 zł |
 |
Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem
ISBN: 9783032071316 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
161,36 zł |
 |
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
ISBN: 9783319683966 / Angielski / Twarda / 2018 / 228 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book explains the mathematical foundations of modern computer science. The content has been class-tested for many years, and there are extensive exercises throughout. This is a valuable textbook for undergraduate and graduate students in computer science.
This book explains the mathematical foundations of modern computer science. The content has been class-tested for many years, and there are extensive ...
|
cena:
133,12 zł |
 |
Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime
ISBN: 9783319519623 / Angielski / Miękka / 2017 / 526 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, S... |
cena:
201,72 zł |
 |
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
ISBN: 9783030098339 / Angielski / Miękka / 2019 / 228 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
133,12 zł |
 |
Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30-November 3, 2024, Proceedings
ISBN: 9783031754333 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
282,42 zł |
 |
Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings
ISBN: 9783031460012 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
282,42 zł |
 |
Transactions on Foundations for Mastering Change I
ISBN: 9783319465074 / Angielski / Miękka / 2016 / 257 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals. The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nat... |
cena:
201,72 zł |
 |
Let's Talk AI: Interdisciplinarity Is a Must
ISBN: 9783032090072 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
161,36 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocce de Nicola: 12th International Symposium, I
ISBN: 9783031737084 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
298,56 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
ISBN: 9783031198489 / Angielski / Miękka / 2022 / 598 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
cena:
342,95 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ISBN: 9783642340314 / Angielski / Miękka / 2012 / 361 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Vali...
|
cena:
201,72 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
ISBN: 9783031197611 / Angielski / Miękka / 2022 / 424 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
cena:
262,25 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,
ISBN: 9783031753862 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
266,28 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications
ISBN: 9783030614690 / Angielski / Miękka / 2020 / 544 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo
ISBN: 9783030837228 / Angielski / Miękka / 2021 / 263 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
