Wyniki wyszukiwania:
wyszukanych pozycji: 32
 |
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. 20 dni roboczych. |
cena:
497,71 zł |
 |
Computing and Software Science: State of the Art and Perspectives
ISBN: 9783319919072 / Angielski / Miękka / 2019 / 590 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
114,83 zł |
 |
Grundlagen Der Höheren Informatik: Induktives Vorgehen
ISBN: 9783642401459 / Niemiecki / Twarda / 2013 / 179 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
135,92 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. 20 dni roboczych. |
cena:
267,98 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. 20 dni roboczych. 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:
191,40 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. 20 dni roboczych. 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:
191,40 zł |
 |
Transactions on Foundations for Mastering Change I
ISBN: 9783319465074 / Angielski / Miękka / 2016 / 257 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
191,40 zł |
 |
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
ISBN: 9783319683966 / Angielski / Twarda / 2018 / 228 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
126,32 zł |
 |
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
ISBN: 9783030098339 / Angielski / Miękka / 2019 / 228 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
126,32 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. 20 dni roboczych. |
cena:
252,66 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. 20 dni roboczych. |
cena:
191,40 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application
ISBN: 9783030613617 / Angielski / Miękka / 2020 / 582 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
325,42 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
ISBN: 9783031197550 / Angielski / Miękka / 2022 / 427 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
267,98 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. 20 dni roboczych. |
cena:
191,40 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret
ISBN: 9783031753794 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
283,29 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. 20 dni roboczych. 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:
248,84 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
ISBN: 9783540610427 / Angielski / Miękka / 1996 / 443 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs. This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems,...
|
cena:
191,40 zł |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc
ISBN: 9783031753893 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
ISBN: 9783031738869 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
252,66 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. 20 dni roboczych. 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:
325,42 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
