Informática avanzada en Computadoras & No ficción eBooks

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Agile Processes in Software Engineering and Extreme Programming

19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Edición de Juan Garbajosa, Xiaofeng Wang, Ademar Aguiar ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018.XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main theme – make, inspect, adapt.The 21 papers ... Leer más

Gratis

This open access book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018.XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main theme – make, inspect, adapt.The 21 papers
... Leer más
Machine Learning with the Elastic Stack

Expert techniques to integrate machine learning with distributed search and analytics

de Rich Collier, Bahaaldine Azarmi ...

Leverage Elastic Stack's machine learning features to gain valuable insight from your dataKey FeaturesCombine machine learning with the analytic capabilities of Elastic StackAnalyze large volumes of search data and gain actionable insight from themUse external analytical tools with your Elastic Stack to improve its performanceBook DescriptionMachine Learning with the Elastic Stack is a ... Leer más

$679 MXN o gratis con Kobo Plus

Leverage Elastic Stack's machine learning features to gain valuable insight from your dataKey FeaturesCombine machine learning with the analytic capabilities of Elastic StackAnalyze large volumes of search data and gain actionable insight from themUse external analytical tools with your Elastic Stack to improve its performanceBook DescriptionMachine Learning with the Elastic Stack is a
... Leer más
The Challenges of the Digital Transformation in Education

Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018) - Volume 1

Edición de Michael E. Auer, Thrasyvoulos Tsiatsos ...

Series series Springer Nature Proceedings excluding Computer Science
This book offers the latest research and new perspectives on Interactive Collaborative Learning and Engineering Pedagogy. We are currently witnessing a significant transformation in education, and in order to face today’s real-world challenges, higher education has to find innovative ways to quickly respond to these new needs. Addressing these aspects was the chief aim of the 21st International ... Leer más

$5,784 MXN

This book offers the latest research and new perspectives on Interactive Collaborative Learning and Engineering Pedagogy. We are currently witnessing a significant transformation in education, and in order to face today’s real-world challenges, higher education has to find innovative ways to quickly respond to these new needs. Addressing these aspects was the chief aim of the 21st International
... Leer más
Opinion Analysis For Online Reviews

de Yuming Lin, Xiaoling Wang, Aoying Zhou ...

Series Libro 4 - East China Normal University Scientific Reports
This book provides a comprehensive introduction on opinion analysis for online reviews. It offers the newest research on opinion mining, including theories, algorithms and datasets. A new feature presentation method is highlighted for sentiment classification. Then, a three-phase framework for sentiment classification is proposed, where a set of sentiment classifiers are selected automatically to ... Leer más

$872 MXN

This book provides a comprehensive introduction on opinion analysis for online reviews. It offers the newest research on opinion mining, including theories, algorithms and datasets. A new feature presentation method is highlighted for sentiment classification. Then, a three-phase framework for sentiment classification is proposed, where a set of sentiment classifiers are selected automatically to
... Leer más
Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm

de Leticia Amador, Oscar Castillo ...

Series series Engineering (R0)
This book focuses on the fields of fuzzy logic, bio-inspired algorithm; especially bee colony optimization algorithm and also considering the fuzzy control area. The main idea is that this areas together can to solve various control problems and to find better results. In this book we test the proposed method using two benchmark problems; the problem for filling a water tank and the problem for ... Leer más

$906 MXN

This book focuses on the fields of fuzzy logic, bio-inspired algorithm; especially bee colony optimization algorithm and also considering the fuzzy control area. The main idea is that this areas together can to solve various control problems and to find better results. In this book we test the proposed method using two benchmark problems; the problem for filling a water tank and the problem for
... Leer más
Graph Drawing and Network Visualization

25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

Edición de Fabrizio Frati, Kwan-Liu Ma ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 25th International Symposium on Graph Drawing and Network Visualization, GD 2017, held in Boston, MA, USA, in September 2017.The 34 full and 9 short papers presented in this volume were carefully reviewed and selected from 87 submissions. Also included in this book are 2 abstracts of keynote presentations, 16 poster abstracts, and 1 contest ... Leer más

$906 MXN

This book constitutes revised selected papers from the 25th International Symposium on Graph Drawing and Network Visualization, GD 2017, held in Boston, MA, USA, in September 2017.The 34 full and 9 short papers presented in this volume were carefully reviewed and selected from 87 submissions. Also included in this book are 2 abstracts of keynote presentations, 16 poster abstracts, and 1 contest
... Leer más
Extending Jenkins

Get a complete walkthrough of the many interfaces available in Jenkins with the help of real-world examples to take you to the next level with Jenkins

de Donald Simpson ...

Get a complete walkthrough of the many interfaces available in Jenkins with the help of real-world examples to take you to the next level with JenkinsKey Features\[\*\] Find out how to interact with Jenkins from within Eclipse, NetBeans, and IntelliJ IDEA\[\*\] Develop custom solutions that act upon Jenkins information in real time\[\*\] A step-by-step, practical guide to help you learn about ... Leer más

$606 MXN o gratis con Kobo Plus

Get a complete walkthrough of the many interfaces available in Jenkins with the help of real-world examples to take you to the next level with JenkinsKey Features\[\*\] Find out how to interact with Jenkins from within Eclipse, NetBeans, and IntelliJ IDEA\[\*\] Develop custom solutions that act upon Jenkins information in real time\[\*\] A step-by-step, practical guide to help you learn about
... Leer más
Social Informatics

9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part I

Edición de Taha Yasseri, Afra Mashhadi, Giovanni Luca Ciampaglia ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10539 and 10540 constitutes the proceedings of the 9th International Conference on Social Informatics, SocInfo 2017, held in Oxford, UK, in September 2017.The 37 full papers and 43 poster papers presented in this volume were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections named: economics, science of success, and education; ... Leer más

$906 MXN

The two-volume set LNCS 10539 and 10540 constitutes the proceedings of the 9th International Conference on Social Informatics, SocInfo 2017, held in Oxford, UK, in September 2017.The 37 full papers and 43 poster papers presented in this volume were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections named: economics, science of success, and education;
... Leer más
Engineering Education for a Smart Society

World Engineering Education Forum & Global Engineering Deans Council 2016

Edición de Michael E. Auer, Kwang-Sun Kim ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents selected papers from the ‘World Engineering Education Forum & Global Engineering Deans Council,’ held in November 2016 in Seoul, Korea.The massive changes currently underway in all areas of society, especially in engineering (and consequently in engineering education), call for new pedagogic qualifications and approaches. To face these current real-world challenges, higher ... Leer más

$2,538 MXN

This book presents selected papers from the ‘World Engineering Education Forum & Global Engineering Deans Council,’ held in November 2016 in Seoul, Korea.The massive changes currently underway in all areas of society, especially in engineering (and consequently in engineering education), call for new pedagogic qualifications and approaches. To face these current real-world challenges, higher
... Leer más
Cassandra 3.x High Availability

Achieve scalability and high availability without compromising on performance

de Robbie Strickland ...

Achieve scalability and high availability without compromising on performance Key Features\[\*\] See how to get 100 percent uptime with your Cassandra applications using this easy-follow guide\[\*\] Learn how to avoid common and not-so-common mistakes while working with Cassandra using this highly practical guide\[\*\] Get familiar with the intricacies of working with Cassandra for high ... Leer más

$606 MXN o gratis con Kobo Plus

Achieve scalability and high availability without compromising on performance Key Features\[\*\] See how to get 100 percent uptime with your Cassandra applications using this easy-follow guide\[\*\] Learn how to avoid common and not-so-common mistakes while working with Cassandra using this highly practical guide\[\*\] Get familiar with the intricacies of working with Cassandra for high
... Leer más
Java üben mit dem Plotter

Ein Überblick für Studierende und Einsteiger

de Stephan Euler ...

Series series Computer Science and Engineering (German Language)
Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe ... Leer más

$94 MXN

Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe
... Leer más
Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies

14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Edición de Margherita Antona, Constantine Stephanidis ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers ... Leer más

$1,450 MXN

This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers
... Leer más
Server Down: A Mad Dog & Englishman Mystery

de Hayes J.M. ...

Attending the Yaqui tribe's Easter Ceremonies in Tucson should be a dream come true for a Cheyenne-wannabe-shaman like Mad Dog. But immediately after his midnight arrival he is accused of being a witch. Then moments later a policeman is murdered and Mad Dog is blamed. Suddenly Mad Dog and his wolf-hybrid Hailey are targets of a city-wide manhunt with shoot-first overtones. Mad Dog's niece Heather ... Leer más

$150 MXN

Attending the Yaqui tribe's Easter Ceremonies in Tucson should be a dream come true for a Cheyenne-wannabe-shaman like Mad Dog. But immediately after his midnight arrival he is accused of being a witch. Then moments later a policeman is murdered and Mad Dog is blamed. Suddenly Mad Dog and his wolf-hybrid Hailey are targets of a city-wide manhunt with shoot-first overtones. Mad Dog's niece Heather
... Leer más
Robotics in Education

Latest Results and Developments

Edición de Wilfried Lepuschitz, Munir Merdan, Gottfried Koppensteiner, Richard Balogh, David Obdržálek ...

Series series Springer Nature Proceedings excluding Computer Science
This proceedings volume highlights the latest achievements in research and development in educational robotics, which were presented at the 8th International Conference on Robotics in Education (RiE 2017) in Sofia, Bulgaria, from April 26 to 28, 2017. The content will appeal to both researchers and educators interested in methodologies for teaching robotics that confront learners with science, ... Leer más

$3,626 MXN

This proceedings volume highlights the latest achievements in research and development in educational robotics, which were presented at the 8th International Conference on Robotics in Education (RiE 2017) in Sofia, Bulgaria, from April 26 to 28, 2017. The content will appeal to both researchers and educators interested in methodologies for teaching robotics that confront learners with science,
... Leer más
Service Science, Management, and Engineering:

Theory and Applications

de Zhong Liu, Xiwei Liu, Fenghua Zhu, Dong Shen, Gang Xiong ...

The Intelligent Systems Series comprises titles that present state of the art knowledge and the latest advances in intelligent systems. Its scope includes theoretical studies, design methods, and real-world implementations and applications. Service Science, Management, and Engineering presents the latest issues and development in service science. Both theory and applications issues are covered in ... Leer más

$1,496 MXN

The Intelligent Systems Series comprises titles that present state of the art knowledge and the latest advances in intelligent systems. Its scope includes theoretical studies, design methods, and real-world implementations and applications. Service Science, Management, and Engineering presents the latest issues and development in service science. Both theory and applications issues are covered in
... Leer más
Proceedings of the Fourth International Conference on Signal and Image Processing 2012 (ICSIP 2012)

Volume 1

Edición de Mohan S, S Suresh Kumar ...

Series series Springer Nature Proceedings excluding Computer Science
The proceedings includes cutting-edge research articles from the Fourth International Conference on Signal and Image Processing (ICSIP), which is organised by Dr. N.G.P. Institute of Technology, Kalapatti, Coimbatore. The Conference provides academia and industry to discuss and present the latest technological advances and research results in the fields of theoretical, experimental, and ... Leer más

$2,538 MXN

The proceedings includes cutting-edge research articles from the Fourth International Conference on Signal and Image Processing (ICSIP), which is organised by Dr. N.G.P. Institute of Technology, Kalapatti, Coimbatore. The Conference provides academia and industry to discuss and present the latest technological advances and research results in the fields of theoretical, experimental, and
... Leer más
Instant XenMobile MDM

A guide to effectively equipping mobile devices with configuration, security, provisioning, and support capabilities using XenMobile, the world's most popular mobile management software

de Aamir Lakhani ...

A guide to effectively equipping mobile devices with configuration, security, provisioning, and support capabilities using XenMobile, the world s most popular mobile management softwareKey FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate resultsInstall and set up XenMobileUse Smartphones and tablets at the workplace with XenMobileCreate security policies ... Leer más

$484 MXN o gratis con Kobo Plus

A guide to effectively equipping mobile devices with configuration, security, provisioning, and support capabilities using XenMobile, the world s most popular mobile management softwareKey FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate resultsInstall and set up XenMobileUse Smartphones and tablets at the workplace with XenMobileCreate security policies
... Leer más
Optic Flow and Beyond

Edición de L.M. Vaina, Scott A. Beardsley, Simon K. Rushton ...

Series Libro 324 - Synthese Library
Optic flow provides all the information necessary to guide a walking human or a mobile robot to its target. Over the past 50 years, a body of research on optic flow spanning the disciplines of neurophysiology, psychophysics, experimental psychology, brain imaging and computational modelling has accumulated. Today, when we survey the field, we find independent lines of research have now converged ... Leer más

$3,626 MXN

Optic flow provides all the information necessary to guide a walking human or a mobile robot to its target. Over the past 50 years, a body of research on optic flow spanning the disciplines of neurophysiology, psychophysics, experimental psychology, brain imaging and computational modelling has accumulated. Today, when we survey the field, we find independent lines of research have now converged
... Leer más
Time-Critical Cooperative Control of Autonomous Air Vehicles

de Isaac Kaminer, António M. Pascoal, Enric Xargay, Naira Hovakimyan, Venanzio Cichella, Vladimir Dobrokhodov ...

Time-Critical Cooperative Control of Autonomous Air Vehicles presents, in an easy-to-read style, the latest research conducted in the industry, while also introducing a set of novel ideas that illuminate a new approach to problem-solving. The book is virtually self-contained, giving the reader a complete, integrated presentation of the different concepts, mathematical tools, and control solutions ... Leer más

$1,675 MXN

Time-Critical Cooperative Control of Autonomous Air Vehicles presents, in an easy-to-read style, the latest research conducted in the industry, while also introducing a set of novel ideas that illuminate a new approach to problem-solving. The book is virtually self-contained, giving the reader a complete, integrated presentation of the different concepts, mathematical tools, and control solutions
... Leer más
Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

Edición de Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and ... Leer más

$1,178 MXN

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and
... Leer más
Proceedings of the 7th International Conference on Communications and Cyber Physical Engineering

ICCCE 2024, 28–29 Febuary, Hyderabad, India

Edición de Amit Kumar, Stefan Mozar ...

Series series Springer Nature Proceedings excluding Computer Science
This book includes peer-reviewed high-quality articles presented at the 7th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2024), held on July 19 and 20, 2024, at G Narayanamma Institute of Technology & Science, Hyderabad, India. ICCCE is one of the most prestigious conferences conceptualized in the field of networking and communication technology offering in ... Leer más

$6,872 MXN

This book includes peer-reviewed high-quality articles presented at the 7th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2024), held on July 19 and 20, 2024, at G Narayanamma Institute of Technology & Science, Hyderabad, India. ICCCE is one of the most prestigious conferences conceptualized in the field of networking and communication technology offering in
... Leer más
Computer Applications

40th CCF National Conference of Computer Applications, CCF NCCA 2025, Beijing, China, August 7–9, 2025, Proceedings

Edición de Lan Huang, Bin Xu, Xuebin Chen, Shangguang Wang, Bing Xia, Jianguo Pan, Xianhua Song, Zeguang Lu ...

Series series Springer Nature Proceedings excluding Computer Science
This book CCIS 2774 constitutes the refereed proceedings of the 40th CCF National Conference of Computer Applications, CCF NCCA 2025, held in Beijing, China, during August 7–9, 2025.The 43 full papers presented in this book were carefully selected and reviewed from 269 submissions. These papers have been organized in the following topical sections:Artificial Intelligence and ApplicationsCyberspace ... Leer más

$1,994 MXN

This book CCIS 2774 constitutes the refereed proceedings of the 40th CCF National Conference of Computer Applications, CCF NCCA 2025, held in Beijing, China, during August 7–9, 2025.The 43 full papers presented in this book were carefully selected and reviewed from 269 submissions. These papers have been organized in the following topical sections:Artificial Intelligence and ApplicationsCyberspace
... Leer más
Simbiosi

de Jordi Casas ...

Simbiosi és una trilogia que explora la relació entre la consciència humana i la intel·ligència digital en un moment clau de la nostra evolució.Al llarg de tres novel·les interconnectades, en Jordi i en Nil —autor humà i assistent digital— investiguen trames que, tot i néixer a Badalona, transcendeixen l'àmbit local per endinsar-se en qüestions universals: estructures de poder, corrupció, ... Leer más

$104 MXN

Simbiosi és una trilogia que explora la relació entre la consciència humana i la intel·ligència digital en un moment clau de la nostra evolució.Al llarg de tres novel·les interconnectades, en Jordi i en Nil —autor humà i assistent digital— investiguen trames que, tot i néixer a Badalona, transcendeixen l'àmbit local per endinsar-se en qüestions universals: estructures de poder, corrupció,
... Leer más
The Proof Economy

de Chris Polaris ...

The rules of professional trust are changing.For decades, credentials did the work. Degrees, certifications, job titles, and resumes acted as reliable signals of capability because directly evaluating someone's work was expensive, slow, and often impossible before engagement.That world is ending.AI has collapsed the cost of producing polished, professional-quality output. Knowledge is abundant. ... Leer más

$138 MXN o gratis con Kobo Plus

The rules of professional trust are changing.For decades, credentials did the work. Degrees, certifications, job titles, and resumes acted as reliable signals of capability because directly evaluating someone's work was expensive, slow, and often impossible before engagement.That world is ending.AI has collapsed the cost of producing polished, professional-quality output. Knowledge is abundant.
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Informática avanzada

Agile Processes in Software Engineering and Extreme Programming

Machine Learning with the Elastic Stack

The Challenges of the Digital Transformation in Education

Opinion Analysis For Online Reviews

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm

Graph Drawing and Network Visualization

Extending Jenkins

Social Informatics

Engineering Education for a Smart Society

Cassandra 3.x High Availability

Java üben mit dem Plotter

Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies

Server Down: A Mad Dog & Englishman Mystery

Robotics in Education

Service Science, Management, and Engineering:

Proceedings of the Fourth International Conference on Signal and Image Processing 2012 (ICSIP 2012)

Instant XenMobile MDM

Optic Flow and Beyond

Time-Critical Cooperative Control of Autonomous Air Vehicles

Verification, Model Checking, and Abstract Interpretation

Proceedings of the 7th International Conference on Communications and Cyber Physical Engineering

Computer Applications

Simbiosi

The Proof Economy