Computer Science Logic

Computer Science Logic

 

65,36 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1997
ISBN:
9783540631729
65,36 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL’96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.

Artículos relacionados

  • CLOUD TO EDGEWARE
    BROOKS TYSON T / TYSON T BROOKS
    This comprehensive book presents a new approach to dynamic distributed virtual systems. Wireless grids edgeware promises new cloud to edge secure architectures with mobile security for the Internet of Things (IoT). The scope covers framworks and models for wireless grids edgeware, as well as open specifications and new applications called gridlets and wiglets.The book also high...
  • Solutions Architect’s Handbook - Third Edition
    Neelanjali Srivastav / Saurabh Shrivastava
    From fundamentals and design patterns to the latest techniques such as generative AI, machine learning and cloud native architecture, gain all you need to be a pro Solutions Architect crafting secure and reliable AWS architecture.Key Features:- Hits all the key areas -Rajesh Sheth, VP, Elastic Block Store, AWS- Offers the knowledge you need to succeed in the evolving landscape ...
    Disponible

    84,87 €

  • Generative AI for Cloud Solutions
    Anurag Karuparti / Paul Singh
    Explore Generative AI, the engine behind ChatGPT, and delve into topics like LLM-infused frameworks, autonomous agents, and responsible innovation, to gain valuable insights into the future of AI Key FeaturesGain foundational GenAI knowledge and understand how to scale GenAI/ChatGPT in the cloudUnderstand advanced techniques for customizing LLMs for organizations via fine-tunin...
    Disponible

    75,16 €

  • Segurança De Serviços Em Nuvem Na Prática
    Hélio Watanabe
    Segurança de Serviços em Nuvem na Prática: utilizando a ISO 27017 em empresas no Brasilé um guia prático voltado para a implementação de medidas de segurança da informação em serviços de nuvem, com foco nas particularidades do mercado brasileiro.O livro aborda a importância crescente da computação em nuvem e os desafios associados à sua segurança, introduzindo a norma ISO/IEC 2...
    Disponible

    9,88 €

  • The Habits of Great Developers
    Tom Henricksen
    Developers want great results and must focus on the small habits.Don’t you wish someone asked great developers how they do it? Tom Henricksen has reached out to leading coders and compiled their advice into one place.Here are some of the people whom he worked with:David FarleyWoody ZuillDoc NortonGeePaw HillDavid NealAndrew StellmanLuca RossiTom has distilled down the small ste...
    Disponible

    17,79 €

  • Enterprise Architects
    Svyatoslav Kotusev
    Enterprise architects are specialized industry professionals responsible for leading joint business and IT planning in organizations, thereby enabling the success of their digital transformation efforts. Despite their immediate relevance to today’s ubiquitous digitalization tendencies, the very presence of enterprise architects, as unique organizational characters, is largely u...
    Disponible

    85,82 €