Kategorien
Mein Mercateo
Anmelden / Registrieren
Warenkorb
 
 
 > Suche "fixpoint"

  fixpoint  (192 Angebote unter 17.241.206 Artikeln)

Folgende Filter helfen, die Artikelliste für die Suche „fixpoint“ nach Ihren Wünschen zu verfeinern:
Filtern: Preis vonbis  Wort 
Funktionen
☐
Anzeige
☐
☐
☐
☐
% ^v
Bild
Bestellen
zurück
92%
Approximate Solutions of Common Fixed-Point Problems (1 Angebot) 
· common fixed point problems in metric spaces
Springer Verlag
9783319814674
€ 99,99*
pro Stück
 
 Stück
92%
Menabo 0952005 Autodach/Dachgepäckträger Dachträger Schwarz (2 Angebote) 
Das Menabo Fixpoint Kit FIX605FP Fußset ist ein Befestigungsset für den Menabo Professional Dachträger. Dieses Fixpoint Kit ist fahrzeugspezifisch und besteht aus zwei kompletten Fußsätzen. Dank de...
Menabo
0952005
ab € 51,72*
pro 2 Stück
 
 Packung
92%
Menabo 0952006 Autodach/Dachgepäckträger Dachträger Schwarz (2 Angebote) 
Das Menabo Fixpoint Kit FIX606FP Fußset ist ein Befestigungsset für den Menabo Professional Dachträger. Dieses Fixpoint Kit ist fahrzeugspezifisch und besteht aus zwei kompletten Fußsätzen. Dank de...
Menabo
0952006
ab € 43,42*
pro 2 Stück
 
 Packung
91%
Logic for Programming, Artificial Intelligence, and Reasoning (1 Angebot) 
From Hilbert's Program to a Logic Toolbox.- On the Notion of Vacuous Truth.- Whatever Happened to Deductive Question Answering?.- Decidable Fragments of Many-Sorted Logic.- One-Pass Tableaux for Co...
Springer Verlag
9783540755586
€ 49,99*
pro Stück
 
 Stück
91%
Algebraic and Logic Programming (1 Angebot) 
Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid implementations of algebraic specifications.- Multi-modal logic programming using equational and order-s...
Springer Verlag
9783540531623
€ 49,99*
pro Stück
 
 Stück
91%
CONCUR 2002 - Concurrency Theory (1 Angebot) 
Invited Talks.- Refinement and Verification Applied to an In-Flight Data Acquisition Unit*.- A Deductive Proof System for CTL*.- Event-State Duality: The Enriched Case.- Expressive Power of Tempora...
Springer Verlag
9783540440437
€ 99,99*
pro Stück
 
 Stück
91%
Nordic Aluminium - Global Trac Pro Einbaurahmen XTSA 71 - XTSA 71-1 Einbaurahme (1 Angebot) 
Nordic Aluminium - Global Trac Pro Einbaurahmen XTSA 71 - XTSA 71-1 Einbaurahmen Fixpoint, Alu/Grau, recessed box grey, VPE: 1/25
Nordic Aluminium
19130711
ab € 15,58*
pro Stück
 
 Stück
91%
Verification, Model Checking, and Abstract Interpretation (1 Angebot) 
Closure Operators for ROBDDs.- A CLP Method for Compositional and Intermittent Predicate Abstraction.- Combining Shape Analyses by Intersecting Abstractions.- A Complete Abstract Interpretation Fra...
Springer Verlag
9783540311393
€ 49,99*
pro Stück
 
 Stück
91%
Nordic Aluminium - Global Trac Pro Einbaurahmen XTSA 71 - XTSA 71-2 Einbaurahme (1 Angebot) 
Nordic Aluminium - Global Trac Pro Einbaurahmen XTSA 71 - XTSA 71-2 Einbaurahmen Fixpoint, Schwarz, recessed box black, VPE: 1/25
Nordic Aluminium
19130712
ab € 14,93*
pro Stück
 
 Stück
91%
Computer Science Logic (1 Angebot) 
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as An...
Springer Verlag
9783540569923
€ 49,99*
pro Stück
 
 Stück
91%
Nordic Aluminium - Global Trac Pro Einbaurahmen XTSA 71 - XTSA 71-3 Einbaurahme (1 Angebot) 
Nordic Aluminium - Global Trac Pro Einbaurahmen XTSA 71 - XTSA 71-3 Einbaurahmen Fixpoint, Weiß, recessed box white, VPE: 1/25
Nordic Aluminium
19130713
ab € 15,51*
pro Stück
 
 Stück
91%
Foundations of Equational Logic Programming (1 Angebot) 
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic pro...
Springer Verlag
9783540515333
€ 34,99*
pro Stück
 
 Stück
91%
Implementation and Application of Automata (1 Angebot) 
Invited Lectures.- Implementation and Application of Automata in String Processing.- Applications of Automata in XML Processing.- Program Analysis through Finite Tree Automata.- Technical Contribut...
Springer Verlag
9783642029783
€ 49,99*
pro Stück
 
 Stück
91%
Programming Languages and Systems (1 Angebot) 
Invited Talk.- Techniques for Contextual Equivalence in Higher-Order, Typed Languages.- Models and Languages for Web Services.- Structured Communication-Centred Programming for Web Services.- CC-Pi...
Springer Verlag
9783540713142
€ 99,99*
pro Stück
 
 Stück
91%
Logic Programming and Nonmonotonic Reasoning (1 Angebot) 
Invited Papers.- A Computational Logic Approach to Heterogenous Agent Systems.- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto.- On The Complexity of Model Chec...
Springer Verlag
9783540425939
€ 49,99*
pro Stück
 
 Stück
vorwärts
Artikel pro Seite: 10   15   20   50   100    Seite: zurück   1   2   3   4   5   6   7   8   9   10   11   ..   13   vorwärts

Ähnlichkeitssuche: FACT®Finder von Omikron
* 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.