topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 15
 |
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper
ISBN: 9783540436317 / Angielski / Miękka / 2002 / 331 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002. The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.
This volume constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Int...
|
cena:
201,72 zł |
 |
Space Data Management
ISBN: 9789819700400 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
685,93 zł |
 |
Static Analysis: 6th International Symposium, Sas'99, Venice, Italy, September 22-24, 1999, Proceedings
ISBN: 9783540664598 / Angielski / Miękka / 1999 / 360 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static...
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations...
|
cena:
201,72 zł |
 |
Computer Information Systems and Industrial Management: 11th Ifip Tc 8 International Conference, Cisim 2012, Venice, Italy, September 26-28, 2012, Pro
ISBN: 9783642332593 / Angielski / Miękka / 2012 / 444 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held in Venice, Italy, in September 2012.
Constitutes the refereed proceedings of the 11th International Conference on Computer Information Systems and Industrial Management, CISIM 2012, held ...
|
cena:
201,72 zł |
 |
Intelligent Systems: Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence
ISBN: 9781032889085 / Angielski / 27-02-2026 Książka dostępna od: 27-02-2026 |
|
Planowany termin premiery książki: 27-02-2026
Książkę można już zamówić z rabatem 5% |
|
650,07 zł |
 |
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2024
ISBN: 9789819646906 / Angielski / Miękka / 2025 / 500 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering. It includes selected papers from the International Conference on Computational Intelligence and Data Engineering (ICCIDE 2024). It covers various topics, including collective intelligence, intelligent transportation systems, fuzzy systems, Bayesian networks, ant colony optimization, data privacy and security, data mining, data warehousing, big data analytics, cloud computing, natural language processing, swarm intelligence, and...
This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and da...
|
cena:
1008,75 zł |
 |
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022
ISBN: 9789811967900 / Angielski / Miękka / 2023 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book features a collection of high-quality research papers presented at the 9th International Symposium on Applied Computing for Software and Smart systems (ACSS 2022), to be held during September 09–10, 2022 in Kolkata, India. The book presents innovative works by undergraduate, graduate students and as well as PhD scholars. The emphasis of the workshop is on software and smart systems and research outcomes on other relevant areas pertaining to advancement of computing.
This book features a collection of high-quality research papers presented at the 9th International Symposium on Applied Computing for Software and Sma...
|
cena:
806,99 zł |
 |
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2022
ISBN: 9789819906086 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering. It includes selected papers from the International Conference on Computational Intelligence and Data Engineering (ICCIDE 2022). It covers various topics, including collective intelligence, intelligent transportation systems, fuzzy systems, Bayesian network, ant colony optimization, data privacy and security, data mining, data warehousing, big data analytics, cloud computing, natural language processing, swarm intelligence and...
This book is a collection of high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and da...
|
cena:
928,04 zł |
 |
Challenges of Software Verification
ISBN: 9789811996009 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed,...
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at...
|
cena:
605,23 zł |
 |
Smart Systems and Wireless Communication: Proceedings of SSWC 2024
ISBN: 9789819613472 / Angielski / Twarda / 2025 / 592 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The volume is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2024, organized Department of Information Technology, JIS College of Engineering, Kalyani, West Bengal, India, during 29-30 November 2024. This book focuses smart cities, smart farming, smart healthcare, wireless networks communication, internet of things, cyber physical systems, human computer interaction, big data and data analytics, high performance computing, requirements engineering, analysis and verification techniques, security systems,...
The volume is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 202...
|
cena:
1129,80 zł |
 |
Applied Computing for Software and Smart Systems: Proceedings of Acss 2023
ISBN: 9789819977826 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
726,29 zł |
 |
Applied Computing for Software and Smart Systems: Proceedings of ACSS 2024
ISBN: 9789819797615 / Angielski / Miękka / 2025 / 304 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book features a collection of high-quality research papers presented at the 11th International Symposium on Applied Computing for Software and Smart systems (ACSS 2024), to be held during September 19–20, 2024, in Kolkata, India. The book presents innovative works by undergraduate, graduate students as well as Ph.D. scholars. The emphasis of the workshop is on software and smart systems and research outcomes on other relevant areas pertaining to advancement of computing.
This book features a collection of high-quality research papers presented at the 11th International Symposium on Applied Computing for Software and Sm...
|
cena:
887,69 zł |
 |
Advanced Computing and Systems for Security: Volume 14
ISBN: 9789811642937 / Angielski / Miękka / 2021 / 186 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,82 zł |
 |
Advanced Computing and Systems for Security: Volume 13
ISBN: 9789811642869 / Angielski / Miękka / 2021 / 164 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 zł |
 |
Computer Information Systems and Industrial Management: 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings
ISBN: 9783642409240 / Angielski / Miękka / 2013 / 524 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow, Poland, in September 2013. The 44 papers presented in this volume were carefully reviewed and selected from over 60 submissions. They are organized in topical sections on biometric and biomedical applications; p
This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013, held in Cracow, Poland, in September 2013. The 44 pa...
|
cena:
201,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
