topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
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. 20 dni roboczych. 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:
191,40 zł |
 |
Space Data Management
ISBN: 9789819700400 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
650,86 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. 20 dni roboczych. 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:
191,40 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. 20 dni roboczych. 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:
191,40 zł |
 |
Challenges of Software Verification
ISBN: 9789811996009 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
574,29 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. 20 dni roboczych. 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:
765,72 zł |
 |
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2022
ISBN: 9789819906086 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
880,59 zł |
 |
Applied Computing for Software and Smart Systems: Proceedings of Acss 2023
ISBN: 9789819977826 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
689,15 zł |
 |
Advanced Computing and Systems for Security: Volume 13
ISBN: 9789811642869 / Angielski / Miękka / 2021 / 164 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
459,42 zł |
 |
Advanced Computing and Systems for Security: Volume 14
ISBN: 9789811642937 / Angielski / Miękka / 2021 / 186 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
421,13 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. 20 dni roboczych. 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:
191,40 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
