 |  |  |  |  |
Bild | | | | Bestellen |
 |
|
|
|
Springer Verlag 9783540730989 |
€ 49,99* pro Stück |
|
|
|
Springer Verlag 9783540731009 |
€ 49,99* pro Stück |
|
|
Ruby on Rails for PHP and Java Developers (1 Angebot) 1 Ruby is an open source programming language that was released in 1995. th 2 Ruby is ranked 10 in the TIOBE Programming Community index . Ruby 3 on Rails is an open source web framework that was r... |
Springer Verlag 9783540731443 |
€ 49,99* pro Stück |
|
|
|
Springer Verlag 9783540731467 |
€ 49,99* pro Stück |
|
|
Developments in Language Theory (1 Angebot) Invited Talks.- On First-Order Fragments for Words and Mazurkiewicz Traces.- Quantitative Generalizations of Languages.- What Do We Know About Language Equations?.- Information Distance and Applica... |
Springer Verlag 9783540732075 |
€ 49,99* pro Stück |
|
|
Integrated Formal Methods (1 Angebot) Verifying Temporal Properties of CommUnity Designs.- Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.- Automated Verification of Security Policies in Mobile Code.- Slic... |
Springer Verlag 9783540732099 |
€ 99,99* pro Stück |
|
|
Foundations of Augmented Cognition (1 Angebot) The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly with the Symposium on Human Interface (Japan) 2007... |
Springer Verlag 9783540732150 |
€ 49,99* pro Stück |
|
|
Reliable Software Technologies - Ada-Europe 2007 (1 Angebot) Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this seri... |
Springer Verlag 9783540732297 |
€ 49,99* pro Stück |
|
|
|
Springer Verlag 9783540732457 |
€ 79,99* pro Stück |
|
|
Data Integration in the Life Sciences (1 Angebot) Understanding the mechanisms involved in life (e. g. , discovering the biological functionofasetofproteins,inferringtheevolutionofasetofspecies)isbecoming increasinglydependent onprogressmade inmat... |
Springer Verlag 9783540732549 |
€ 49,99* pro Stück |
|
|
|
Springer Verlag 9783540732624 |
€ 49,99* pro Stück |
|
|
Security and Privacy in Ad-hoc and Sensor Networks (1 Angebot) You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks. The wo- nd rd shop took place in Cambridge, UK, on the 2 and... |
Springer Verlag 9783540732747 |
€ 49,99* pro Stück |
|
|
New Trends in Applied Artificial Intelligence (1 Angebot) "The true sign of intelligence is not knowledge but imagination." Albert Einstein Applied arti?cial intelligence researchers have been focusing on developing and employing methods and systems to so... |
Springer Verlag 9783540733225 |
€ 99,99* pro Stück |
|
|
Computer Aided Verification (1 Angebot) This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3-7, 2007. CAV 2007 was the 19th in a series of conferences d... |
Springer Verlag 9783540733676 |
€ 49,99* pro Stück |
|
|
Model Checking Software (1 Angebot) StackSnuffer: Curing Orion's Unsoundness.- Tutorial: Parallel Model Checking.- Local Abstraction-Refinement for the mu-Calculus.- Minimal Counterexample Generation for SPIN.- Generating Counter-Exa... |
Springer Verlag 9783540733690 |
€ 49,99* pro Stück |
|
|