Agostino Cortesi – författare
Visar alla böcker från författaren Agostino Cortesi. Handla med fri frakt och snabb leverans.
74 produkter
Intelligent Systems
Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence
Av Siddhartha Roy, Soumya Sen m. fl.
Inbunden, 2026
2516 kr
Lägg i varukorg
This book comprehensively covers an extensive array of topics within the realm of computational intelligence. The scope encompasses fuzzy logic, elucidating the principles and applications of this mathematical framework designed to handle uncertainty and imprecision in data. It delves into the …
Intelligent Systems
Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence
Av Agostino Cortesi, Soumya Sen m. fl.
E-bok, 2026
2693 kr
Lägg i varukorg
This book comprehensively covers an extensive array of topics within the realm of computational intelligence. The scope encompasses fuzzy logic, elucidating the principles and applications of this mathematical framework designed to handle uncertainty and imprecision in data. It delves into the …
Intelligent Systems
Emerging Trends and Challenges in Deep Neuro-Fuzzy Models and Explainable Artificial Intelligence
Av Agostino Cortesi, Soumya Sen m. fl.
E-bok, 2026
2782 kr
Lägg i varukorg
This book comprehensively covers an extensive array of topics within the realm of computational intelligence. The scope encompasses fuzzy logic, elucidating the principles and applications of this mathematical framework designed to handle uncertainty and imprecision in data. It delves into the …
Applied Computing for Software and Smart Systems
Proceedings of ACSS 2025
Av Rituparna Chaki, Agostino Cortesi m. fl.
Häftad, 2026
2724 kr
Lägg i varukorg
This book features a collection of high-quality research papers presented at the 12th International Symposium on Applied Computing for Software and Smart systems (ACSS 2025), held on July 4–5, 2025, in Kolkata, India. The book presents innovative works by undergraduate, graduate students as well as …
Applied Computing for Software and Smart Systems
Proceedings of ACSS 2025
Av Novarun Deb, Nabendu Chaki m. fl.
E-bok, 2026
3577 kr
Lägg i varukorg
This book features a collection of high-quality research papers presented at the 12th International Symposium on Applied Computing for Software and Smart systems (ACSS 2025), held on July 4–5, 2025, in Kolkata, India. The book presents innovative works by undergraduate, graduate students as well as …
Smart Systems and Wireless Communication
Proceedings of SSWC 2025
Av Rituparna Chaki, Agostino Cortesi m. fl.
Inbunden, 2026
3267 kr
Lägg i varukorg
This book is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2025, organized by Department of Information Technology, JIS College of Engineering, Kalyani, West Bengal, India, during November 21–22, 2025. This book …
Smart Systems and Wireless Communication
Proceedings of SSWC 2025
Av Soumyabrata Saha, Suparna DasGupta m. fl.
E-bok, 2026
4066 kr
Lägg i varukorg
This book is a collection of high-quality research papers presented at International Conference on Smart Systems and Wireless Communication, SSWC 2025, organized by Department of Information Technology, JIS College of Engineering, Kalyani, West Bengal, India, during November 21–22, 2025. This book …
Hyper-lattice Algebraic Model for Data Warehousing
Av Soumya Sen, Agostino Cortesi m. fl.
Häftad, 2016
550 kr
Lägg i varukorg
This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. …
Hyper-lattice Algebraic Model for Data Warehousing
Av Nabendu Chaki, Agostino Cortesi m. fl.
E-bok, 2016
710 kr
Lägg i varukorg
This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. …
Verification, Model Checking, and Abstract Interpretation
4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Av Lenore D. Zuck, Paul D. Attie m. fl.
Häftad, 2002
567 kr
Lägg i varukorg
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model …
Verification, Model Checking, and Abstract Interpretation
4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Av Supratik Mukhopadhyay, Agostino Cortesi m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model …
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Häftad, 2002
567 kr
Lägg i varukorg
This volume contains the revised version of papers presented at VMCAI 2002, theThirdInternationalWorkshoponVeri?cation,ModelChecking,andAbstract Interpretation, Venice (Italy), January 21-22, 2002. Themaingoaloftheworkshopwastogiveanoverviewofthemaindirections decisive for the growth and …
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
E-bok, 2003
755 kr
Lägg i varukorg
Static Analysis
6th International Symposium, SAS''99, Venice, Italy, September 22-24, 1999, Proceedings
Av Gilberto File, Agostino Cortesi
E-bok, 2003
755 kr
Lägg i varukorg
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 …
Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Av Agostino Cortesi, Gilberto File
Häftad, 1999
567 kr
Lägg i varukorg
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 …
Computer Information Systems - Analysis and Technologies
10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings
Av Nabendu Chaki, Agostino Cortesi
Häftad, 2011
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems, CISIM 2011, held in Kolkata, India, in December 2011. The 30 revised full papers presented together with 6 keynote tasks and plenary lectures were carefully reviewed and selected …
Computer Information Systems - Analysis and Technologies
10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings
Av Agostino Cortesi, Nabendu Chaki
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Computer Information Systems, CISIM 2011, held in Kolkata, India, in December 2011. The 30 revised full papers presented together with 6 keynote tasks and plenary lectures were carefully reviewed and selected …
Computer Information Systems and Industrial Management
11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings
Av Agostino Cortesi, Nabendu Chaki m. fl.
Häftad, 2012
567 kr
Lägg i varukorg
This book 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. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and …
Computer Information Systems and Industrial Management
11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings
Av Slawomir Wierzchon, Khalid Saeed m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book 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. The 35 revised full papers presented together with 2 keynote talks were carefully reviewed and …
Computer Information Systems and Industrial Management
12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings
Av Khalid Saeed, Rituparna Chaki m. fl.
Häftad, 2013
567 kr
Lägg i varukorg
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 …
Computer Information Systems and Industrial Management
12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings
Av Slawomir Wierzchon, Agostino Cortesi m. fl.
E-bok, 2013
739 kr
Lägg i varukorg
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 …
Advanced Computing and Systems for Security
Volume 1
Av Rituparna Chaki, Agostino Cortesi m. fl.
Häftad, 2015
567 kr
Lägg i varukorg
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India. The symposium has been jointly organized by the AGH …
Advanced Computing and Systems for Security
Volume 1
Av Nabendu Chaki, Khalid Saeed m. fl.
E-bok, 2015
734 kr
Lägg i varukorg
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India. The symposium has been jointly organized by the AGH …
Advanced Computing and Systems for Security
Volume 2
Av Rituparna Chaki, Agostino Cortesi m. fl.
Häftad, 2015
1126 kr
Lägg i varukorg
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India. The symposium has been jointly organized by the AGH …
Advanced Computing and Systems for Security
Volume 2
Av Nabendu Chaki, Khalid Saeed m. fl.
E-bok, 2015
1459 kr
Lägg i varukorg
The book contains the extended version of the works that have been presented and discussed in the Second International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2015) held during May 23-25, 2015 in Kolkata, India. The symposium has been jointly organized by the AGH …
Advanced Computing and Systems for Security
Volume Four
Av Rituparna Chaki, Khalid Saeed m. fl.
Häftad, 2017
550 kr
Lägg i varukorg
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of …
Advanced Computing and Systems for Security
Volume Four
Av Nabendu Chaki, Agostino Cortesi m. fl.
E-bok, 2017
718 kr
Lägg i varukorg
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of …
Advanced Computing and Systems for Security
Volume Three
Av Rituparna Chaki, Khalid Saeed m. fl.
Häftad, 2017
550 kr
Lägg i varukorg
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of …
Advanced Computing and Systems for Security
Volume Three
Av Nabendu Chaki, Agostino Cortesi m. fl.
E-bok, 2017
734 kr
Lägg i varukorg
This book presents extended versions of papers originally presented and discussed at the 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016) held from August 12 to 14, 2016 in Kolkata, India. The symposium was jointly organized by the AGH University of …
Proceedings of International Conference on Computational Intelligence and Data Engineering
ICCIDE 2017
Av Nabendu Chaki, Agostino Cortesi m. fl.
Häftad, 2018
2245 kr
Lägg i varukorg
The book presents high quality research work in cutting edge technologies and most-happening areas of computational intelligence and data engineering. It contains selected papers presented at International Conference on Computational Intelligence and Data Engineering (ICCIDE 2017). The conference …
