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

  Informatik (15 755 Artikel)

Folgende Filter helfen, die Artikelliste nach Ihren Wünschen zu verfeinern:
Filtern: Preis vonbis  Wort 
Funktionen
☐
Anzeige
☐
☐
☐
☐
Bild
Bestellen
zurück
Higher Order Logic Theorem Proving and Its Applications (1 Angebot) 
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, ...
Springer Verlag
9783540584506
€ 49,99*
pro Stück
 
 Stück
KI-94 (1 Angebot) 
Eingeladene Hauptbeiträge.- Neural Robot Control.- Artificial Intelligence in Economics and Finance -- a State of the Art.- Building Successful Applications: The Wrong Way and the Right Way.- Einge...
Springer Verlag
9783540584643
€ 51,39*
pro Stück
 
 Stück
KI-94: Advances in Artificial Intelligence (1 Angebot) 
This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994.Besides the invited paper "AI approaches towards ...
Springer Verlag
9783540584674
€ 49,99*
pro Stück
 
 Stück
Formal Techniques in Real-Time and Fault-Tolerant Systems (1 Angebot) 
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (...
Springer Verlag
9783540584681
€ 99,99*
pro Stück
 
 Stück
Grammatical Inference and Applications (1 Angebot) 
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selec...
Springer Verlag
9783540584735
€ 49,99*
pro Stück
 
 Stück
Computers for Handicapped Persons (1 Angebot) 
This volume presents the proceedings of the 4th International Conference on Computers for Handicapped Persons (ICCHP '94), held in Vienna, Austria in September 1994. ICCHP '94 was organized by the ...
Springer Verlag
9783540584766
€ 49,99*
pro Stück
 
 Stück
Evolutionary Computing (1 Angebot) 
This volume is based on the Workshop on Evolutionary Computing held in Leeds, U.K. in April 1994 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of Beha...
Springer Verlag
9783540584834
€ 49,99*
pro Stück
 
 Stück
Parallel Problem Solving from Nature - PPSN III (1 Angebot) 
This volume comprises the 61 revised refereed papers accepted for presentation at the ICEC/PPSN III conferences held jointly in Jerusalem, Israel in October 1994.With the appearance of more and mor...
Springer Verlag
9783540584841
€ 99,99*
pro Stück
 
 Stück
A Future for Knowledge Acquisition (1 Angebot) 
This volume comprises a selection of the key papers presented at the Eighth European Knowledge Acquisition Workshop (EKAW '94), held in Hoegaarden, Belgium in September 1994.The book demonstrates t...
Springer Verlag
9783540584872
€ 49,99*
pro Stück
 
 Stück
Multimedia: Advanced Teleservices and High-Speed Communication Architectures (1 Angebot) 
This volume contains the proceedings of the Second International Workshop on Advanced Teleservices and High-Speed Communication Architectures (IWACA '94), held in Heidelberg, Germany in September 1...
Springer Verlag
9783540584940
€ 49,99*
pro Stück
 
 Stück
Methodologies for Intelligent Systems (1 Angebot) 
This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA ...
Springer Verlag
9783540584957
€ 99,99*
pro Stück
 
 Stück
Distributed Programming Paradigms with Cryptography Applications (1 Angebot) 
This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution...
Springer Verlag
9783540584964
€ 49,99*
pro Stück
 
 Stück
FME '94: Industrial Benefit of Formal Methods (1 Angebot) 
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage r...
Springer Verlag
9783540585558
€ 99,99*
pro Stück
 
 Stück
Informatiker in der Wirtschaft (1 Angebot) 
Die Informatiker sind eine Berufsgruppe mit sehr hohen Zuwachsraten. Sie gelten als die Protagonisten der häufig prognostizierten Informationsgesellschaft. Erstmals liegt nun eine umfassende empiri...
Springer Verlag
9783540585572
€ 46,68*
pro Stück
 
 Stück
Reduktionssysteme (1 Angebot) 
0 Einleitung.- 0.1 Motivation.- 0.2 Termersetzungssysteme und abstrakte Datentypen.- 1 Abstrakte Reduktionssysteme.- 1.1 Definitionen und erste Ergebnisse.- 1.2 Konfluenz und die Church-Rosser-Eige...
Springer Verlag
9783540585596
€ 51,39*
pro Stück
 
 Stück
vorwärts
Artikel pro Seite: 10   15   20   50   100    Seite: zurück   1   ..   661   662   663   664   665   666   667   668   669   670   671   ..   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.