Kategorien
Konto
Anmelden / Registrieren
Warenkorb
 
 
 >  >  >  >  >  >  > Informatik

  Informatik (15 757 Artikel)

Folgende Filter helfen, die Artikelliste nach Ihren Wünschen zu verfeinern:
Filtern: Preis vonbis  Wort 
Funktionen
☐
Anzeige
☐
☐
☐
☐
Bild
Bestellen
zurück
Automated Reasoning with Analytic Tableaux and Related Methods (1 Angebot) 
Invited Talks.- Nonmonotonic Description Logics - Requirements, Theory, and Implementations.- Our Quest for the Holy Grail of Agent Verification.- An Abstract Framework for Satisfiability Modulo Th...
Springer Verlag
9783540730989
€ 49,99*
pro Stück
 
 Stück
Agile Processes in Software Engineering and Extreme Programming (1 Angebot) 
Managing Agile Processes.- Comparing Decision Making in Agile and Non-agile Software Organizations.- Up-Front Interaction Design in Agile Development.- British Telecom Experience Report: Agile Inte...
Springer Verlag
9783540731009
€ 49,99*
pro Stück
 
 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
 
 Stück
Rewriting, Computation and Proof (1 Angebot) 
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Springer Verlag
9783540731467
€ 49,99*
pro Stück
 
 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
 
 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
 
 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
 
 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
 
 Stück
Neural-Symbolic Cognitive Reasoning (1 Angebot) 
Neural-Symbolic Cognitive Reasoning
Springer Verlag
9783540732457
€ 79,99*
pro Stück
 
 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
 
 Stück
Metalearning (1 Angebot) 
Applications to Data Mining
Springer Verlag
9783540732624
€ 49,99*
pro Stück
 
 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
 
 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
 
 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
 
 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
 
 Stück
vorwärts
Artikel pro Seite: 10   15   20   50   100    Seite: zurück   1   ..   731   732   733   734   735   736   737   738   739   740   741   ..   1051   vorwärts
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.