Verfijnen
Verwachte titels
121
Introduction To Logic
Second Edition
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 34,20 |
| Genre: | Informatiekunde |
Provides A Gentle But Rigorous Introduction To Formal Logic. The Book Covers Logical Syntax And Semantics And Proof Theory, Plus Induction. Unlike Other Books, This Title Begins With Herbrand Semantics Rather Than The More Traditional Tarskian Semantics. This Approach Makes The Material Considerably... Lees verder
122
Theoretical Aspects Of Computing -- Ictac 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 71,10 |
| Genre: | Informatiekunde |
This Book Constitutes The Refereed Proceedings Of The 10th International Colloquium On Theoretical Aspects Of Computing, Ictac 2013 Held In Macau, China, In September 2013. The Papers Cover Various Topics Related To Both Theoretical Aspects Of Computing And The Exploitation Of Theory Through Methods... Lees verder
123
Practical Anonymity
Hiding In Plain Sight Online
(Engels )
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 31,65 (onder voorbehoud) |
| Genre: | Informatiekunde |
A Guide That Skips The Theoretical And Technical Details And Focuses On Getting From Zero To Anonymous As Fast As Possible. It Features Step-by-step Instructions For Configuring And Using Anonymous Networking Software. Lees verder
124
John Von Neumann And The Origins Of Modern Computing
(Engels )
| Levertijd: | 8 tot 12 werkdagen |
|---|---|
| Prijs: | € 35,50 |
| Genre: | Informatiekunde |
William Aspray Provides The First Broad And Detailed Account Of Von Neumann's Many Different Contributions To Computing. Lees verder
125
Biomimetic And Biohybrid Systems
Second International Conference, Living Machines 2013, London, Uk, July 29 -- August 2, 2013, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 71,10 |
| Genre: | Informatiekunde |
The Papers Are Targeted At The Intersection Of Research On Novel Live-like Technologies Inspired By Scientific Investigation Of Biological Systems, Biomimetics, And Research That Seeks To Interface Biological And Artificial Systems To Create Biohybrid Systems Lees verder
126
Agreement Technologies
Second International Conference, at 2013, Beijing, China, August 1-2, 2013. Proceedings
(Engels , Paperback, 09-07-2013)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 52,75 |
| Genre: | Informatiekunde |
This volume constitutes the refereed proceedings of the Second International Conference on Agreement Technologies, AT 2013, held in Beijing, China, in August 2013. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from numerous submissions and ... Lees verder
127
Intelligent Decision Technologies
Proceedings Of The 5th Kes International Conference On Intelligent Decision Technologies (kes-idt 2013)
(Engels )
| Levertijd: | 3 tot 4 werkdagen |
|---|---|
| Prijs: | € 139,25 |
| Genre: | Informatiekunde |
The Field Of Intelligent Decision Technologies Is Interdisciplinary In Nature, Bridging Computer Science With Its Development Of Artificial Intelligence, Information Systems With Its Development Of Decision Support Systems, And Engineering With Its Development Of Systems. This Book Presents The 45 P... Lees verder
128
Wireless Algorithms, Systems, And Applications
8th International Conference, Wasa 2013, Zhangjiajie, China, August 7-10,2013, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Informatiekunde |
This Book Constitutes The Refereed Proceedings Of The 8th International Conference On Wireless Algorithms, Systems, And Applications, Wasa 2013, Held In Zhangjiajie, China, In August 2013. Lees verder
129
Computer Aided Verification
25th International Conference, Cav 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 127,25 |
| Genre: | Informatiekunde |
This Book Constitutes The Thoroughly Refereed Proceedings Of The 25th International Conference On Computer Aided Verification, Cav 2013 Held In St. Petersburg, Russia In July 2013. Lees verder
130
Programming Distributed Computing Systems
A Foundational Approach
(Engels , Gebonden)
| Levertijd: | 8 tot 12 werkdagen |
|---|---|
| Prijs: | € 62,15 |
| Genre: | Informatiekunde |
An Introduction To Fundamental Theories Of Concurrent Computation And Associated Programming Languages For Developing Distributed And Mobile Computing Systems. Lees verder
131
Google Visualization Api Essentials
(Engels )
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 42,20 (onder voorbehoud) |
| Genre: | Informatiekunde |
"make Sense Of Your Data: Make It Visual With The Google Visualization Api." Lees verder
132
Human And Machine Perception 3
Thinking, Deciding, And Acting
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 131,65 |
| Genre: | Informatiekunde |
Proceedings Of The Fourth International Workshop On Human Machine And Perception: Thinking, Deciding, And Acting, Held June 20-23, 2000, In Palermo, Italy Lees verder
133
Computer Simulations
Technology, Industrial Applications & Effects On Learning
(Engels , Gebonden)
| Levertijd: | 5 tot 15 werkdagen |
|---|---|
| Prijs: | € 151,95 |
| Genre: | Informatiekunde |
Includes Bibliographical References And Index. Lees verder
134
Advances In Information And Computer Security
4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
(Engels , Paperback, 01-11-2009)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Informatiekunde |
The Fourth International Workshop on Security (IWSEC 2009) was held at Toyama International Conference Center, Toyama, Japan, October 28-30, 2009. The workshop was co-organized by CSEC, a special interest group on computer security of the IPSJ (Information Processing Society of Japan) and ISEC, a te... Lees verder
135
Stochastic Algorithms: Foundations And Applications
5th International Symposium, Saga 2009 Sapporo, Japan, October 26-28, 2009 Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Informatiekunde |
This Book Constitutes The Refereed Proceedings Of The 5th International Symposium On Stochastic Algorithms, Foundations And Applications, Saga 2009, Held In Sapporo, Japan, In October 2009. The 15 Revised Full Papers Presented Together With 2 Invited Papers Were Carefully Reviewed And Selected From ... Lees verder
136
Privacy For Location-based Services
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 43,10 |
| Genre: | Informatiekunde |
Provides An Overview Of The State-of-the-art In Location Privacy Protection. A Diverse Body Of Solutions Is Reviewed, Including Methods That Use Location Generalization, Cryptographic Techniques Or Differential Privacy. The Most Prominent Results Are Discussed, And Promising Directions For Future Wo... Lees verder
137
Theory And Practice Of Cryptography Solutions For Secure Information Systems
(Engels , Gebonden)
| Beschikbaar: | Printing on demand |
|---|---|
| Prijs: | € 191,85 (onder voorbehoud) |
| Genre: | Informatiekunde |
Explores Current Trends In Is Security Technologies, Techniques, And Concerns, Primarily Through The Use Of Cryptographic Tools To Safeguard Valuable Information Resources. This Reference Book Serves The Needs Of Professionals, Academics, And Students Requiring Dedicated Information Systems Free Fro... Lees verder
138
Fault-tolerant Agreement In Synchronous Message-passing Systems
(Engels )
| Levertijd: | 12 tot 15 werkdagen |
|---|---|
| Prijs: | € 51,45 |
| Genre: | Informatiekunde |
Explores How To Cope With The Uncertainty Created By Process Failures (crash, Omission Failures And Byzantine Behaviour) In Synchronous Message-passing Systems. The Book Considers Fundamental Problems That Distributed Synchronous Processes Have To Solve. These Fundamental Problems Concern Agreement ... Lees verder
139
Theory Of Cryptography
7th Theory Of Cryptography Conference, Tcc 2010, Zurich, Switzerland, February 9-11, 2010, Proceedings
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 137,55 |
| Genre: | Informatiekunde |
This Book Constitutes The Refereed Proceedings Of The Seventh Theory Of Cryptography Conference, Tcc 2010, Held In Zurich, Switzerland, February 9-11, 2010. Lees verder
140
Integrated Circuit And System Design: Power And Timing Modeling, Optimization And Simulation
19th International Workshop, Patmos 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
(Engels )
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 85,95 |
| Genre: | Informatiekunde |
The Papers Are Organized In Topical Sections On Variability & Statistical Timing, Circuit Level Techniques, Power Management, Low Power Circuits & Technology, System Level Techniques, Power & Timing Optimization Techniques, Self-timed Circuits, Low Power Circuit Analysis & Optimization, And Low Powe... Lees verder
141
Wireless Sensor Networks
7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 Proceedings
(Engels , Paperback, 25-03-2010)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 85,95 |
| Genre: | Informatiekunde |
Constitutes The Refereed Proceedings Of The 7th European Conference On Wireless Sensor Networks, Ewsn 2010, Held In Coimbra, Portugal, In February 2010. Lees verder
142
Teaching Fundamental Concepts Of Informatics
4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, Issep 2010, Zurich, Switzerland, January 13-15, 2010, P
(Engels , Paperback, 01-02-2010)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 80,25 |
| Genre: | Informatiekunde |
Constitutes The Refereed Proceedings Of The Fourth International Conference On Informatics In Secondary Schools - Evolution And Perspectives, Issep 2010, Held In Zurich, Switzerland In January 2010. This Book Addresses A Variety Of Topics Related To Teaching Informatics In Secondary Schools. Lees verder
143
High Performance Computing And Applications
Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
(Engels , Paperback, 25-03-2010)
| Levertijd: | 4 tot 6 werkdagen |
|---|---|
| Prijs: | € 120,35 |
| Genre: | Informatiekunde |
Constitutes The Refereed Post-conference Proceedings Of The Second International Conference On High Performance Computing And Applications, Hpca 2009, Held In Shanghai, China, In August 2009. Lees verder
