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
Anaphora in Natural Language Understanding (1 Angebot) 
Anaphora.- Traditional approaches to anaphora.- The need for discourse theme in anaphora resolution.- Discourse-oriented anaphora systems and theories.- Constraints and defaults in anaphor resoluti...
Springer Verlag
9783540108580
€ 9,99*
pro Stück
 
 Stück
GWAI-81 (1 Angebot) 
Computersehen und Roboterforschung.- Models and Structures in Image Processing (Hauptvortrag).- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objec...
Springer Verlag
9783540108597
€ 49,99*
pro Stück
 
 Stück
Automatic Differentiation (1 Angebot) 
Formula translation.- Formula differentiation.- Generation of Taylor coefficients.- Examples of software for automatic differentiation and generation of Taylor coefficients.- Automatic computation ...
Springer Verlag
9783540108610
€ 34,99*
pro Stück
 
 Stück
Natürlichsprachliche Argumentation in Dialogsystemen (1 Angebot) 
1. Grundlagen des Entwurfs Einer Erklärungskomponente.- 2. Algorithmische Analyse und Generierung Sprachlicher Strukturen in Argumentativen Dialogen.- 3. Entwurf und Realisation Einer Komponente zu...
Springer Verlag
9783540108733
€ 51,39*
pro Stück
 
 Stück
GI -- 11. Jahrestagung (1 Angebot) 
Semantik von Programmiersprachen.- Invariance of Approximative Semantics with Respect to Program Transformations.- Description of Parameterized Compiler Modules.- Static-Scope-LISP: Zerlegung Eines...
Springer Verlag
9783540108849
€ 30,37*
pro Stück
 
 Stück
Beitrag zur Analyse der Auswirkungen der Mikroelektronik;Dargestellt am Beispiel der Büromaschinen-Industrie (1 Angebot) 
0 Abkürzungen.- 1 Einleitung.- 2 Abgrenzung des Untersuchungsfeldes.- 2.1 Elektronische Bauelemente.- 2.2 Büromaschinen.- 3 Aufgabenstellung.- 3.1 Problematik bei der Anwendung der Mikroelektronik....
Springer Verlag
9783540109914
€ 51,39*
pro Stück
 
 Stück
Modelle von Informationssystemen zur kurzfristigen Fertigungssteuerung und ihre Gestaltung nach betriebsspezifischen Gesichtspunkten (1 Angebot) 
0 Abkürzungen.- 1 Einleitung.- 2 Abgrenzung des Untersuchungsfeldes.- 2.1 Betriebliche Abgrenzung.- 2.2 Stand der Entwicklung.- 2.3 Zielsetzung und Inhalt der Arbeit.- 3 Eigenschaften von Methoden ...
Springer Verlag
9783540109921
€ 51,39*
pro Stück
 
 Stück
Algorithmic Language and Program Development (1 Angebot) 
The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather ...
Springer Verlag
9783540111481
€ 49,99*
pro Stück
 
 Stück
Algorithms in Modern Mathematics and Computer Science (1 Angebot) 
Al-khorezmi his background, his personality his work and his influence.- Algorithms in modern mathematics and computer science.- What are the gains of the theory of algorithms.- On inductive synthe...
Springer Verlag
9783540111573
€ 34,99*
pro Stück
 
 Stück
Logic of Programs (1 Angebot) 
On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL -- Propositional algorithmic logic.- Propositional dynamic logics of programs: A...
Springer Verlag
9783540111603
€ 49,99*
pro Stück
 
 Stück
Microcomputer System Design (1 Angebot) 
Perspective on microcomputers.- Integrated circuit physics and technology.- Computer aided design for microcomputer systems.- Properties of instruction set processor.- Customized microcomputers.- H...
Springer Verlag
9783540111726
€ 49,99*
pro Stück
 
 Stück
Application and Theory of Petri Nets (1 Angebot) 
This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course...
Springer Verlag
9783540111894
€ 99,99*
pro Stück
 
 Stück
Alternating Sequential-Parallel Processing (1 Angebot) 
Functional description of some parallel systems.- Alternating sequential/parallel ASP-systems.- Interface.- On direct solution of Ax = b.- Direct, parallel and ASP methods.- Iterative methods.- Spe...
Springer Verlag
9783540111948
€ 49,99*
pro Stück
 
 Stück
Verifying Concurrent Processes Using Temporal Logic (1 Angebot) 
Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
Springer Verlag
9783540112051
€ 49,99*
pro Stück
 
 Stück
Axiomatising the Logic of Computer Programming (1 Angebot) 
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
Springer Verlag
9783540112105
€ 22,99*
pro Stück
 
 Stück
vorwärts
Artikel pro Seite: 10   15   20   50   100    Seite: zurück   1   ..   491   492   493   494   495   496   497   498   499   500   501   ..   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.