![]() |
System Modeling and Optimization: 23rd Ifip Tc 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
ISBN: 9783642260933 / Angielski / Miękka / 507 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, which was held in C- cow, Poland, on July 23-27, 2007. It contains 7 plenary and 22 contributed articles, the latter selected via a peer reviewing process. Most of the papers are concerned with optimization and optimal control. Some of them deal with practical issues, e. g., p- formance-based design for seismic risk reduction, or evolutionary optimization in structural engineering. Many contributions concern optimization of infini- dimensional...
rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, whic...
|
cena:
806,99 zł |
![]() |
Mathematical Foundations of Computer Science: Sets, Relations, and Induction
ISBN: 9781461277927 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal...
Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathemat...
|
cena:
201,72 zł |
![]() |
Data Structures and Algorithms 1: Sorting and Searching
ISBN: 9783642696749 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm" is central in computer science, and "efficiency" is central in the world of money. I have organized the material in three volumes and nine chapters. Vol. 1: Sorting and Searching (chapters I to III) Vol. 2: Graph Algorithms and NP-completeness (chapters IV to VI) Vol. 3: Multi-dimensional Searching and Computational G- metry (chapters VII and VIII) Volumes 2 and 3 have volume 1 as a common basis but are indepen dent from each other. Most of volumes...
The design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm" is ...
|
cena:
201,72 zł |
![]() |
Data Structures and Algorithms 2: Graph Algorithms and Np-Completeness
ISBN: 9783642698996 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,72 zł |
![]() |
Concurrency and Nets: Advances in Petri Nets
ISBN: 9783642728242 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Concurrency and Nets is a special volume in the series "Advances in Petri Nets." Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets....
Concurrency and Nets is a special volume in the series "Advances in Petri Nets." Prepared as a tribute to Carl Adam Petri on the occasion of hi...
|
cena:
201,72 zł |
![]() |
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990
ISBN: 9783642762765 / Angielski / Miękka / 211 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology. Firstly, it consists of the proceedings of the "Symposium on Computational Logic" - held on the occasion of the 7th ESPRIT Conference Week in November 1990 - whose organisation was inspired by the work of Basic Research Action 3012 (COMPULOG). This is a consortium which has attracted world-wide interest, with requests for collaboration throughout Europe,...
This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams c...
|
cena:
403,47 zł |
![]() |
Relations and Graphs: Discrete Mathematics for Computer Scientists
ISBN: 9783642779701 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to...
Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltyp...
|
cena:
403,47 zł |
![]() |
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Pap
ISBN: 9783642324949 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, F...
|
cena:
185,62 zł |
![]() |
Soft Computing and Its Applications, Volume I: A Unified Engineering Concept
ISBN: 9781926895383 / Angielski / Twarda / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will be highly useful to researchers in the area of pattern classification and computer vision as well as for academics and professionals. Combining theory and practice, the book presents several experimental results, all synthetic and real data, provided on a unified platform for pattern classification and object recognition.
This book will be highly useful to researchers in the area of pattern classification and computer vision as well as for academics and professionals. C...
|
cena:
780,44 zł |
![]() |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-
ISBN: 9783642340253 / Angielski / Miękka / 617 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata... The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of...
|
cena:
201,72 zł |
![]() |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ISBN: 9783642340314 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Vali...
|
cena:
201,72 zł |
![]() |
Human Activity Recognition: Using Wearable Sensors and Smartphones
ISBN: 9781466588271 / Angielski / Twarda / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn How to Design and Implement HAR Systems The pervasiveness and range of capabilities of today s mobile devices have enabled a wide spectrum of mobile applications that are transforming our daily lives, from smartphones equipped with GPS to integrated mobile sensors that acquire physiological data. Human Activity Recognition: Using Wearable Sensors and Smartphones focuses on the automatic identification of human activities from pervasive wearable sensors a crucial component for health monitoring and also applicable to other areas, such as entertainment... Learn How to Design and Implement HAR Systems The pervasiveness and range of capabilities of today s mobile devices have enabled a... |
cena:
658,50 zł |
![]() |
Automatic Defense Against Zero-Day Polymorphic Worms in Communication Networks
ISBN: 9781466557277 / Angielski / Twarda / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Able to propagate quickly and change their payload with each infection, polymorphic worms have been able to evade even the most advanced intrusion detection systems (IDS). And, because zero-day worms require only seconds to launch flooding attacks on your servers, using traditional methods such as manually creating and storing signatures to defend against these threats is just too slow. Able to propagate quickly and change their payload with each infection, polymorphic worms have been able to evade even the most advanced intrusion ... |
cena:
429,20 zł |
![]() |
Advances in Biometrics for Secure Human Authentication and Recognition
ISBN: 9781466582422 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although biometric systems present powerful alternatives to traditional authentication schemes, there are still many concerns about their security. Advances in Biometrics for Secure Human Authentication and Recognition showcases some of the latest technologies and algorithms being used for human authentication and recognition. Although biometric systems present powerful alternatives to traditional authentication schemes, there are still many concerns about their security.... |
cena:
658,50 zł |
![]() |
Theory of Cryptography: 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings
ISBN: 9783642365935 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in Tokyo, Japan, in March 2013. The 36 revised full papers presented were carefully reviewed and selected from 98 submissions. The papers cover topics such as study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones; formulation and treatment of new cryptographic problems; study of notions of security and relations...
This book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in Tokyo, Japan, in March 2013...
|
cena:
201,72 zł |
![]() |
Artificial Intelligence: Made Easy w/ Ruby Programming; Learn to Create your * Problem Solving * Algorithms! TODAY! w/ Machine Learning & Data
ISBN: 9781530826865 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
34,18 zł |
![]() |
New Directions in Behavioral Biometrics
ISBN: 9781498784627 / Angielski / Twarda / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic biometrics recognition techniques are increasingly important in corporate and public security systems and have increased in methods due to rapid field development. This book discusses classic behavioral biometrics as well as collects the latest advances in techniques, theoretical approaches, and dynamic applications. This future-looking book is an important reference tool for researchers, practitioners, academicians, and technologists. While there are existing books that focus on physiological biometrics or algorithmic approaches deployed in biometrics, this book addresses a gap... Automatic biometrics recognition techniques are increasingly important in corporate and public security systems and have increased in methods due t... |
cena:
536,56 zł |
![]() |
Network Anomaly Detection: A Machine Learning Perspective
ISBN: 9781466582088 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the rapid rise in the ubiquity and sophistication of Internet technology and the accompanying growth in the number of network attacks, network intrusion detection has become increasingly important. Anomaly-based network intrusion detection refers to finding exceptional or nonconforming patterns in network traffic data compared to normal behavior. Finding these anomalies has extensive applications in areas such as cyber security, credit card and insurance fraud detection, and military surveillance for enemy activities. Network Anomaly Detection: A Machine Learning Perspective... With the rapid rise in the ubiquity and sophistication of Internet technology and the accompanying growth in the number of network attacks, network... |
cena:
536,56 zł |
![]() |
Computational Modeling and Problem Solving in the Networked World: Interfaces in Computer Science and Operations Research
ISBN: 9781461353669 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a compilation of a selected subset of research articles presented at the Eighth INFORMS Computing Society Conference, held in Chandler, Arizona, from January 8 to 10, 2003. The articles in this book represent the diversity and depth of the interface between ORiMS (operations research and the management sciences) and CS/AI (computer science and artificial intelligence ). This volume starts with two papers that represent the reflective and integrative thinking that is critical to any scientific discipline. These two articles present philosophical perspectives on computation,...
This book is a compilation of a selected subset of research articles presented at the Eighth INFORMS Computing Society Conference, held in Chandler, A...
|
cena:
605,23 zł |
![]() |
Advances in Artificial Intelligence: 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, Canada, May 28-31, 2013. Proceedin
ISBN: 9783642384561 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canada, in May 2013. The 17 regular papers and 15 short papers presented were carefully reviewed and selected from 73 initial submissions and are accompanied by 8 papers from the Graduate Student Symposium that were selected from 14 submissions. The papers cover a variety of topics within AI, such as: information extraction, knowledge representation, search, text mining, social networks, temporal associations.
This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canad...
|
cena:
201,72 zł |