Fundamentals of Computation Theory, Ralf Klasing; Marc Zeitoun

Автор: Andrew Childs; Michele Mosca
Название: Theory of Quantum Computation, Communication and Cryptography
ISBN: 3642106978 ISBN-13(EAN): 9783642106972
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Topics addressed are such as quantum algorithms, models of quantum computation, quantum complexity theory, simulation of quantum systems, quantum cryptography, quantum communication, quantum estimation and measurement, quantum noise, quantum coding theory, fault-tolerant quantum computing, and entanglement theory.

Автор: Adrian Kosowski; Igor Walukiewicz
Название: Fundamentals of Computation Theory
ISBN: 3319221760 ISBN-13(EAN): 9783319221762
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms;

Автор: Leszek G?sieniec; Frank Wolter
Название: Fundamentals of Computation Theory
ISBN: 3642401635 ISBN-13(EAN): 9783642401633
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions.

Автор: Miroslaw Kutylowski; Maciej Gebala; Witold Charato
Название: Fundamentals of Computation Theory
ISBN: 364203408X ISBN-13(EAN): 9783642034084
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 17th International Symposium FCT 2009 Wroclaw Poland September 24 2009 Proceedings. .

Автор: Dexter C. Kozen
Название: Theory of Computation
ISBN: 1849965714 ISBN-13(EAN): 9781849965712
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A dual purpose textbook. It is uniquely written to cover core material in the foundations of computing for graduate students in computer science and to provide an introduction to some more advanced topics for those intending further study in the field.

Автор: Shin-ya Nishizaki; Masayuki Numao; Jaime Caro; Mer
Название: Theory and Practice of Computation
ISBN: 4431544356 ISBN-13(EAN): 9784431544357
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)-2012, held in Manila, The Philippines, in September 2012.

Автор: Tom Jenkyns; Ben Stephenson
Название: Fundamentals of Discrete Math for Computer Science
ISBN: 3319701509 ISBN-13(EAN): 9783319701509
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

An understanding of discrete mathematics is essential for students of computer science wishing to improve their programming competence.

Fundamentals of Discrete Math for Computer Science provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction. Clearly structured and interactive in nature, the book presents detailed walkthroughs of several algorithms, stimulating a conversation with the reader through informal commentary and provocative questions.

Topics and features: highly accessible and easy to read, introducing concepts in discrete mathematics without requiring a university-level background in mathematics; ideally structured for classroom-use and self-study, with modular chapters following ACM curriculum recommendations; describes mathematical processes in an algorithmic manner, often including a walk-through demonstrating how the algorithm performs the desired task as expected; contains examples and exercises throughout the text, and highlights the most important concepts in each section; selects examples that demonstrate a practical use for the concept in question.

This easy-to-understand and fun-to-read textbook is ideal for an introductory discrete mathematics course for computer science students at the beginning of their studies. The book assumes no prior mathematical knowledge, and discusses concepts in programming as needed, allowing it to be used in a mathematics course taken concurrently with a student's first programming course.

Автор: Hartmut Ehrig; Bernd Mahr
Название: Fundamentals of Algebraic Specification 1
ISBN: 3642699642 ISBN-13(EAN): 9783642699641
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;

Автор: Slawomir Stanczak; Marcin Wiczanowski; Holger Boch
Название: Fundamentals of Resource Allocation in Wireless Networks
ISBN: 364224260X ISBN-13(EAN): 9783642242601
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Future wireless networks will be integrated into every aspect of daily life. Therefore, the main objective of this book is to provide tools for better understanding the fundamental tradeoffs and interdependencies in wireless networks.

Автор: Ze-Nian Li
Название: Fundamentals of Multimedia
ISBN: 3319052896 ISBN-13(EAN): 9783319052892
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Fully revised and updated, this new edition now includes coverage of such topics as 3D TV, social networks, high-efficiency video compression and conferencing, wireless and mobile networks, and their attendant technologies.

Автор: Joshi
Название: Fundamentals of Network Forensics
ISBN: 1447172973 ISBN-13(EAN): 9781447172970
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This timely text/reference presents a detailed introduction to the essential aspects of computer network forensics. The book considers not only how to uncover information hidden in email messages, web pages and web servers, but also what this reveals about the functioning of the Internet and its core protocols. This, in turn, enables the identification of shortcomings and highlights where improvements can be made for a more secure network. Topics and features: provides learning objectives in every chapter, and review questions throughout the book to test understanding; introduces the basic concepts of network process models, network forensics frameworks and network forensics tools; discusses various techniques for the acquisition of packets in a network forensics system, network forensics analysis, and attribution in network forensics; examines a range of advanced topics, including botnet, smartphone, and cloud forensics; reviews a number of freely available tools for performing forensic activities.

Автор: Moller, Dietmar P. F.
Название: Guide to computing fundamentals in cyber-physical systems
ISBN: 3319251767 ISBN-13(EAN): 9783319251769
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents an in-depth review of the state of the art of cyber-physical systems (CPS) and their applications. presents a brief overview of the study of systems, and embedded computing systems, before defining CPS;