Pdf Download Last Added

Search in column Title Author Publisher......

1- 2- 3- 4- 5- 6- 7- 8- 9- 10- 11- 12- 13- 14- 15- 16- 17- 18- 19- 20- 21- 22- 23- 24- 25- 26- 27- 28- 29- 30- 31- 32- 33- 34- 35- 36- 37- 38- 39- 40- 41- 42- 43- 44- 45- 46- 47- 48- 49- 50- 51- 52- 53- 54- 55- 56- 57- 58- 59- 60- 61- 62- 63- 64- 65- 66- 67- 68- 69- 70- 71- 72- 73- 74- 75- 76- 77- 78- 79- 80- 81- 82- 83- 84- 85- 86- 87- 88- 89- 90- 91- 92- 93- 94- 95- 96- 97- 98- 99- 100- 101- 102- 103- 104- 105- 106- 107- 108- 109- 110- 111- 112- 113- 114- 115- 116- 117- 118- 119- 120- 121- 122- 123- 124- 125- 126- 127- 128- 129- 130- 131- 132- 133- 134- 135- 136- 137- 138- 139- 140- 141- 142- 143- 144- 145- 146- 147- 148- 149- 150- 151- 152- 153- 154- 155- 156- 157- 158- 159- 160- 161- 162- 163- 164- 165- 166- 167- 168- 169- 170- 171- 172- 173- 174- 175- 176- 177- 178- 179- 180- 181- 182- 183- 184- 185- 186- 187- 188- 189- 190- 191- 192- 193- 194- 195- 196- 197- 198- 199- 200- 201- 202- 203- 204- 205- 206- 207- 208- 209- 210- 211- 212- 213- 214- 215- 216- 217- 218- 219- 220- 221- 222- 223- 224- 225- 226- 227- 228- 229- 230- 231- 232- 233- 234- 235- 236- 237- 238- 239- 240- 241- 242- 243- 244- 245- 246- 247- 248- 249- 250- 251- 252- 253- 254- 255- 256- 257- 258- 259- 260- 261- 262- 263- 264- 265- 266- 267- 268- 269- 270- 271- 272- 273- 274- 275- 276- 277- 278- 279- 280- 281- 282- 283- 284- 285- 286- 287- 288- 289- 290- 291- 292- 293- 294- 295- 296- 297- 298- 299- 300- 301- 302- 303- 304- 305- 306- 307- 308- 309- 310- 311- 312- 313- 314- 315- 316- 317- 318- 319- 320- 321- 322- 323- 324- 325- 326- 327- 328- 329- 330- 331- 332- 333- 334- 335- 336- 337- 338- 339- 340- 341- 342- 343- 344- 345- 346- 347- 348- 349- 350- 351- 352- 353- 354- 355- 356- 357- 358- 359- 360- 361- 362- 363- 364- 365- 366- 367- 368- 369- 370- 371- 372- 373- 374- 375- 376- 377- 378- 379- 380- 381- 382- 383- 384- 385- 386- 387- 388- 389- 390- 391- 392- 393- 394- 395- 396- 397- 398- 399- 400- 401- 402- 403- 404- 405- 406- 407- 408- 409- 410- 411- 412- 413- 414- 415- 416- 417- 418- 419- 420- 421- 422- 423- 424- 425- 426- 427- 428- 429- 430- 431- 432- 433- 434- 435- 436- 437- 438- 439- 440- 441- 442- 443- 444- 445- 446- 447- 448- 449- 450- 451- 452- 453- 454- 455- 456- 457- 458- 459- 460- 461- 462- 463- 464- 465- 466- 467- 468- 469- 470- 471- 472- 473- 474- 475- 476- 477- 478- 479- 480- 481- 482- 483- 484- 485- 486- 487- 488- 489- 490- 491- 492- 493- 494- 495- 496- 497- 498- 499- 500- 501- 502- 503- 504- 505- 506- 507- 508- 509- 510- 511- 512- 513- 514- 515- 516- 517- 518- 519- 520- 521- 522- 523- 524- 525- 526- 527- 528- 529- 530- 531- 532- 533- 534- 535- 536- 537- 538- 539- 540- 541- 542- 543- 544- 545- 546- 547- 548- 549- 550- 551- 552- 553- 554- 555- 556- 557- 558- 559- 560- 561- 562- 563- 564- 565- 566- 567- 568- 569- 570- 571- 572- 573- 574- 575- 576- 577- 578- 579- 580- 581- 582- 583- 584- 585- 586- 587- 588- 589- 590- 591- 592- 593- 594- 595- 596- 597- 598- 599- 600- 601- 602- 603- 604- 605- 606- 607- 608- 609- 610- 611- 612- 613- 614- 615- 616- 617- 618- 619- 620- 621- 622- 623- 624- 625- 626- 627- 628- 629- 630- 631- 632- 633- 634- 635- 636- 637- 638- 639- 640- 641- 642- 643- 644- 645- 646- 647- 648- 649- 650- 651- 652- 653- 654- 655- 656- 657- 658- 659- 660- 661- 662- 663- 664- 665- 666- 667- 668-
< < < PREV | NEXT > > >
#Title
188001. Graphik und KI: GI-Fachgespräch Königswinter, 3./4. April 1990. Proceedings
188002. Cycles and Rays
188003. Jugendliche Computer-Fans: Stubenhocker oder Pioniere?: Biographieverläufe und Interaktionsformen
188004. Complexity Theory Retrospective: In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988
188005. The Modula-2 Software Component Library
188006. Sprecherunabhängigkeit und Sprecheradaption: Lösungsansätze für das Problem des Sprecherwechsels bei der automatischen Spracherkennung
188007. Sicherheit in netzgestützten Informationssystemen: Proceedings des BIFOA-Kongresses SECUNET ’90
188008. Analysis and Interpretation of Range Images
188009. Introduction to Programming with Modula-2
188010. Knowledge, Data and Computer-Assisted Decisions
188011. Softwaretechnik: Methodisches Programmieren im Großen
188012. SAS — Eine anwendungsorientierte Einführung
188013. CONPAR 90 — VAPP IV: Joint International Conference on Vector and Parallel Processing Zurich, Switzerland, September 10–13, 1990 Proceedings
188014. Catalogue of Artificial Intelligence Techniques
188015. Applied and Industrial Mathematics: Venice - 1, 1989
188016. Datenverwaltung in verteilten Systemen: Grundlagen und Lösungskonzepte
188017. Computation of Curves and Surfaces
188018. The Collected Works of J. Richard Büchi
188019. CG International ’90: Computer Graphics Around the World
188020. Advances in Cryptology — CRYPTO’ 88: Proceedings
188021. Fuzzy Sets in Information Retrieval and Cluster Analysis
188022. Modellierung und Leistungsbewertung Lokaler Hochgeschwindigkeitsnetze
188023. Visualization in Supercomputing
188024. Adventure in Prolog
188025. Informationstechnische Grundbildung dBASE: Mit vollständiger Referenzliste
188026. Parallele Implementierung funktionaler Programmiersprachen
188027. Entwurf und Betrieb verteilter Systeme: Fachtagung der Sonderforschungsbereiche 124 und 182, Dagstuhl, 19.–21. September 1990, Proceedings
188028. Massiv parallele Programmierung mit dem Parallaxis-Modell
188029. Einführung in die Programmiersprache Modula-2
188030. Photogrammetrische Erfassung Räumlicher Informationen aus Videobildern
188031. Entwurf Graphischer Benutzerschnittstellen: Ein objektorientiertes Interaktionsmodell zur Spezifikation graphischer Dialoge
188032. Programmentwicklung und Verifikation
188033. Numerical Determination of the Electronic Structure of Atoms, Diatomic and Polyatomic Molecules
188034. Studien- und Forschungsführer Informatik
188035. MS-DOS-Wegweiser Grundkurs: für IBM PC und Kompatible unter MS-DOS bis Version 4.0
188036. Entwicklung und Einsatz von Expertensystemen: Eine anwendungsorientierte Einführung in wissensbasierte Systeme
188037. Fuzzy Relation Equations and Their Applications to Knowledge Engineering
188038. Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
188039. The Illusion of Reality
188040. AutoCAD — Grundkurs: Lehr- und Übungsbuch
188041. APL2-Handbuch
188042. An Introduction to Default Logic
188043. Computation, Logic, Philosophy: A Collection of Essays
188044. Algorithm Synthesis: A Comparative Study
188045. Informationstechnische Grundbildung Multiplan
188046. Konzepte der Betriebssysteme
188047. Approximative Public-Key-Kryptosysteme
188048. Mustererkennung 1989: 11. DAGM-Symposium Hamburg, 2.–4. Oktober 1989 Proceedings
188049. Advances in Computer Graphics V
188050. Semantik von Programmiersprachen
188051. Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
188052. Effektiv Programmieren in C: Eine Einführung in die Programmiersprache
188053. Programming Languages Implementation and Logic Programming: International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings
188054. The Ada® Generic Library: Linear List Processing Packages
188055. The Structure of the Relational Database Model
188056. Polymers in Information Storage Technology
188057. Software Engineering und Prototyping: Eine Konstruktionslehre für administrative Softwaresysteme
188058. Turbo-Pascal griffbereit: Alle Turbo-Pascal-Versionen einschließlich 5.5
188059. Künstliche Intelligenz: 7. Frühjahrsschule, KIFS-89, Günne, 11.–19. März 1989. Proceedings
188060. Machine Learning, Meta-Reasoning and Logics
188061. Computers, Brains and Minds: Essays in Cognitive Science
188062. Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
188063. Cellular Automata and Modeling of Complex Physical Systems: Proceedings of the Winter School, Les Houches, France, February 21–28, 1989
188064. Newton’s Method and Dynamical Systems
188065. Open System Architecture for CIM
188066. Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings
188067. User Models in Dialog Systems
188068. Software-Diversität und ihre Modellierung: Software-Fehlertoleranz und ihre Bewertung durch Fehler- und Kostenmodelle
188069. Algebraic Specifications in Software Engineering: An Introduction
188070. System- und Signaltheorie: Grundlagen für das informationstechnische Studium
188071. Recent Issues in Pattern Analysis and Recognition
188072. Bayesian Approach to Global Optimization: Theory and Applications
188073. GFA-Basic-Wegweiser-Komplettkurs
188074. Desktop als Mensch-Maschine-Schnittstelle
188075. 5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings
188076. Informatik und Schule 1989: Zukunftsperspektiven der Informatik für Schule und Ausbildung: GI-Fachtagung, München, 15.–17. November 1989 Proceedings
188077. Concrete and Abstract Voronoi Diagrams
188078. Visualisierung in Mathematik und Naturwissenschaften: Bremer Computergraphik-Tage 1988
188079. Informationstechnische Grundbildung Turbo Pascal: Mit vollständiger Referenzliste
188080. APL Programs for the Mathematics Classroom
188081. Theory and Practice of Geometric Modeling
188082. Dynamic Interactions in Neural Networks: Models and Data
188083. Parcella '88: Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays Berlin, GDR, October 17–21, 1988 Proceedings
188084. TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
188085. Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
188086. Algorithms and Model Formulations in Mathematical Programming
188087. Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
188088. Lotus 1-2-3 Version 3: Eine praxisgerechte, schrittweise Einführung
188089. Human and Machine Problem Solving
188090. New Advances in Computer Graphics: Proceedings of CG International ’89
188091. Datenbanksysteme in Büro, Technik und Wissenschaft: GI/SI-Fachtagung Zürich, 1.–3. März 1989 Proceedings
188092. Modified Branching Programs and Their Computational Power
188093. Mikrocomputer-Pools in der Lehre: Eine fachübergreifende Zwischenbilanz des Computer-Investitions-Programms (CIP)
188094. Spielbaum-Suchverfahren
188095. Komplexitätstheorie: als Instrument zur Klassifizierung und Beurteilung von Problemen des Operations Research
188096. Ignorance and Uncertainty: Emerging Paradigms
188097. State-of-the-art in Computer Animation: Proceedings of Computer Animation ’89
188098. Using Toolpack Software Tools: Proceedings of the Ispra-Course held at the Joint Research Centre, Ispra, Italy, 17–21 November 1986
188099. Resolving Semantic Ambiguity
188100. Operations Research Proceedings 1988: DGOR Papers of the 17th Annual Meeting / Vorträge der 17. Jahrestagung
188101. Wissensbasierte Systeme: 3. Internationaler GI-Kongreß München, 16.–17. Oktober 1989 Proceedings
188102. PEARL 89 — Workshop über Realzeitsysteme: 10. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA Boppard, 7./8. Dezember 1989 Proceedings
188103. Computers in Art, Design and Animation
188104. Turbo Pascal 5.0-Wegweiser Kompaktkurs
188105. OS/2 für Anwender und Systementwickler: Mit einem Geleitwort der IBM Deutschland
188106. Decision Support Assistant: Ein Konzept für ein Software-Verwaltungssystem, mit dem vorhandene Software effizient zu leistungsfähigen Entscheidungsunterstützenden Systemen zusammengestellt werden kann
188107. Programmierleitfaden Lotus Symphony: Für alle Versionen einschließlich 2.0 DEUTSCH
188108. Object-Oriented Database Programming
188109. Framework III: Das umfassende Anwenderbuch
188110. Applications of Human Performance Models to System Design
188111. Methoden der digitalen Bildsignalverarbeitung
188112. Turbo Pascal für Ingenieure
188113. Künstliche Intelligenz: 5. Frühjahrsschule, KIFS-87, Günne, 28. März – 5. April 1987 Proceedings
188114. Turbo Pascal 5.0/5.5 Units und Utilities: Die optimale Toolbox für den Profi mit 180 Routinen
188115. Conceptual and Numerical Analysis of Data: Proceedings of the 13th Conference of the Gesellschaft für Klassifikation e. V., University of Augsburg, April 10–12, 1989
188116. Statistical and Scientific Database Management: Fourth International Working Conference SSDBM Rome, Italy, June 21–23, 1988 Proceedings
188117. CAM: Algorithmen und Decision Support für die Fertigungssteuerung
188118. FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank- und Wissensrepräsentationsansätzen
188119. FORTRAN für Ingenieure: Eine Anleitung zum praktischen Gebrauch mit Hinweisen für Leser mit BASIC-Kenntnissen
188120. Graphik in Industrie und Technik
188121. Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications
188122. Philosophical Logic and Artificial Intelligence
188123. Datenkommunikation: Verfahren — Netze — Dienste
188124. The Synthesizer Generator: A System for Constructing Language-Based Editors
188125. Einführung in die Programmiersprache C++
188126. The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing
188127. The Logic of Mind
188128. Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
188129. Informationstechnische Grundbildung MS-DOS
188130. Computers and Mathematics
188131. Chemical Information: Information in Chemistry, Pharmacology and Patents Proceedings of the International Conference, Montreux, Switzerland, September 1989
188132. Turbo Pascal griffbereit: Alle Turbo-Pascal-Versionen einschließlich 5.0
188133. Machine Learning of Natural Language
188134. Veränderung kognitiver Prozesse in Psychoanalysen: 2 Fünf aggregierte Einzelfallstudien
188135. Illumination and Color in Computer Generated Imagery
188136. Professionelles Layout mit PageMaker: Version 3.0
188137. Entwicklung eines Expertensystems für das DV-Controlling
188138. The Modula-2 Software Component Library
188139. Robustness in Identification and Control
188140. Test von OSI-Protokollen
188141. Expert Systems Lab Course
188142. Kommunikation in verteilten Systemen: Grundlagen, Anwendungen, Betrieb ITG/GI-Fachtagung, Stuttgart, 22.–24. Februar 1989 Proceedings
188143. Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI Marburg, 21.–23. Juni 1989 Proceedings
188144. Logic Programming '88: Proceedings of the 7th Conference Tokyo, Japan, April 11–14, 1988
188145. Mikrocomputer-graphik: Eine Unterprogrammsammlung für FORTRAN und GKS
188146. Unternehmenssimulation mit dem PC
188147. The NeWS Book: An Introduction to the Network/Extensible Window System
188148. Konturorientierte Verfahren in der digitalen Bildverarbeitung
188149. Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
188150. Adaptive Control Strategies for Industrial Use: Proceedings of a Workshop Kananaskis, Canada, 1988
188151. Word Perfect Schritt für Schritt: Für alle Versionen bis einschließlich Word Perfect 4.2
188152. Messung, Modellierung und Bewertung von Rechensystemen und Netzen: 5. GI/ITG-Fachtagung Braunschweig, 26.–28. September 1989, Proceedings
188153. Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems: Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings
188154. Analysis of Cache Performance for Operating Systems and Multiprogramming
188155. Prolog Versus You: An Introduction to Logic Programming
188156. Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
188157. Supercomputing
188158. Progress in Mathematical Programming: Interior-Point and Related Methods
188159. Dateien und Datenbanken: Eine anwendungsorientierte Einführung
188160. Automatic Generation of Morphological Set Recognition Algorithms
188161. Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship
188162. ESEC '89: 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings
188163. Power Windows für Fortgeschrittene: Optimierung von Geschwindigkeit und Leistungsvermögen bei Windows 2.0 und Windows/386
188164. Advanced Information Technologies for Industrial Material Flow Systems
188165. Rechneraufbau am konkreten Beispiel: Dargestellt anhand der Macintosh II-Modellreihe
188166. Implementing Health Care Information Systems
188167. Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
188168. Turbo Pascal 5.0 für Naturwissenschaftler und Ingenieure
188169. APL2: Ein erster Einblick
188170. Applications of Computer Technology to Dynamical Astronomy: Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988
188171. Anwenderhandbuch PageMaker: Version 3.0
188172. Verteilte Basisalgorithmen
188173. Advances in Machine Vision
188174. Opportunities and Constraints of Parallel Computing
188175. Datenbankgestützte Repräsentation und Extraktion von Episodenbeschreibungen aus Bildfolgen
188176. Mathematische Grundlagen der Computergraphik
188177. Datenstrukturen und Datenbanken
188178. GI — 19. Jahrestagung II: Computergestützter Arbeitsplatz München, 18.–20. Oktober 1989
188179. The Synthesizer Generator Reference Manual
188180. The Computer Animation Dictionary: Including Related Terms Used in Computer Graphics, Film and Video, Production, and Desktop Publishing
188181. Qualitative Process Theory Using Linguistic Variables
188182. PRODIA und PRODAT: Dialog- und Datenbankschnittstellen für Systementwurfswerkzeuge
188183. Defect and Fault Tolerance in VLSI Systems: Volume 1
188184. Strukturiert Programmieren: Die Methode und ihr praktischer Einsatz zum Selbststudium
188185. The Unnormalized Relational Data Model: For Office Form Processor Design
188186. Excel-Grundlagen der Makroprogrammierung
188187. Introduction to Queuing Theory
188188. Computer in Büro und Verwaltung: Psychologisches Wissen für die Praxis
188189. Supercomputer ’89: Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings
188190. Frauenwelt — Computerräume: Fachtagung, veranstaltet von der Fachgruppe „Frauenarbeit und Informatik“ im Fachbereich 8 der GI Bremen, 21.–24. September 1989
188191. Erfahrung und Berechnung: Kritik der Expertensystemtechnik
188192. Problemlösen durch heuristische Suche in der Artificial Intelligence
188193. TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
188194. Directions in Relevant Logic
188195. UNIX-Werkzeuge zur Textmusterverarbeitung: Awk, Lex und Yacc
188196. Issues in Software Engineering Education
188197. TRON Project 1989: Open-Architecture Computer Systems
188198. CAD mit AutoCAD: Eine umfassende Einführung für alle AutoCAD-Versionen einschließlich 9.0
188199. Learnability and Linguistic Theory
188200. Organisation der Datenverarbeitung an der Schwelle der 90er Jahre: 8. GI-Fachgespräch über Rechenzentren, Düsseldorf, 2.–3. März 1989
188201. Kopplung von Rechnernetzen: Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung
188202. GIS Technologie: Geoinformationssysteme, Landinformationssysteme und ihre Grundlagen
188203. Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
188204. GI — 19. Jahrestagung I: Computergestützter Arbeitsplatz München, 18.–20. Oktober 1989 Proceedings
188205. GWAI-89 13th German Workshop on Artificial Intelligence: Eringerfeld, 18.–22. September 1989
188206. Depth Perception in Frogs and Toads: A Study in Neural Computing
188207. Die InterAktiv-Schulung MS-DOS „So fangen Sie an“: Bookware bietet durch interaktives Arbeiten mit Buch & Lernprogramm den einfachen Weg, mit MS-DOS vertraut zu werden
188208. Triggermechanismen in Datenbanksystemen
188209. Assembler I: Ein Lernprogramm
188210. Parsing Theory. Volume 1: Languages and Parsing
188211. Logo: Jenseits der Turtle
188212. Turbo Basic-Wegweiser Grundkurs
188213. Parallel Programming and Compilers
188214. An Introduction to Formal Language Theory
188215. Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers
188216. Computer-Based Instruction in Military Environments
188217. New Trends in Computer Graphics: Proceedings of CG International ’88
188218. Introduction to Parallel and Vector Solution of Linear Systems
188219. Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz
188220. Advanced Computing Concepts and Techniques in Control Engineering
188221. Mathematics of Kalman-Bucy Filtering
188222. Turbo Prolog — Einführung in die Anwendung
188223. CGM in the Real World
188224. Simulationstechnik: 5. Symposium Simulationstechnik Aachen, 28.–30. September 1988
188225. Geometry and Codes
188226. Parallelrechner-Architekturen: Ansätze für imperative und deklarative Sprachen
188227. Graph-Theoretic Concepts in Computer Science: International Workshop WG '87 Kloster Banz/Staffelstein, FRG, June 29 – July 1, 1987 Proceedings
188228. Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
188229. Überlast in Rechensystemen: Modellierung und Verhinderung
188230. SWAT 88: 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5–8, 1988 Proceedings
188231. Expertensysteme: Nicht nur für Informatiker
188232. Datenbanksysteme für Software-Produktionsumgebungen
188233. Programmieren mit TURBO BASIC
188234. Empirical Foundations of Information and Software Science IV
188235. Künstliche Intelligenz: GWAI-88, 12. Jahrestagung Eringerfeld, 19.–23. September 1988 Proceedings
188236. Systems Analysis and Simulation II: Applications Proceedings of the International Symposium held in Berlin, September 12–16, 1988
188237. Wissensarten und ihre Darstellung: Beiträge aus Philosophie, Psychologie, Informatik und Linguistik
188238. FORTRAN 77 — strukturiert
188239. Programmierleitfaden AutoCAD: Alle Versionen einschließlich 9.0
188240. Modern Cryptology: A Tutorial
188241. Gestalten lernen mit Desktop Publishing: Berichte, Formulare, Schaubilder schnell und gekonnt erstellen
188242. Structural Complexity I
188243. Progress in Medical Imaging
188244. Visualisierungstechniken und Algorithmen: Fachgespräch Wien, 26./27. September 1988, Proceedings
188245. Computing in Horn Clause Theories
188246. Learning Issues for Intelligent Tutoring Systems
188247. Das Gedächtnis: Neurobiologische Grundlagen
188248. Prolog: Eine methodische Einführung
188249. Radon and Projection Transform-Based Computer Vision: Algorithms, A Pipeline Architecture, and Industrial Applications
188250. Dynamische Systeme und Fraktale: Computergrafische Experimente mit Pascal
188251. Lattice-Ordered Groups: An Introduction
188252. Human-Computer Interaction: Psychonomic Aspects
188253. Advances in Petri Nets 1988
188254. Intelligence and Evolutionary Biology
188255. Computers, Jobs, and Skills: The Industrial Relations of Technological Change
188256. Technisch-naturwissenschaftlicher Pascal-Trainer
188257. A Computer Science Reader: Selections from ABACUS
188258. Coordination of Distributed Problem Solvers
188259. Programmieren mit FORTH: Übersetzt und bearbeitet von Peter Monadjemi
188260. Possibility Theory: An Approach to Computerized Processing of Uncertainty
188261. Image Analysis and Processing II
188262. Signal Processing and Pattern Recognition in Nondestructive Evaluation of Materials
188263. ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
188264. Ein praktischer Führer für das Datenbank-Management
188265. Empirische Software-Ergonomie: Zur Gestaltung benutzergerechter Mensch-Computer-Dialoge
188266. Computer Games I
188267. Funktioneller Test der Auflösung von Zugriffskonflikten in Mehrrechnersystemen
188268. CAD Based Programming for Sensory Robots
188269. Surfaces in Range Image Understanding
188270. UNIX: Eine Einführung in Begriffe und Kommandos von UNIX — Version 7, bis System V.3
188271. Machine Learning of Robot Assembly Plans
188272. Computer Simulation and Computer Algebra: Lectures for Beginners
188273. Generalized Functions, Convergence Structures, and Their Applications
188274. Computergestütztes Publizieren im praktischen Einsatz: Erfahrungen und Perspektiven
188275. Advances in Cryptology — CRYPTO ’87: Proceedings
188276. SPSSx für Anfänger: Eine Einführung in das Datenanalysesystem
188277. Personal Computer in Labor, Versuchs- und Prüffeld: Der PC als Hilfsmittel bei der Erfassung, Verarbeitung und Darstellung von Meßdaten
188278. Dealing with Complexity: An Introduction to the Theory and Application of Systems Science
188279. A Theory of Heuristic Information in Game-Tree Search
188280. Computerlinguistik und ihre theoretischen Grundlagen: Symposium, Saarbrücken, 9.–11. März 1988 Proceedings
188281. Grundlagen der Informatik: für das Nebenfachstudium
188282. Turbo Pascal unter MS-DOS
188283. Algorithms for Games
188284. Rechtsprechung und Computer in den neunziger Jahren: Am Beispiel von Begriff und Typologie der Körperschaft des öffentlichen Rechts
188285. Neural Computers
188286. Generierung portabler Compiler: Das portable System POCO
188287. Systems Analysis and Simulation I: Theory and Foundations
188288. Lotus Symphony: Schritt für Schritt
188289. Search in Artificial Intelligence
188290. GI — 18. Jahrestagung: Vernetzte und komplexe Informatik-Systeme Hamburg 17.–19. Oktober 1988 Proceedings
188291. Begründungsverwaltung: Beiträge zu einem Workshop über Reason Maintenance Berlin, 9. Oktober 1986 Proceedings
188292. Advances in Cryptology — EUROCRYPT ’88: Workshop on the Theory and Application of Cryptographic Techniques Davos, Switzerland, May 25–27, 1988 Proceedings
188293. Japanese Supercomputing: Architecture, Algorithms, and Applications
188294. Theoretical Foundations of Computer Graphics and CAD
188295. Computer-Aided Production Management
188296. Assembler III: Ein Lernprogramm
188297. Innovative Informations-Infrastrukturen: Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG I.I.I. - Forum, Saarbrücken, 12.–13. Oktober 1988 Proceedings
188298. Siedlungswasserwirtschaftliche Planungsmodelle: Methoden und Beispiele
188299. Kollisionsfreie Bahnen für Industrieroboter: Ein Planungsverfahren
188300. Dependence Analysis for Supercomputing
188301. Scientific Computation with Automatic Result Verification
188302. Programmiermethoden der Künstlichen Intelligenz
188303. Rechnerstrukturen und Rechnerarchitekturen
188304. Confluent String Rewriting
188305. The UNIX™ System Guidebook
188306. Desktop Publishing mit dem HP LaserJet: Anwendungen mit Word, Windows, PageMaker und Ventura Publisher
188307. Mathematical Models for Decision Support
188308. Mathematics and Computer Science in Medical Imaging
188309. Computer Integrated Manufacturing: Current Status and Challenges
188310. Graphik im Bürobereich: GI-Fachgespräch Bad Honnef, 29./30. November 1988 Proceedings
188311. Pascal: Lehrbuch für strukturiertes Programmieren
188312. Computer Chess Compendium
188313. Rechenstrukturen und Geometrie mit LOGO
188314. Simulated Annealing for VLSI Design
188315. CAD für Architekten: Hardwaregrundlagen, Softwaregrundlagen, 2 D-Arbeitstechniken, 3 D-Arbeitstechniken, CAD-Übungen
188316. VDM '88 VDM — The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings
188317. Benutzergerechte Software-Entwicklung
188318. Software Engineering in C
188319. Software Engineering Education: SEI Conference 1988 Fairfax, Virginia, USA, April 28–29, 1988 Proceedings
188320. Excel unter Windows: Eine anwenderorientierte Einführung mit dem PC
188321. Optimization, Parallel Processing and Applications: Proceedings of the Oberwolfach Conference on Operations Research, February 16–21, 1987 and the Workshop on Advanced Computation Techniques, Parallel Processing and Optimization Held at Karlsruhe, West Germany, February 22–25, 1987
188322. Prolog by Example: How to Learn, Teach and Use It
188323. Assembler IV: Supplement zum Lernprogramm
188324. CGM and CGI: Metafile and Interface Standards for Computer Graphics
188325. Real-Time Object Measurement and Classification
188326. Automating Systems Development
188327. Anticipating and Assessing Health Care Technology: Computer Assisted Medical Imaging The Case of Picture Archiving and Communications Systems (PACS) A report, commissioned by the Steering Committee on Future Health Scenarios
188328. Chemical Structures: The International Language of Chemistry
188329. Social Science Research on CAD/CAM: Results of a First European Workshop
188330. Entwurf betrieblicher Datenelemente: Ein Weg zur Integration von Informationssystemen
188331. Numerical Geology: A Source Guide, Glossary and Selective Bibliography to Geological Uses of Computers and Statistics
188332. Datenbank-Design
188333. Austrographics ’88: Aktuelle Entwicklungen in der Graphischen Datenverarbeitung Fachtagung, Wien, 28.–30. September 1988
188334. Einführung in die Programmiersprache Ada
188335. Turbo C-Wegweiser Grundkurs
188336. Database Machines and Knowledge Base Machines
188337. An APL Compiler
188338. Desktop Publishing: Anwendungen, Erfahrungen, Prognosen
188339. Advances in Cryptology — EUROCRYPT’ 87: Workshop on the Theory and Application of Cryptographic Techniques Amsterdam, The Netherlands, April 13–15, 1987 Proceedings
188340. Expert System Applications
188341. Hector Heterogeneous Computers Together A Joint Project of IBM and the University of Karlsruhe: Volume II: Basic Projects
188342. Probleme und Lösungen mit Turbo-Prolog: Logikaufgaben Sortierprogramme Auswerfen von Datenbanken Variationen von Bäumen
188343. An Introduction to TCP/IP
188344. Angewandte Regressionsanalyse mit SPSS
188345. OS/2 griffbereit
188346. Realistische Computergraphik: Algorithmen, Datenstrukturen und Maschinen
188347. Architektur und Betrieb von Rechensystemen: 10. GI/ITG-Fachtagung Paderborn, 9.–11. März 1988 Proceedings
188348. Grundbegriffe der Theoretischen Informatik
188349. Informatikanwendungen im Umweltbereich: 2. Symposium Karlsruhe, 9./10. November 1987
188350. Learning Search Control Knowledge: An Explanation-Based Approach
188351. Standard Relational and Network Database Languages
188352. Reflexive Structures: An Introduction to Computability Theory
188353. Einführung in die Programmiersprache COBOL: Eine Anleitung zum „Strukturierten Programmieren“
188354. 4. Österreichische Artificial-Intelligence-Tagung: Wiener Workshop Wissensbasierte Sprachverarbeitung Wien, 29.–31. August 1988 Proceedings
188355. Aufbaukurs MS-DOS: Das Microsoft-Handbuch zum professionellen Programmieren für den fortgeschrittenen Anwender
188356. Automating Knowledge Acquisition for Expert Systems
188357. Non-Standard Datenbanken für Anwendungen der Graphischen Datenverarbeitung: GI-Fachgespräch, Dortmund, 21./22. März 1988
188358. Programming in Modula-2
188359. Natural Language Generation Systems
188360. Hector: Heterogeneous Computers Together. A Joint Project of IBM and the University of Karlsruhe, Volume I: New Ways in Education and Research
188361. Das große WORD 4.0 Buch: Eine praxisgerechte Beschreibung aller Anwendungsmöglichkeiten für den anspruchsvollen Benutzer
188362. Vernetzte und komplexe Informatik-Systeme: Industrieprogramm zur 18. Jahrestagung der Gesellschaft für Informatik, Hamburg, 18./19. Oktober 1988. Proceedings
188363. Einführung in die Programmiersprache Modula 2
188364. Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987
188365. Informatik und „Dritte Welt“: Berichte und Analysen
188366. The Architectural Logic of Database Systems
188367. Einführung in die Methode des Jackson Structured Programming (JSP)
188368. Attributierte Grammatiken und Attributierungsalgorithmen
188369. Prozeßrechensysteme ’88: Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik. Stuttgart, 2.–4. März 1988. Proceedings
188370. Nonsequential Processes: A Petri Net View
188371. The Alphabet and the Brain: The Lateralization of Writing
188372. Recent Advances in Speech Understanding and Dialog Systems
188373. Data Organization in Parallel Computers
188374. Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge
188375. Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
188376. Synchronisation in Mehrrechner-Datenbanksystemen: Konzepte, Realisierungsformen und quantitative Bewertung
188377. Einführung in Expertensysteme
188378. Assembler II: Ein Lernprogramm
188379. CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings
188380. Algorithms and Order
188381. Philosophy, Language, and Artificial Intelligence: Resources for Processing Natural Language
188382. Aufbau und Arbeitsweise von Rechenanlagen: Eine Einführung in Rechnerarchitektur und Rechnerorganisation für das Grundstudium der Informatik
188383. Multiplan 3.0
188384. Knowledge, Skill and Artificial Intelligence
188385. Graphgrammatiken in der Softwaretechnik: Theorie und Anwendungen
188386. Data Types and Persistence
188387. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
188388. LISP Lore: A Guide to Programming the LISP Machine
188389. Rechensysteme: Grundlagen der Modellbildung
188390. Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen: Fachtagung EMISA, Linz, 2. und 3. Juli 1987. Proceedings
188391. Mikrocomputerfibel: Vom 8-bit-Chip zum Grundsystem
188392. Advances in Cryptology — CRYPTO’ 86: Proceedings
188393. TRON Project 1987 Open-Architecture Computer Systems: Proceedings of the Third TRON Project Symposium
188394. Finite Element Methods in CAD: Electrical and Magnetic Fields
188395. The Psychophysics of Speech Perception
188396. Taming the Tiger: Software Engineering and Software Economics
188397. Diagnostisches Problemlösen mit Expertensystemen
188398. Transactions of the Tenth Prague Conference on Information Theory, Statistical Decision Functions, Random Processes: held at Prague, from July 7 to 11, 1986
188399. dBASE III Software Training
188400. Computational Models of Learning
188401. Expert Judgment and Expert Systems
188402. Mechanismen zur Synchronisation paralleler Prozesse
188403. A Guide to Simulation
188404. Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions
188405. Three-Dimensional Computer Vision
188406. MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics
188407. Mikrocomputer-COBOL: Einführung in die Dialog-orientierte COBOL-Programmierung am Mikrocomputer
188408. WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology: Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2–4, 1986
188409. From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
188410. Computer Graphics Programming: GKS — The Graphics Standard
188411. Natural Language Generation: New Results in Artificial Intelligence, Psychology and Linguistics
188412. Computer Aided Optimal Design: Structural and Mechanical Systems
188413. Kognitive Strukturen des Sprachverstehens
188414. PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
188415. Entwurf und Realisierung eines Multiprozessors: Das System „Heidelberger POLYP“
188416. Assignment Problems in Parallel and Distributed Computing
188417. Sprachkonzepte für benutzergerechte Systeme
188418. ANNA A Language for Annotating Ada Programs
188419. Temporal Logic of Programs
188420. LOGO? LOGO!: Ein Programmierbuch
188421. GKS Theory and Practice
188422. Use and Impact of Computers in Clinical Medicine
188423. Supercomputer Architecture
188424. Datenbanksysteme in Büro, Technik und Wissenschaft: GI-Fachtagung Darmstadt, 1.–3. April 1987 Proceedings
188425. The Simulator GPSS-FORTRAN Version 3
188426. Information Systems: Failure Analysis
188427. Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
188428. Unobstructed Shortest Paths in Polyhedral Environments
188429. Fuzzy Sets, Decision Making, and Expert Systems
188430. Turbo Pascal Tools: Mathematische Verfahren und Programmroutinen zur Auswertung experimenteller Daten
188431. The Perception of Illusory Contours
188432. Pattern Recognition Theory and Applications
188433. Semigroups and Their Applications: Proceedings of the International Conference “Algebraic Theory of Semigroups and Its Applications” held at the California State University, Chico, April 10–12, 1986
188434. Fundamentals of Computation Theory: International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings
188435. Algorithms in Combinatorial Geometry
188436. Modelling, Robustness and Sensitivity Reduction in Control Systems
188437. ECOOP’ 87 European Conference on Object-Oriented Programming: Paris, France, June 15–17, 1987 Proceedings
188438. Receptor-Receptor Interactions: A New Intramembrane Integrative Mechanism
188439. Advances in Multivariate Statistical Analysis: Pillai Memorial Volume
188440. Intelligent CAD Systems I: Theoretical and Methodological Aspects
188441. Programmieren mit UNIX: Eine Einführung in das Betriebssystem
188442. Software Engineering Education: The Educational Needs of the Software Community
188443. Methoden und Modelle des Operations Research: Für Ingenieure, Ökonomen und Informatiker
188444. Translating Relational Queries into Iterative Programs
188445. Concurrency and Nets: Advances in Petri Nets
188446. Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung
188447. UNIX für Führungskräfte: Ein umfassender Überblick
188448. Programming in Prolog
188449. Theseus: Die Benutzungsoberfläche der UNIBASE-Softwareentwicklungsumgebung
188450. Probabilistic Analysis of Algorithms: On Computing Methodologies for Computer Algorithms Performance Evaluation
188451. Visual Languages
188452. Parallel Execution of Logic Programs
188453. Graph-Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
188454. Die Konfigurierung modular aufgebauter Datenbanksysteme
188455. The Organization of Perception and Action: A Theory for Language and Other Cognitive Skills
188456. The Knowledge Frontier: Essays in the Representation of Knowledge
188457. Probability and Bayesian Statistics
188458. The Formal Complexity of Natural Language
188459. Murmeltierwelt und Pascal: Eine Einführung in das strukturierte Programmieren
188460. Distributed Operating Systems: Theory and Practice
188461. A Connectionist Machine for Genetic Hillclimbing
188462. The Upper Layers of Open Systems Interconnection: Proceedings of the Second International Symposium on Interoperability of ADP Systems, The Hague, The Netherlands, 25–29 March 1985
188463. Mustererkennung 1987: 9. DAGM-Symposium, Braunschweig, 29.9.–1.10.1987. Proceedings
188464. Kryptologie: Eine Einführung in die Wissenschaft vom Verschlüsseln, Verbergen und Verheimlichen. Ohne alle Geheimniskrämerei, aber nicht ohne hinterlistigen Schalk, dargestellt zu Nutzen und Ergötzen des allgemeinen Publikums
188465. Generierung von Worthypothesen in kontinuierlicher Sprache
188466. PasRo: Pascal and C for Robots
188467. Synchronisation in zentralisierten Datenbanksystemen: Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse
188468. Database Machine Performance: Modeling Methodologies and Evaluation Strategies
188469. The Evolution of Fault-Tolerant Computing: In the Honor of William C. Carter
188470. Skill Acquisition Rates and Patterns: Issues and Training Implications
188471. Parallel Computation and Computers for Artificial Intelligence
188472. Computer Graphics 1987: Proceedings of CG International ’87
188473. Computation Mathematical Programming
188474. Simulated Annealing: Theory and Applications
188475. Windows Software Training
188476. Programmierpraxis SHARP PC-1350
188477. Messung, Modellierung und Bewertung von Rechensystemen: 4. GI/ITG-Fachtagung Erlangen, 29. September – 1. Oktober 1987. Proceedings
188478. Studien- und Forschungsführer Künstliche Intelligenz
188479. An Expert Systems Approach to Computer-Aided Design of Multivariable Systems
188480. Das Desktop Publishing Handbuch: Satz und Grafik mit Personalcomputer und Laserdrucker
188481. 3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987
188482. Die Wissensrepräsentationssprache OPS5: Sprachbeschreibung und Einführung in die regelorientierte Programmierung
188483. Image Synthesis: Theory and Practice
188484. Erweiterung relationaler Datenbanksysteme für technische Anwendungen
188485. IBM Personal System/2: Beschreibung Einsatz Anwendung Technische Details
188486. Textgenerierung aus visuellen Daten: Beschreibungen von Straßenszenen
188487. Model Construction with GPSS-FORTRAN Version 3
188488. Festplatten-Wegweiser: für IBM PC und Kompatible unter MS-DOS
188489. Advances in Petri Nets 1987
188490. Projektleiter-Praxis: Erfolgreiche Projektabwicklung durch verbesserte Kommunikation und Kooperation
188491. GWAI-87 11th German Workshop on Artifical Intelligence: Geseke, September 28–October 2, 1987 Proceedings
188492. Statistics with Vague Data
188493. Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
188494. GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro: München, 20.–23. Oktober 1987. Proceedings
188495. Computability
188496. Design of Office Information Systems
188497. Lotus 1-2-3: Schritt für Schritt
188498. STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings
188499. Numerical Integration: Recent Developments, Software and Applications
188500. Machine Intelligence and Knowledge Engineering for Robotic Applications
188501. Bildanalyse allgemeiner Dokumente
188502. Einführung in die Anwendung des Betriebssystems Apple DOS (Apple II)
188503. Topics in the General Theory of Structures
188504. Automated Theorem Proving
188505. Cytochrome Systems: Molecular Biology and Bioenergetics
188506. Expertensystem-Praktikum
188507. Wissensbasierte Systeme: 2. Internationaler GI-Kongreß München, 20./21. Oktober 1987
188508. Empirical Foundations of Information and Software Science III
188509. PARLE Parallel Architectures and Languages Europe: Volume I: Parallel Architectures Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
188510. Organisation und Betrieb der verteilten Datenverarbeitung: 7. GI-Fachgespräch über Rechenzentren, München, 5.–6. März 1987
188511. Software-Entwicklung in der Chemie 1: Proceedings des Workshops „Computer in der Chemie“ Hochfilzen/Tirol 19.–21. November 1986
188512. Optical Fiber Sensors
188513. PLOTGRAF: Ein Programmpaket zur Darstellung ein- und mehrdimensionaler Grafiken für den Apple II
188514. SAS für Anfänger: Einführung in das Programmsystem
188515. Systemdynamik: Grundwissen, Methoden und BASIC-Programme zur Simulation dynamischer Systeme
188516. Sprachverarbeitung mit LISP und PROLOG auf dem PC
188517. The World of Programming Languages
188518. VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
188519. Pascal: Algebra — Numerik — Computergraphik
188520. Memory Performance of Prolog Architectures
188521. Transactions of the Tenth Prague Conference: Information Theory, Statistical Decision Functions, Random Processes held at Prague Volume A
188522. Knowledge Acquisition for Expert Systems: A Practical Handbook
188523. Grafik mit dem HP-41: Statistische Grafik Koordinatensysteme Darstellung von Funktionen Schrift
188524. The Munich Project CIP: Volume II: The Program Transformation System CIP-S
188525. Einführung in die Programmierung mit Modula-2
188526. The Art of C Programming
188527. Rasterbild — Bildraster: Anwendung der Graphischen Datenverarbeitung zur geometrischen Analyse eines Meisterwerks der Renaissance: Raffaels ‘Schule von Athen‚
188528. Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung
188529. Pyramidal Systems for Computer Vision
188530. Linguistische Datenverarbeitung: Ein Lehrbuch
188531. Application Development Systems: The Inside Story of Multinational Product Development
188532. Datenfernübertragung: Einführende Grundlagen zur Kommunikation offener Systeme
188533. Pictorial Information Systems in Medicine
188534. Mikrocomputer-Interfacefibel
188535. Catalogue of Artificial Intelligence Tools
188536. Introduction to FORTRAN 77
188537. Designing Computer-Based Learning Materials
188538. Fairness
188539. Disequilibrium and Self-Organisation
188540. Power, Autonomy, Utopia: New Approaches Toward Complex Systems
188541. Advances in Petri Nets 1985
188542. Applied Algebra, Algorithmics and Error-Correcting Codes: 2nd International Conference, AAECC-2 Toulouse, France, October 1–5, 1984 Proceedings
188543. Foundations of Business Telecommunications Management
188544. A Natural Language Interface for Computer-Aided Design
188545. Safeguards Systems Analysis: With Applications to Nuclear Material Safeguards and Other Inspection Problems
188546. Pascal Tools: Strukturierte Programmierung mit Beispielen zur Textverarbeitung
188547. On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies
188548. Informatik-Grundbildung in Schule und Beruf: GI-Fachtagung, Kaiserslautern, 29. September–1. Oktober 1986 Proceedings
188549. ICDT '86: International Conference on Database Theory Rome, Italy, September 8–10, 1986 Proceedings
188550. Software System Design Methods: The Challenge of Advanced Computing Technology
188551. ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings
188552. Lisp Lore: A Guide to Programming the Lisp Machine
188553. Specification of a CAD*I Neutral File for Solids: Version 2.1
188554. Advances in Computer Graphics I
188555. Pascal mit der Turtle: Einführung in die Anwendung von UCSD-Pascal
188556. GLIM: Verallgemeinerte lineare Modelle
188557. Lehr- und Übungsbuch für die Rechner SHARP PC-1246/47, PC-1251, PC-1260/61, PC-1350, PC-1401/02
188558. Der Mikroprozessor 6809
188559. CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings
188560. Simulationen in BASIC mit dem IBM PC, XT, AT: Astronomie, Biologie, Chemie und Dokumentationen
188561. Programmierung und Datenstrukturen: Eine Einführung anhand von Beispielen
188562. Current Trends in Concurrency: Overviews and Tutorials
188563. Methodology of Window Management: Proceedings of an Alvey Workshop at Cosener’s House, Abingdon, UK, April 1985
188564. Supercomputer Simulations in Chemistry: Proceedings of the Symposium on Supercomputer Simulations in Chemistry, held in Montreal August 25–27, 1985, sponsored by IBM-Kingston and IBM-Canada
188565. Einführung in die Programmiersprache PASCAL
188566. Der Computer — Mein Lebenswerk
188567. Berufe im Archiv-, Bibliotheks-, Informations- und Dokumentationswesen: Ein Wegweiser zur Ausbildung
188568. Product Data Interfaces in CAD/CAM Applications: Design, Implementation and Experiences
188569. PC Praxis: Technik und Wissenschaft Betriebliche Praxis Benutzerschnittstellen Betriebssysteme · LAN
188570. Netflow at Pisa
188571. Elements of C
188572. Negation and Control in Prolog
188573. Aktuelle Themen der Graphischen Datenverarbeitung
188574. Advances in Cryptology — EUROCRYPT’ 85: Proceedings of a Workshop on the Theory and Application of Cryptographic Techniques Linz, Austria, April 1985
188575. Advanced Computer Graphics: Proceedings of Computer Graphics Tokyo ’86
188576. Komplexes Problemlösen: Bestandsaufnahme und Perspektiven
188577. Neue Knobeleien mit dem Mikro: 4 Aufgaben, gelöst mit 11 verschiedenen Computern in 25 Versionen, sowie 5 ungelöste Aufgaben
188578. Mathematical Foundations of Computer Science 1986: Proceedings of the 12th Symposium Bratislava, Czechoslovakia August 25–29, 1986
188579. Softwarereflexionen: Ideen und Konzepte für die Praxis
188580. Software-Schutz: Rechtliche, organisatorische und technische Maßnahmen
188581. Data Structures for Raster Graphics: Proceedings of a Workshop held at Steensel, The Netherlands, June 24–28, 1985
188582. Stochastic Programming 84 Part I
188583. GWAI-85: 9th German Workshop on Artificial Intelligence Dassel/Solling, September 23–27, 1985
188584. Prozeßinformatik: Einführung mit Petrinetzen Für Elektrotechniker und Informatiker, Maschinenbauer und Physiker nach dem Grundstudium
188585. Machine Learning of Inductive Bias
188586. Humanizing Technology: Computers in Community Use and Adult Education
188587. Mikrorechner: Architektur und Programmierung
188588. Clinical Information Systems
188589. Simulation störanfälliger Systeme: Praxisorientierte Modelle und deren Einsatz auf Mikrocomputern zur betriebswirtschaftlichen Bewertung von Störungen komplexer Systeme
188590. Computergrafische Experimente mit Pascal: Ordnung und Chaos in Dynamischen Systemen
188591. Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
188592. PC nach Maß: Checklisten und Entscheidungshilfen
188593. Products of Automata
188594. Computer Simulation Methods in Theoretical Physics
188595. Cybernetics and Systems ’86: Proceedings of the Eighth European Meeting on Cybernetics and Systems Research, organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1–4 April 1986
188596. 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
188597. Chart Software Training
188598. GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung: Ottenstein/Niederösterreich, September 22–26, 1986
188599. Informatik-Anwendungen — Trends und Perspektiven: GI-16.Jahrestagung I Berlin, 6.–10. Oktober 1986. Proceedings
188600. Image Analysis and Processing
188601. Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies
188602. Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985
188603. Einführung in die Programmiersprache C
188604. Grundlagen der automatisierten Datenverarbeitung
188605. Programming with Sets: An Introduction to SETL
188606. Cooperative Interfaces to Information Systems
188607. Computer-Aided Design and Manufacturing: Methods and Tools
188608. Kognitive Aspekte der Mensch-Computer-Interaktion: Workshop, München, 12.-13. April 1984
188609. The Book of L
188610. Algebraic Approaches to Program Semantics
188611. Arbeit und Informationstechnik: Fachtagung, veranstaltet vom Fachbereich 8 „Informatik und Gesellschaft“ der GI Karlsruhe, 15. – 17. Juli 1986, Proceedings
188612. Parallele Systeme
188613. Künstliche Wesen: Verhalten kybernetischer Vehikel
188614. Stochastic Programming
188615. Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings
188616. FORTRAN-Trainer
188617. Machine Learning: A Guide to Current Research
188618. Maschinelle Spracherkennung zur Verbesserung der Mensch-Maschine-Schnittstelle
188619. Datentechnik im Wandel: 75 Jahre IBM Deutschland Wissenschaftliches Jubiläumssymposium
188620. PCs in der betrieblichen Datenverarbeitung: Anwendung — Organisation — Technik Beiträge des 3. deutschen PC-Kongresses 1985, durchgeführt von ASB, BIFOA, GMI
188621. Stochastic Programming 84 Part II
188622. Fehlermaskierung durch verteilte Systeme
188623. Relational Database Technology
188624. RIMS Symposia on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
188625. Modelling and Analysis in Arms Control
188626. Einführung in die Programmierung mit Modula-2
188627. Basic Programs for Chemical Engineers
188628. Varieties of Formal Languages
188629. Word Software Training
188630. Data Structures of Pascal, Algol 68, PL/1 and Ada
188631. Disordered Systems and Biological Organization
188632. Programmierung mit PASCAL
188633. Expertensysteme: Nicht nur für Informatiker
188634. Expert Critiquing Systems: Practice-Based Medical Consultation by Computer
188635. Semirings, Automata, Languages
188636. Quasidifferential Calculus
188637. Prinzipien der Referentialität: Untersuchungen zur propositionalen Repräsentation von Wissen
188638. A Guide to Modula-2
188639. BASIC-Wegweiser für IBM Personal Computer und Kompatible
188640. Petrinetze: Eine Einführung
188641. Statistische Verfahren: Datenanalyse mit BASIC-Programmen
188642. Mustererkennung 1986: 8. DAGM-Symposium Paderborn, 30. September–2. Oktober 1986 Proceedings
188643. Einführung in Turbo Pascal unter CP/M 80
188644. Österreichische Artificial Intelligence-Tagung: Wien, 24.–27. September 1985
188645. Messung, Modellierung und Bewertung von Rechensystemen: 3. GI/NTG-Fachtagung Dortmund, 1.–3. Oktober 1985
188646. BASIC-Wegweiser für den Commodore 116, Commodore 16 und Commodore plus/4: Datenverarbeitung mit BASIC 3.5
188647. Datenbankorientiertes Rechnungswesen: Grundzüge einer EDV-gestützten Realisierung der Einzelkosten- und Deckungsbeitragsrechnung
188648. Distributed Systems: Methods and Tools for Specification An Advanced Course
188649. A Survey of Verification Techniques for Parallel Programs
188650. Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I
188651. Phenomena Induced by Intermolecular Interactions
188652. Modula-2: für Pascal-Programmierer
188653. Office Automation: A User-Driven Method
188654. Simulationstechnik: 3. Symposium Simulationstechnik Bad Münster a. St.-Ebernburg 24.–26. September 1985 Proceedings
188655. Relationale Anfragen: Zerlegung und Optimierung
188656. Advances in Petri Nets 1984
188657. UNIX: Eine Einführung in Begriffe und Kommandos von UNIX Version 7, System III und System V
188658. Advances in Information Systems Science: Volume 9
188659. Darstellung und Nutzung von Expertenwissen für ein Bildanalysesystem
188660. Wissensbasierte Systeme: GI-Kongreß, München, 28./29. Oktober 1985
188661. Softwaretechnik für verteilte Systeme
188662. Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
188663. Recent Mathematical Methods in Dynamic Programming: Proceedings of the Conference held in Rome, Italy, March 26–28, 1984
188664. Einführung in die Anwendung des Betriebssystems MS-DOS: Mit Übungsaufgaben und Lösungen
188665. Computer Graphics Programming: GKS — The Graphics Standard
188666. Datenbank-Systeme für Büro, Technik und Wissenschaft: GI-Fachtagung, Karlsruhe, 20.–22. März 1985 Proceedings
188667. GI/OCG/ÖGI-Jahrestagung 1985: Wirtschaftsuniversität Wien Übersichtsbeiträge und Fachgespräche zu den Themenschwerpunkten Softwaretechnologie/Standardsoftware/Büroautomation/Bildschirmtext
188668. FORTRAN IV/77-Programm zur Finite-Elemente-Methode: Ein FEM-Programm für die Elemente Stab, Balken und Scheibendreieck
188669. GWAI-84: 8th German Workshop on Artificial Intelligence Wingst/Stade, October 8–12, 1984
188670. Advances in Cryptology: Proceedings of CRYPTO 84
188671. Computer-Based Automation
188672. Perceptual Organization and Visual Recognition
188673. Mikroelektronik in Österreich: Berichte der Informationstagung ME 85
188674. Programming in Modula-2
188675. Graphische Datenverarbeitung
188676. User Interface Management Systems: Proceedings of the Workshop on User Interface Management Systems held in Seeheim, FRG, November 1–3, 1983
188677. 16-Bit-Microprocessor Systems: Structure, Behavior, and Programming
188678. Mathematical Programming Essays in Honor of George B. Dantzig Part II
188679. Numerical Solutions of the N-Body Problem
188680. Sprachverarbeitung in Information und Dokumentation: Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV) in Kooperation mit der Fachgruppe 3 „Natürlichsprachliche Systeme“ im FA1.2 der Gesellschaft für Informatik (Gl) Hannover, 5.–7. März 1985 Proceedings
188681. Semantische Repräsentation komplexer Objektstrukturen: Modelle für nichtkonventionelle Datenbankanwendungen
188682. Database Machines: Fourth International Workshop Grand Bahama Island, March 1985
188683. Datenstrukturen und Speichertechniken
188684. First Book on UNIX™ for Executives
188685. Krankendaten Krankheitsregister Datenschutz: 29. Jahrestagung der GMDS Frankfurt, 10.–12. Oktober 1984 Proceedings
188686. Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen
188687. Computergraphik — Computerkunst
188688. The Carnegie-Mellon Curriculum for Undergraduate Computer Science
188689. PasRo: Pascal for Robots
188690. BASIC-Programme zur Regelungstechnik: Stabilitätsuntersuchung von Regelkreisen und Fahrkurvensimulation mit dem Sirius
188691. Operations Research mit BASIC auf dem IBM PC: 12 vollständige Programme
188692. Entwerfen von Programmen: Strategien und Fallstudien Beispiele in BASIC
188693. IBM System/38: An Auditors Guide
188694. Wie arbeite ich mit dem IBM PC
188695. Logics and Models of Concurrent Systems
188696. Wave Propagation: An Invariant Imbedding Approach
188697. Graphs and Order: The Role of Graphs in the Theory of Ordered Sets and Its Applications
188698. FORTRAN-Trainer
188699. Computer Graphics — Computer Art
188700. Strukturiertes Programmieren in BASIC: Eine Einführung mit zahlreichen Beispielen
188701. Query Processing in Database Systems
188702. UNIX Transparent
188703. Künstliche Intelligenz: Repräsentation von Wissen und natürlichsprachliche Systeme Frühjahrsschule, Dassel (Solling) 5.–16. März 1984
188704. Mustererkennung 1985: 7. DAGM-Symposium Erlangen, 24.–26. September 1985 Proceedings
188705. Organisation und Betrieb der Informationsverarbeitung: 6. Gl-Fachgespräch über Rechenzentren Kassel, 21./22. März 1985
188706. Foundations of Business Information Systems
188707. Systementwurf mit Netzen
188708. Understanding Language: Man or Machine
188709. Economic Equilibrium: Model Formulation and Solution
188710. FORTH — ganz einfach
188711. Petri Nets: An Introduction
188712. Von Datenbanken zu Expertensystemen
188713. PORTAL Language Description
188714. Die UNIX-Shell: Eine Einführung
188715. Shadows and Silhouettes in Computer Vision
188716. New Systems and Architectures for Automatic Speech Recognition and Synthesis
188717. Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types
188718. Datenschutz und Datensicherung im Wandel der Informationstechnologien: 1.GI-Fachtagung München, 30. und 31. Oktober 1985 Proceedings
188719. Motor Behavior: Programming, Control, and Acquisition
188720. Rechnerunterstützte Planung von Montageablaufstrukturen für Erzeugnisse der Serienfertigung
188721. Computer-Generated Images: The State of the Art Proceedings of Graphics Interface ’85
188722. Fehlererkennung und Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen
188723. Applications of Computer Algebra
188724. Mathematical Programming Essays in Honor of George B. Dantzig Part I
188725. Datenmanagement mit dem Apple II: Ein BASIC-Programmpaket zum persönlichen Informationsmanagement
188726. Computation Theory: Fifth Symposium, Zaborów, Poland December 3–8, 1984 Proceedings
188727. Programmieren in Modula-2
188728. Digital Picture Processing: An Introduction
188729. Frontiers in Computer Graphics: Proceedings of Computer Graphics Tokyo ’84
188730. Verification and Validation of Real-Time Software
188731. Time, Mind, and Behavior
188732. Logo-Programmierkurs für Commodore 64 Logo und Terrapin Logo (Apple II): Mit Beispielen für den Mathematikunterricht
188733. Einführung in die Programmiersprache FORTRAN 77: Anleitung zum Selbststudium
188734. New Topics in Learning Automata Theory and Applications
188735. Algebra für Informatiker
188736. Information Management for Engineering Design
188737. Perspektiven der Kognitionspsychologie
188738. Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
188739. Mathematics of Kalman-Bucy Filtering
188740. Orthomodular Lattices: Algebraic Approach
188741. Mikrowissen A–Z: Register Deutsch-Englisch und Englisch-Deutsch
188742. Computer Graphics: Visual Technology and Art Proceedings of Computer Graphics Tokyo ′85
188743. Denken: Informationsverarbeitung, mathematische Modelle und Computersimulation
188744. Modula-2: An Introduction
188745. Exceptionbehandlung und Synchronisation: Entwurf und Methode
188746. Knobeleien mit dem Mikro: 8 Aufgaben, gelöst mit 15 verschiedenen Computern in 57 Versionen sowie 13 ungelöste Aufgaben
188747. Methoden der Signal- und Systemanalyse: Eine Einführung mit dem Personalcomputer
188748. Mikrocomputer-COBOL: Einführung in die Dialog-orientierte COBOL-Programmierung am Mikrocomputer
188749. Computer Animation: Theory and Practice
188750. Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984
188751. Computerization and Work: A Reader on Social Aspects of Computerization
188752. Technisch-naturwissenschaftlicher Pascal-Trainer
188753. Datenbank-Training: auf Mikrocomputern. Grundlagen für den Anwender Praktische Tips zum Aufbau von Datenbanken Übungen mit dem Datenbanksystem Adimens
188754. Öffentliche Verwaltung und Informationstechnik: Neue Möglichkeiten, neue Probleme, neue Perspektiven Fachtagung, Speyer, 26.–28. September 1984
188755. BASIC-Wegweiser für MSX-Computer: Datenverarbeitung mit MSX-BASIC unter MSX-DOS
188756. Benutzermodellierung in Dialogsystemen
188757. Logic Programming: A Classified Bibliography
188758. Pascal: Einführung in die Sprache DIN-Norm 66256 Erläuterungen
188759. Office Automation: Concepts and Tools
188760. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
188761. Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project
188762. The Munich Project CIP
188763. Wie arbeite ich mit dem Philips Homecomputer MSX™ — System?
188764. Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
188765. Architecture of Systems Problem Solving
188766. Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
188767. Approaches to Prototyping
188768. BASIC-Wegweiser für IBM PC, PC XT, Portable PC und PCjr
188769. Fundamentals of Programming Languages
188770. The Unix™ System Guidebook: An Introductory Guide for Serious Users
188771. Informatik als Herausforderung an Schule und Ausbildung: GI-Fachtagung, Berlin, 8.–10. Oktober 1984
188772. P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
188773. Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings
188774. Readings on Cognitive Ergonomics — Mind and Computers: Proceedings of the 2nd European Conference Gmunden, Austria, September 10–14, 1984
188775. Sensitivity, Stability and Parametric Analysis
188776. Natural Language Communication with Pictorial Information Systems
188777. Assoziation: Der Prozeß des Erinnerns und die Struktur des Gedächtnisses
188778. Neue Informationstechnologien und Verwaltung: Fachtagung 14.–16. September 1983
188779. Data Structures and Algorithms 3: Multi-dimensional Searching and Computational Geometry
188780. Psychische Fehlbeanspruchung: Psychische Ermüdung, Monotonie, Sättigung und Streß
188781. UNIX: Eine Einführung in UNIX, seine Begriffe und seine Kommandos
188782. Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13–15, 1984 Proceedings
188783. Mustererkennung 1984: DAGM/ÖAGM Symposium Graz, 2.–4. Oktober 1984 Proceedings
188784. EUROSAM 84: International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984
188785. Computer Confidence: A Human Approach to Computers
188786. Musik mit dem TI-99/4A: Klangerzeugung und Syntheseprogramme
188787. Ökologische Datensätze — Programme für AOS-Rechner und BASIC-Taschencomputer (TI-58/59, PC-1211/1212)
188788. Cognition and Motor Processes
188789. Advances in Data Base Theory: Volume 2
188790. Mikrocomputer, Struktur und Arbeitsweise
188791. Einführung in die Programmiersprache BASIC: Anleitung zum Selbststudium
188792. Studien- und Forschungsführer Informatik
188793. Allgemeine Anwendungen (TI-59, HP-41 C, FX-602 P): Zeichnen — Sortieren — Rechnen, Elektrotechnik, Chemie, Bauwesen, Kleinkredite
188794. Prozeßrechner 1984: Prozeßdatenverarbeitung im Wandel. 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26.–28. September 1984
188795. Selected Topics in Image Science
188796. Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen
188797. Strukturierte Programmierung: Einführung in die Methode und ihren praktischen Einsatz zum Selbststudium
188798. Number Theory in Science and Communication: With Applications in Cryptography, Physics, Biology, Digital Information, and Computing
188799. Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness
188800. Programming in Prolog
188801. Countdown: Programme zur Bewegung von Fallschirmspringern, Raketen und Satelliten für programmierbare Taschenrechner und BASIC-Mikrocomputer
188802. Algorithmische Sprache und Programmentwicklung
188803. Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
188804. Programming Languages and Their Definition: H. Bekič (1936–1982)
188805. Prüfungsaufgaben Informatik
188806. BASIC-Wegweiser für den Commodore 64: Datenverarbeitung mit BASIC 2.0, BASIC 4.0 und SIMON’s BASIC
188807. Software-Engineering: Mit 77 Bildern und 22 Übungsaufgaben
188808. Fehlertolerante Mikroprozessorsysteme
188809. Compiler Construction
188810. Einführung in die Anwendung des Betriebssystems CP/M
188811. Program Transformation and Programming Environments
188812. Mathematical Programming at Oberwolfach II
188813. LISP: Eine Einführung in die Programmierung
188814. CAD-Systeme: Grundlagen und Anwendungen der geometrischen Datenverarbeitung
188815. Boolean Semantics for Natural Language
188816. Informatik: Eine einführende Übersicht Zweiter Teil
188817. Der Computer: Mein Lebenswerk
188818. Mikrocomputer-Interfacefibel
188819. Vectorization of Computer Programs with Applications to Computational Fluid Dynamics
188820. Programmierprinzipien in BASIC und Pascal: Mit 12 BASIC- und 13 Pascal-Programmen
188821. Ein Informationssystem für die Geburtshilfe
188822. Datenstrukturen in Pascal und BASIC: mit 12 Pascal- und 8 BASIC-Programmen
188823. Grundlagen der quantitativen Röntgen-Bildauswertung
188824. Der Beitrag der Informationsverarbeitung zum Fortschritt der Medizin: 28. Jahrestagung der GMDS, Heidelberg, 26.–28. September 1983 Proceedings
188825. Programming in Prolog
188826. Adaptive Control of Ill-Defined Systems
188827. Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
188828. Foundations of Logic Programming
188829. MBASIC-Wegweiser für Mikrocomputer unter CP/M und MS-DOS
188830. Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984
188831. Simulationstechnik: 2. Symposium Simulationstechnik Wien, 25.–27. September 1984 Proceedings
188832. Modula-2 for Pascal Programmers
188833. Solid Modeling by Computers: From Theory to Applications
188834. Management and Office Information Systems
188835. Algorithms, Software and Hardware of Parallel Computers
188836. Methodik der Programmierung in Pascal
188837. Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung
188838. Multiresolution Image Processing and Analysis
188839. On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages
188840. Computer Aided Analysis and Optimization of Mechanical System Dynamics
188841. Digitaltechnik und Mikrorechner
188842. Anwendungen für BASIC-Taschencomputer: Mit über 50 Programmen aus Mathematik, Physik, Biologie, Ökologie, Wirtschaftskunde, Sozialkunde, Finanzwesen und Spielen
188843. Simulation and Model-Based Methodologies: An Integrative View
188844. Spaß mit Algorithmen: Einführung in das strukturierte Programmieren mit 42 BASIC-Programmen
188845. Catalogue of Artificial Intelligence Tools
188846. Programmiersprachen und Programmentwicklung: 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März, 1984
188847. Macintosh: Ein Computer und seine Mitwelt
188848. Methodik der Programmierung in Pascal
188849. Koordination von Informationen: Die Bedeutung von Informations- und Kommunikationstechnoligien in privaten und öffentlichen Verwaltungen. IX. Verwaltungsseminar, Konstanz, 5.–7. Mai 1983
188850. Eurographics Tutorials ’83
188851. Fundamentals of Operating Systems
188852. Lehr- und Übungsbuch für Commodore-Volkscomputer
188853. Graph-Grammars and Their Application to Computer Science: 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982
188854. Assessing the Impacts of Information Technology: Hope to escape the negative effects of an Information Society by Research
188855. Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
188856. Fundamentals of Digital Switching
188857. Database Machines: International Workshop Munich, September 1983
188858. Machine Learning: An Artificial Intelligence Approach
188859. CONLAN Report
188860. Taschenrechnerarithmetik mit erhöhter Genauigkeit (TI-59/HP-41C)
188861. Bibliography on Abstract Data Types
188862. CAD-Systeme: Hardwareaufbau und Einsatz
188863. Basic: Eine Einführung in 10 Lektionen mit zahlreichen Programmbeispielen, 95 Übungsaufgaben und deren vollständigen Lösungen
188864. CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings
188865. LAPEX — Ein rechnerunterstütztes Verfahren zur Betriebsmittelzuordnung
188866. Computer Aided Design: Fundamentals and System Architectures
188867. Mikroelektronik Information Gesellschaft
188868. Messung, Modellierung und Bewertung von Rechensystemen: 2. GI/NTG-Fachtagung Stuttgart, 21.–23. Februar 1983
188869. Concepts for Distributed Systems Design
188870. The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
188871. Issues in Acoustic Signal — Image Processing and Recognition
188872. PASCAL systematisch: Eine strukturierte Einführung
188873. Dokumentations- und Ordnungslehre: Lehrbuch für die Theorie und Praxis des Information Retrieval
188874. Kommunikation in Verteilten Systemen — Anwendungen und Betrieb: GI/NTG — Fachtagung, Berlin, 19–21 Januar, 1983
188875. ADA®: An Introduction
188876. Ein inhaltsadressierbares Speichersystem zur Unterstützung zeitkritischer Prozesse der Informationswiedergewinnung in Datenbanksystemen
188877. Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings
188878. Algorithmic Studies in Mass Storage Systems
188879. Instrumental Variable Methods for System Identification
188880. Klassifikation von Mustern
188881. Ten Applications of Graph Theory
188882. Chess Skill in Man and Machine
188883. RIMS Symposia on Software Science and Engineering: Kyoto, 1982 Proceedings
188884. The Competitive Strength of the Information and Communication Industry in Europe: An integrated view of Europe’s experts on • strengths and weaknesses • actions to be taken
188885. GI - 13. Jahrestagung: Hamburg, 3.–7. Oktober 1983 Proceedings
188886. Cryptography: Proceedings of the Workshop on Cryptography Burg Feuerstein, Germany, March 29–April 2, 1982
188887. Pictorial Data Analysis
188888. Betrieb von DV-Systemen in der Zukunft: 5. GI-Fachgespräch über Rechenzentren Tübingen, 17./18.März 1983
188889. Mikroprozessoren: 6502, 6800, 8080, Z 80, 9900 Grundlagen — Programmierung — Vergleiche — Übungen
188890. Pascal: Einführung in die Sprache Norm-Entwurf DIN 66256 Erläuterungen
188891. Lehr- und Übungsbuch für die Rechnerserien cbm 4001 und cbm 8001
188892. The Design of Dynamic Data Structures
188893. Image Sequence Processing and Dynamic Scene Analysis
188894. Relational Database Systems: Analysis and Comparison
188895. Parallele Algorithmen
188896. Algebraische Spezifikation: Eine Einführung
188897. Requirements Engineering: Arbeitstagung der GI, Friedrichshafen, 12–14 Oktober 1983
188898. Studies in Ada® Style
188899. The IOTA Programming System: A Modular Programming Environment
188900. Programming in Modula-2
188901. Mathematical Programming The State of the Art: Bonn 1982
188902. Einführung in die Programmiersprache Ada: Skriptum für Hörer aller Fachrichtungen
188903. The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983
188904. Engineering Software III: Proceedings of the 3rd International Conference, Imperial College, London, England. April 1983
188905. Datenübertragung Technik der Daten- und Textkommunikation: Band I · Grundlagen
188906. Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)
188907. First European Simulation Congress ESC 83: Aachen, September, 12–16, 1983 Proceedings
188908. Electronic Systems Effectiveness and Life Cycle Costing
188909. Problems and Methods of Optimal Structural Design
188910. Bildschirmarbeit: Konfliktfelder und Lösungen
188911. Fernsehüberwachung von Schutzgasschweißvorgängen mit abschmelzender Elektrode MIG — MAG
188912. Kleine Geschichte der Universität Heidelberg
188913. Theory and Application of Random Fields: Proceedings of the IFIP-WG 7/1 Working Conference held under the joint auspices of the Indian Statistical Institute Bangalore, India, January 1982
188914. Functional Neuroanatomy
188915. Introduction to SIMULA 67
188916. Enduser Systems and Their Human Factors: Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany Heidelberg, March 18, 1983
188917. Computational Aspects of Complex Analysis: Proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26 – August 6, 1982
188918. Programming for Software Sharing
188919. GWAI-83: 7th German Workshop on Artificial Intelligence Dassel/Solling, September 19–23, 1983
188920. General Decoupling Theory of Multivariable Process Control Systems
188921. Programming Languages: A Grand Tour
188922. BASIC-Programmierbuch: zu den grundlegenden Ablaufstrukturen der Datenverarbeitung
188923. Korrekte Zugriffe zu verteilten Daten
188924. Introduction to Numerical Computation in Pascal
188925. Computersysteme — Aufbau und Funktionsweise
188926. The Evolution of Programs
188927. Computer Graphics: Theory and Applications
188928. Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983
188929. Informations- und Codierungstheorie: Mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen
188930. Datenbanksystem für CAD-Arbeitsplätze
188931. Identification of Continuous Dynamical Systems: The Poisson Moment Functional (PMF) Approach
188932. Adaptive Systems with Reduced Models
188933. Geometrisches Modellieren: Fachtagung der GI und der Technischen Universität Berlin Berlin, 24.–26. November 1982
188934. Ein universelles Konzept zum flexiblen Informationsschutz in und mit Rechensystemen
188935. DIANA An Intermediate Language for Ada
188936. Sprachen für Datenbanken: Fachgespräch auf der 13. GI-Jahrestagung Hamburg, 3. – 7. Oktober, 1983
188937. Standardprogramme der Netzwerkanalyse für BASIC-Taschencomputer (CASIO)
188938. International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
188939. The Architecture of High Performance Computers
188940. Petrinetze: Eine Einführung
188941. Einführung in die Programmiersprache PASCAL: Skriptum für Hörer aller Fachrichtungen ab 1. Semester
188942. Fundamentals of Programming Languages
188943. Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981
188944. Selected Writings on Computing: A Personal Perspective
188945. Büroinformations- und -kommunikationssysteme: Anwendergespräch, Wirtschaftsuniversität Wien, 30.9. bis 1.10.1982
188946. GI-12. Jahrestagung: Kaiserslautern, 5.–7. Oktober 1982. Proceedings
188947. Selected Papers
188948. Picture Engineering
188949. Methodik der Programmierung in Pascal
188950. Pattern Recognition Theory and Applications: Proceedings of the NATO Advanced Study Institute held at St. Anne’s College, Oxford, March 29–April 10, 1981
188951. Verifying Concurrent Processes Using Temporal Logic
188952. Microcomputer System Design: An Advanced Course Trinity College Dublin, June 1981
188953. Operating Systems Engineering: Proceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980
188954. The Application of Mathematics in Industry
188955. Meine neuen Ideen zur Schachprogrammierung
188956. Logics of Programs: Workshop, Yorktown Heights, New York, May 1981
188957. Informatik: Eine einführende Übersicht Erster Teil
188958. Ordered Sets: Proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981
188959. Personalinformationssysteme in deutschen Großunternehmen: Ausbaustand und Rechtsprobleme
188960. An Analytical Description of CHILL, the CCITT High Level Language
188961. The Expression of Knowledge: Neurobehavioral Transformations of Information into Action
188962. Theoretical Computer Science: 6th Gl-Conference Dortmund, January 5–7, 1983
188963. Fehlertolerierende Rechnersysteme: GI-Fachtagung München, 11.–12. März 1982 Gemeinsam veranstaltet von GI-Fachausschuß 8 und Fachausschuß 11 und GMD-Institut für Rechner- und Programmstrukturen, Siemens AG
188964. Programming in Modula-2
188965. Simulationstechnik: 1. Symposium Simulationstechnik Erlangen, 26. – 28. April 1982 Proceedings
188966. Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
188967. Introduction to PEARL: Process and Experiment Automation Realtime Language Description with Examples
188968. GWAI-82: 6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982
188969. Numerische Methoden bei Integralen und gewöhnlichen Differentialgleichungen für programmierbare Taschenrechner (AOS)
188970. Die endliche Fourier- und Walsh-Transformation mit einer Einführung in die Bildverarbeitung: Eine anwendungsorientierte Darstellung mit FORTRAN 77-Programmen
188971. All About Chess and Computers: Chess and Computers and More Chess and Computers
188972. An Attribute Grammar for the Semantic Analysis of Ada
188973. Iterationen, Näherungsverfahren, Sortiermethoden: BASIC-Programme für CBM 3032, HP 9830, TRS-80, Olivetti 6060
188974. Neue Kommunikationsnetze: Prinzipien, Einrichtungen, Systeme
188975. Axiomatising the Logic of Computer Programming
188976. Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981
188977. Automated Theorem Proving
188978. Time-Scale Modeling of Dynamic Networks with Applications to Power Systems
188979. Einführung in die Programmiersprache SIMULA: Anleitung zum Selbststudium Skriptum für Hörer aller Fachrichtungen ab 1. Semester
188980. GAG: A Practical Compiler Generator
188981. A Programming Approach to Computability
188982. Programmiersprachen und Programmentwicklung: 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982
188983. Computer Algebra: Symbolic and Algebraic Computation
188984. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
188985. Pascal für Mikrocomputer
188986. The Illiac IV: The First Supercomputer
188987. A Practical Introduction to Pascal
188988. Einführung in PASCAL: Mit zahlreichen Beispielen und 10 vollständigen Programmen
188989. Group-Theoretic Algorithms and Graph Isomorphism
188990. Applications
188991. Algorithmic Language and Program Development
188992. Einführung in die Programmiersprache BASIC: Anleitung zum Selbststudium ; Skriptum für Hörer aller Fachrichtungen ab 1. Semester
188993. Erzeugung interaktiver Bildverarbeitungssysteme im Dialog: Konzepte, Entwurf und Implementierung eines Dialogsystems für die Bildverarbeitung in der Medizin
188994. Rechnernetzwerke: Systeme, Protokolle und das ISO-Architekturmodell
188995. Nachsorge und Krankheitsverlaufsanalyse: 25. Jahrestagung der GMDS Erlangen, 15. – 17. September 1980
188996. Algebra für Informatiker
188997. Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981
188998. Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16–22, 1979
188999. Mikrocomputerfibel: Vom 8-bit-Chip zum Grundsystem
189000. Mathematical Programming at Oberwolfach
189001. Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University Sendai, Japan, October 24–25, 1980 Proceedings
189002. Trends in Information Processing Systems: 3rd Conference of the European Cooperation in Informatics Munich, October 20–22, 1981 Proceedings
189003. Entwurf von Betriebssystemen: Eine Einführung
189004. Kommunikation in verteilten Systemen: Fachtagung der GI, Berlin, 27.–30. Januar 1981
189005. Organisation informationstechnik-gestützter öffentlicher Verwaltungen: Fachtagung der GI (Fachausschuß 13: Informatik in Recht und Verwaltung) und des Forschungsinstituts für öffentliche Verwaltung bei der Hochschule für Verwaltungswissenschaften Speyer Speyer, 22.–24. Oktober 1980
189006. Advances in Information Systems Science: Volume 8
189007. Pattern Recognition with Fuzzy Objective Function Algorithms
189008. CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
189009. Das Codasyl-Datenbankmodell
189010. PASCAL for Programmers
189011. GWAI-81: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981
189012. Logic of Programs: Workshop, ETH Zürich, May–July 1979
189013. Intersensory Perception and Sensory Integration
189014. Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten
189015. Optical Information Processing: Fundamentals
189016. Pattern Classifiers and Trainable Machines
189017. GI — 11. Jahrestagung: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings
189018. Lehr- und Übungsbuch für die Rechnerserien cbm 2001 und cbm 3001
189019. Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981
189020. A Basis for Theoretical Computer Science
189021. Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium à trbské Pleso, Czechoslovakia August 31 – September 4, 1981
189022. The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs
189023. Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 80 Bad Honnef, June 15–18, 1980
189024. Anaphora in Natural Language Understanding: A Survey
189025. Dokumentationssysteme
189026. Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23–25, 1981
189027. Datenverarbeitung im Marketing
189028. Data Base Administration
189029. Fachtagung Prozeßrechner 1981: München, 10. und 11. März 1981
189030. Advances in Data Base Theory: Volume 1
189031. Organisation und Betrieb von Rechenzentren: Fachgespräch der GI Erlangen, 12./13. März 1981
189032. Alphard: Form and Content
189033. Digital Image Processing Systems
189034. Algorithmische Sprache und Programmentwicklung
189035. Formalization of Programming Concepts: International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings
189036. Pattern Analysis
189037. Werkzeuge der Programmiertechnik: GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings
189038. Messung, Modellierung und Bewertung von Rechensystemen: GI-NTG Fachtagung Jülich, 23.–25. Februar 1981
189039. CLU Reference Manual
189040. The Concurrency Control Problem for Database Systems
189041. PISA: A Programming System for Interactive Production of Application Software
189042. Conpar 81: Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings
189043. Studies in Ada Style
189044. Distributed Systems — Architecture and Implementation: An Advanced Course
189045. Databases for Health Care
189046. Compiler Specification and Verification
189047. Personalinformationssysteme in deutschen Großunternehmen: Ausbaustand und Rechtsprobleme
189048. Directions in Human Factors for Interactive Systems
189049. Modelle und Strukturen: DAGM Symposium Hamburg, 6.–8. Oktober 1981
189050. Natürlichsprachliche Argumentation in Dialogsystemen: KI-Verfahren zur Rekonstruktion und Erklärung approximativer Inferenzprozesse
189051. CAD und Arbeitssituation: Untersuchungen zu den Auswirkungen von CAD sowie zur menschengerechten Gestaltung von CAD-Systemen
189052. Reliability Evaluation of Some Fault-Tolerant Computer Architectures
189053. Mechanics
189054. Bildschirmarbeitsplätze: Ergonomie Arbeitsplatzgestaltung Gesundheit und Sicherheit Aufgabenorganisation
189055. Computer Aided Design Modelling, Systems Engineering, CAD-Systems: CREST Advanced Course Darmstadt, 8.–19. September 1980
189056. CAD-Fachgespräch: GI — 10. Jahrestagung, Saarbrücken, 30. September – 2. Oktober 1980
189057. Towards a Formal Description of Ada
189058. Mostly in the Line of Duty: Thirty Years with Books
189059. Erzeugung und Analyse von Bildern und Strukturen: DGaO — DAGM Tagung Essen, 27. – 31. Mai 1980
189060. Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
189061. 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
189062. Image Pattern Recognition
189063. The Programming Language Ada: Reference Manual Proposed Standard Document United States Department of Defense
189064. Datenverarbeitung im Hochschulbereich der USA: Stand und Entwicklungstendenzen
189065. Content-Addressable Memories
189066. Grammar and L forms: An introduction
189067. Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems Hamburg, October 8–19, 1979
189068. Digital Pattern Recognition
189069. GI - 10. Jahrestagung: Saarbrücken, 30. September – 2. Oktober 1980
189070. Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
189071. Firmware Engineering: Seminar veranstaltet von der gemeinsamen Fachgrupe „Mikroprogrammierung“ des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12. – 14. März 1980 in Berlin
189072. Portable Methodenmonitoren: Dialogsysteme zur Steuerung von Methodenbanken: softwaretechnischer Aufbau und Effizienzanalyse
189073. Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
189074. Mathematik für Informatiker I: Die Methode der Mathematik
189075. The Use of Formal Specification of Software: June 25–27, 1979, Berlin
189076. Language Design and Programming Methodology: Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979
189077. International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980
189078. Coroutines: A Programming Methodology, a Language Design and an Implementation
189079. Combinatorial Optimization II
189080. Dynamical Systems and Evolution Equations: Theory and Applications
189081. Kryptographische Verfahren in der Datenverarbeitung
189082. Rechnerarchitektur: Grundlagen und Verfahren
189083. Data Base Techniques for Pictorial Applications: Florence, June 20–22, 1979
189084. Computer Processing of Electron Microscope Images
189085. Software Development Tools
189086. Programmiersprachen und Programmentwicklung: 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.–12. März 1980
189087. Using Sophisticated Models in Resolution Theorem Proving
189088. GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen: Kiel, 19.–21. März 1980
189089. A Structured Programming Approach to Data
189090. The Semantics of English Aspectual Complementation
189091. Virtuelle Maschinen: Nachbildung und Vervielfachung maschinenorientierter Schnittstellen. GI-Arbeitsseminar, München 1979
189092. Assembler III: Ein Lernprogramm
189093. Der Verkehrsfluß auf Schnellstraßen: Modelle, Überwachung, Regelung
189094. The Denotational Description of Programming Languages: An Introduction
189095. GI — 9. Jahrestagung: Bonn, 1.–5. Oktober 1979
189096. Kommunikation in verteilten Systemen: Workshop der Gesellschaft für Informatik e.V., 3.–4. Dezember 1979, Berlin
189097. Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979
189098. Architecture of Distributed Computer Systems
189099. Symbolic and Algebraic Computation: EUROSM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979
189100. Combinatorial Complexes: A Mathematical Theory of Algorithms
189101. Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2–4, 1979
189102. Interlinking of Computer Networks: Proceedings of the NATO Advanced Study Institute held at Bonas, France, August 28 – September 8, 1978
189103. Assembler II: Ein Lernprogramm
189104. Stochastic Control Theory and Stochastic Differential Systems: Proceedings of a Workshop of the „Sonderforschungsbereich 72 der Deutschen Forschungsgemeinschaft an der Universität Bonn“ which took place in January 1979 at Bad Honnef
189105. Edinburgh LCF: A Mechanised Logic of Computation
189106. Graph-Grammars and Their Application to Computer Science and Biology: International Workshop Bad Honnef, October 30 – November 3, 1978
189107. Methoden der Programmerstellung für Tisch- und Taschenrechner: Grundlagen, Anwendungen, Grenzen
189108. Computer Vision and Sensor-Based Robots
189109. Program Construction: International Summer School
189110. Angewandte Szenenanalyse: DAGM Symposium, Karlsruhe 10.–12. Oktober 1979
189111. Pattern Formation by Dynamic Systems and Pattern Recognition: Proceedings of the International Symposium on Synergetics at Schloß Elmau, Bavaria, April 30 – May 5, 1979
189112. Qualitative Aspects of Large Scale Systems: Developing Design Rules Using APL
189113. Theoretical Computer Science 4th GI Conference: Aachen, March 26–28, 1979
189114. Juristische Probleme der Datenverarbeitung in der Medizin: GMDS/GRVI Datenschutz-Workshop 1979
189115. Assembler I: Ein Lernprogramm
189116. Modelling and Optimization of Complex System: Proceedings of the IFIP-TC 7 Working Conference Novosibirsk, USSR, 3–9 July, 1978
189117. Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing
189118. First-Order Dynamic Logic
189119. Beiträge zur Wissenssoziologie, Beiträge zur Religionssoziologie / Contributions to the Sociology of Knowledge, Contributions to the Sociology of Religion
189120. Formale Sprachen
189121. Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978
189122. Elektronische Taschenrechner in der Schule: Ein Arbeits- und Aufgabenbuch für Lehrer und Schüler
189123. Operating Systems: An Advanced Course
189124. Distributed Parameter Systems: Modelling and Identification: Proceedings of the IFIP Working Conference Rome, Italy, June 21–24, 1976
189125. Learning Systems: Decision, Simulation, and Control
189126. Datenfernverarbeitung: Außenstelle — Datenfernübertragung Rechenzentrum — Betriebsabwicklung Eine Einführung
189127. Modeling, Estimation, and Their Applications for Distributed Parameter Systems
189128. Logic and Data Bases
189129. GI — 8. Jahrestagung
189130. A Comparative Study of Very Large Data Bases
189131. Zur Mechanik und Regelung des Herzkreislaufsystems: Ein digitales Simulationsmodell
189132. Datenbanken in Rechnernetzen mit Kleinrechnern: GI-Fachtagung mit Unterstützung durch das German Chapter der ACM, 11./12. April 1978, Kernforschungszentrum Karlsruhe
189133. A Practical Introduction to Pascal
189134. Report on the Programming Language PLZ/SYS
189135. Simulationsmethoden in der Medizin und Biologie: Workshop, Hannover, 29. Sept.–1. Okt. 1977
189136. TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
189137. Organisation von Rechenzentren: Workshop der Gesellschaft für Informatik Göttingen, 11./12. Oktober 1977
189138. Infinite Dimensional Linear Systems Theory
189139. GPSS-FORTRAN, Version II: Einführung in die Simulation diskreter Systeme mit Hilfe eines FORTRAN-Programmpaketes
189140. Digital Memory and Storage
189141. Zusammenhangsanalysen Medizinischer Daten
189142. Datenschutz bei riskanten Systemen: Eine Konzeption entwickelt am Beispiel eines medizinischen Informationssystems
189143. Information Systems Methodology: Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10–12, 1978
189144. Bildverarbeitung und Mustererkennung: DAGM Symposium, Oberpfaffenhofen 11.–13. Oktober 1978
189145. Programmiersprachen: 5. Fachtagung der GI, Braunschweig, 8./9. März 1978
189146. Optimization Techniques Part 1: Proceedings of the 8th IFIP Conference on Optimization Techniques Würzburg, September 5–9, 1977
189147. Assembler III: Ein Lernprogramm
189148. Digitale Bildverarbeitung Digital Image Processing: GI/NTG Fachtagung München, 28.–30. März 1977
189149. A Concurrent Pascal Compiler for Minicomputers
189150. Einführung in die Digitaltechnik
189151. Mathematische Logik mit Informatik-Anwendungen
189152. Methods of Algorithmic Language Implementation
189153. Computer Architecture: Proceedings of the NATO Advanced Study Institute held in St. Raphael, France, 12–24 September, 1976
189154. Modelle für Rechensysteme: Workshop der GI, Bonn, 31. 3.-1. 4. 1977
189155. FORTRAN Programming: A Supplement for Calculus Courses
189156. Digitale Regelsysteme
189157. Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976
189158. Betrieb von Rechenzentren: Workshop der Gesellschaft für Informatik, Karlsruhe, 23.–24. September 1975
189159. Rechnernetze und Datenfernverarbeitung: Fachtagung der GI und NTG, Aachen, 31.3.–2.4.1976
189160. Computer Architecture: Workshop of the Gesellschaft für Informatik Erlangen, May 22–23, 1975
189161. Language Hierarchies and Interfaces: International Summer School
189162. Software Engineering Education: Needs and Objectives. Proceedings of an Interface Workshop
189163. Adaptive Information Processing: An Introductory Survey
189164. GI — 6. Jahrestagung: Stuttgart, 29. Sept. – 1. Okt. 1976
189165. Einführung in die Datenverarbeitung: Aufbau und Funktionsweise von Computer-Systemen
189166. Programmiersprachen: 4. Fachtagung der GI Erlangen, 8.–10. März 1976
189167. Optimization Techniques Modeling and Optimization in the Service of Man Part 2: Proceedings, 7th IFIP Conference Nice, September 8–12, 1975
189168. An Optimized Translation Process and Its Application to ALGOL 68
189169. Rechnerorganisation: Hardware und Software digitaler Rechner
189170. Simulationstechnik: Entwurf und Simulation von Systemen auf digitalen Rechenautomaten
189171. Informatik: Aufgaben und Lösungen Zweiter Teil
189172. Algorithmentheorie
189173. Optimization Techniques Modeling and Optimization in the Service of Man Part 1: Proceedings, 7th IFIP Conference Nice, September 8–12, 1975
189174. Complementary Definitions of Programming Language Semantics
189175. Matrix Eigensystem Routines — EISPACK Guide
189176. Prozeßautomatisierung I: Aufbau und Programmierung von Prozeßrechensystemen
189177. PASCAL User Manual and Report
189178. Nonlinear and Dynamic Programming: An Introduction
189179. Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974
189180. Arbeitsspeicher für Digitalrechner
189181. Informatik: Aufgaben und Lösungen Erster Teil
189182. Software Engineering: An Advanced Course
189183. Logischer Entwurf digitaler Systeme Beispiele und Übungen
189184. Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975
189185. GI — 5. Jahrestagung: Dortmund, 8.–10. Oktober 1975
189186. Parallel Processing: Proceedings of the Sagamore Computer Conference, August 20–23, 1974
189187. Architektur digitaler Rechenanlagen
189188. Design of Digital Computers: An Introduction
189189. Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974
189190. Digitale Datenverarbeitung für das technische Studium
189191. The Origins of Digital Computers: Selected Papers
189192. Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974
189193. Theory of Program Structures: Schemes, Semantics, Verification
189194. Exercises in Computer Systems Analysis
189195. Methoden der Informatik in der Medizin: Bericht der 3. hannoverschen Tagung Über Medizinische Informatik vom 28.–30. März 1974
189196. Combinatorial Programming: Methods and Applications: Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2–13 September, 1974
189197. Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975
189198. λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975
189199. Computational Techniques in Quantum Chemistry and Molecular Physics: Proceedings of the NATO Advanced Study Institute held at Ramsau, Germany, 4–21 September, 1974
189200. Classification Theory of Algebraic Varieties and Compact Complex Spaces: Notes written in collaboration with P. Cherenack
189201. Künstliche Intelligenz und Heuristisches Programmieren
189202. Formal Aspects of Cognitive Processes: Interdisciplinary Conference Ann Arbor, March 1972
189203. Control Theory, Numerical Methods and Computer Systems Modelling: International Symposium, Rocquencourt, June 17–21, 1974
189204. L Systems
189205. GI Gesellschaft für Informatik e.V. 3. Fachtagung über Programmiersprachen Kiel, 5.–7. März 1974
189206. International Symposium on Theoretical Programming
189207. Informatik: Eine einführende Übersicht Zweiter Teil
189208. Simple Program Schemes and Formal Languages
189209. Programming Symposium: Proceedings, Colloque sur la Programmation Paris, April 9–11, 1974
189210. Entwurf komplexer Schaltwerke
189211. Recognition of Patterns: Using the frequencies of Occurrence of Binary Words
189212. Assembler I: Ein Lernprogramm
189213. Computing Methods in Applied Sciences and Engineering Part 1: International Symposium, Versailles, December 17–21, 1973
189214. Foundations of Coding Theory
189215. Compiler Construction: An Advanced Course
189216. Linear Multiobjective Programming
189217. Sensation and Measurement: Papers in Honor of S. S. Stevens
189218. Lehrbuch EDV: Elektronische Datenverarbeitung Einführung in die Grundbegriffe
189219. Maximum Probability Estimators and Related Topics
189220. Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974
189221. GI-NTG Fachtagung Strucktur und Betrieb von Rechensystemen: Braunschweig, 20.–22. 3. 1974
189222. Rechnerstrukturen und Betriebsprogrammierung: Erlangen, 1970
189223. GFK-GI-GMR Fachtagung Prozessrechner 1974: Karlsruhe, 10.–11. Juni 1974
189224. Ästhetik als Informationsverarbeitung: Grundlagen und Anwendungen der Informatik im Bereich ästhetischer Produktion und Kritik
189225. GI-BIFOA Internationale Fachtagung: Informationszentren in Wirtschaft und Verwaltung: Köln, 17./18. September 1973
189226. Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974
189227. Matrix Eigensystem Routines — EISPACK Guide
189228. The Measurement of Verbal Information in Psychology and Education
189229. GI. Gesellschaft für Informatik e.V. 2. Jahrestagung: Karlsruhe, 2.–4. Oktober 1972
189230. Resolution Space, Operators and Systems
189231. Funktioneller Aufbau digitaler Rechenanlagen
189232. 5th Conference on Optimization Techniques Part I
189233. Design Methods for Digital Systems
189234. Computer: Aufgaben im Gesundheitswesen: Kolloquien „Computer in der Medizin - Ergebnisse und künftige Entwicklungen“ 18.–20. November 1970 in Bad Salzuflen und „Zukünftige Strukturen im Gesundheitswesen“ 6.–8. Oktober 1971 in Hannover
189235. FORTRAN für Anfänger
189236. NTG/GI Gesellschaft für Informatik Nachrichtentechnische Gesellschaft Fachtagung „Cognitive Verfahren und Systeme“: Hamburg, 11.–13. April 1973
189237. GI Gesellschaft für Informatik e. V. 3. Jahrestagung Hamburg, 8.–10. Oktober 1973
189238. The Origins of Digital Computers: Selected Papers
189239. Informatik: Eine einführende Übersicht Erster Teil
189240. Numerical Solution of Partial Differential Equations: Proceedings of the NATO Advanced Study Institute held at Kjeller, Norway, August 20–24, 1973
189241. Theorie der Informationsübertragung: Signale und Störungen
189242. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen: Bonn, 9.–12. Juli 1973
189243. Datenfernverarbeitung: Außenstelle - Datenfernübertragung Rechenzentrum - Betriebsabwicklung
189244. Numerical Analysis
189245. Computability and Decidability: An Introduction for Students of Computer Science
189246. 1. Fachtagung über Programmiersprachen: München, 9.–11. März 1971
189247. Die Simulation kontinuierlicher Prozesse mit Digitalrechnern: Eine vergleichende Analyse der Techniken bei der digitalen Simulation kontinuierlicher Prozesse
189248. Switching Machines: Volume 2 Sequential Systems
189249. Rechnergesteuerte Vermittlungssysteme
189250. Switching Machines: Volume 1: Combinational Systems Introduction to Sequential Systems
189251. Boolesche Algebra und Computer: Ein Informatik-Kurs
189252. Informatik: Eine einführende Übersicht Teil 1
189253. Advanced Computer Graphics: Economics Techniques and Applications
189254. Elektronik-Praktikum für Informatiker
189255. Computer: Werkzeug der Information
189256. Programmiermethodik
189257. FORTRAN für Anfänger
189258. Lineare Systeme und Netzwerke: Eine Einführung
189259. Handbook for Automatic Computation: Volume II: Linear Algebra
189260. Computeranwendungen bei Wachstumsproblemen in Biologie und Medizin: Einführung in die Theorie und exemplarische Darstellung der Praxis besonders an den Ergebnissen der Entwicklung des Zentralnervensystems
189261. Automat und Mensch: Auf dem Weg zu einer kybernetischen Anthropologie
189262. Halbgruppen und Automaten
189263. Diagnostik-Informationssystem: Integrierte elektronische Datenverarbeitung für die ärztliche Diagnostik
189264. Grundlagen der Elementarstatistik: Beschreibende Verfahren
189265. Computers, Chess and Long-Range Planning
189266. Computer: Werkzeug der Medizin: Kolloquium Datenverarbeitung und Medizin, 7. – 9. Oktober 1968 Schloß Reinhartshausen in Erbach im Rheingau
189267. Analogcomputer in Chemie und Biologie: Eine Einführung
189268. Der praktische Einsatz von Datenverarbeitungssystemen: Kybernetische und betriebswirtschaftliche Aspekte
189269. Neural Networks: Proceedings of the -School on Neural Networks - June 1967 in Ravello
189270. Einführung in die allgemeine Informationstheorie
189271. Structural Linguistics and Human Communication: An Introduction into the Mechanism of Language and the Methodology of Linguistics
189272. Structural Linguistics and Human Communication: An Introduction into the Mechanism of Language and the Methodology of Linguistics
189273. Automat und Mensch: Über menschliche und maschinelle Intelligenz
189274. The System Concept and Its Application to Engineering
189275. Data Intensive Computing for Biodiversity
189276. Tuneable Film Bulk Acoustic Wave Resonators
189277. Newtonian Nonlinear Dynamics for Complex Linear and Optimization Problems
189278. Models for Intercultural Collaboration and Negotiation
189279. Elektromagnetische Verträglichkeit in der Praxis: Design-Analyse - Interpretation der Normen - Bewertung der Prüfergebnisse
189280. Data Acquisition Systems: From Fundamentals to Applied Design
189281. Biodegradable Polymer-Based Scaffolds for Bone Tissue Engineering
189282. The Technology of Binaural Listening
189283. Database of Piano Chords: An Engineering View of Harmony
189284. Wind Turbines: Fundamentals, Technologies, Application, Economics
189285. Effective Electron Mass in Low-Dimensional Semiconductors
189286. Selected Advances in Nanoelectronic Devices: Logic, Memory and RF
189287. Intelligent Audio Analysis
189288. Effective Properties of Heterogeneous Materials
189289. Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam: Volume 2
189290. Uncertain Fuzzy Preference Relations and Their Applications
189291. Megacity Mobility Culture: How Cities Move on in a Diverse World
189292. Grundkurs JAVA: Von den Grundlagen bis zu Datenbank- und Netzanwendungen
189293. Management von Biogas-Projekten: Rechtliche, technische und wirtschaftliche Aspekte
189294. Compound Control Methodology for Flight Vehicles
189295. Topics in Dynamics of Civil Structures, Volume 4: Proceedings of the 31st IMAC, A Conference on Structural Dynamics, 2013
189296. Control of Discrete-Event Systems: Automata and Petri Net Perspectives
189297. Advances in Fuzzy Implication Functions
189298. Design, Analysis and Test of Logic Circuits Under Uncertainty
189299. Informatics in Control, Automation and Robotics: 8th International Conference, ICINCO 2011 Noordwijkerhout, The Netherlands, July 28-31, 2011 Revised Selected Papers
189300. Decision Making Algorithms for Hydro-Power Plant Location
189301. Regelungstechnik 2: Mehrgrößensysteme, Digitale Regelung
189302. Design and Analysis of Materials and Engineering Structures
189303. High-Performance Computing Using FPGAs
189304. Intelligent Energy Demand Forecasting
189305. Automotive Radar Sensors in Silicon Technologies
189306. Haustechnik: Grundlagen - Planung - Ausführung
189307. Querying Moving Objects Detected by Sensor Networks
189308. Proceedings of the FISITA 2012 World Automotive Congress: Volume 11: Advanced Vehicle Manufacturing Technology
189309. Future Information Communication Technology and Applications: ICFICE 2013
189310. Proceedings of the FISITA 2012 World Automotive Congress: Volume 7: Vehicle Design and Testing (I)
189311. Generating Analog IC Layouts with LAYGEN II
189312. Structural Interfaces and Attachments in Biology
189313. Adaptive Dynamic Programming for Control: Algorithms and Stability
189314. Towards Adaptive Spoken Dialog Systems
189315. Topics in Medical Image Processing and Computational Vision
189316. Media Access Control and Resource Allocation: For Next Generation Passive Optical Networks
189317. Optimierung mechanischer Strukturen: Grundlagen und industrielle Anwendungen
189318. A Practical Design of Lumped, Semi-lumped & Microwave Cavity Filters
189319. Proceedings of the FISITA 2012 World Automotive Congress: Volume 12: Intelligent Transport System(ITS) & Internet of Vehicles
189320. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012
189321. Fundamentals of Nanoscaled Field Effect Transistors
189322. Intelligent Autonomous Systems 12: Volume 1 Proceedings of the 12th International Conference IAS-12, held June 26-29, 2012, Jeju Island, Korea
189323. Bioaugmentation for Groundwater Remediation
189324. Finite Element Analysis of the Collapse and Post-Collapse Behavior of Steel Pipes: Applications to the Oil Industry
189325. IAENG Transactions on Engineering Technologies: Special Edition of the World Congress on Engineering and Computer Science 2011
189326. Intelligent Sensing, Instrumentation and Measurements
189327. Control Performance Management in Industrial Automation: Assessment, Diagnosis and Improvement of Control Loop Performance
189328. Ultra Low Power Transceiver for Wireless Body Area Networks
189329. High Mobility and Quantum Well Transistors: Design and TCAD Simulation
189330. SpaceX: Making Commercial Spaceflight a Reality
189331. Materials for Nuclear Plants: From Safe Design to Residual Life Assessments
189332. Mathematik kompakt: für Ingenieure und Informatiker
189333. Advances in Intelligent Control Systems and Computer Science
189334. Computer Networks & Communications (NetCom): Proceedings of the Fourth International Conference on Networks & Communications
189335. Integrated Risk Governance: Science Plan and Case Studies of Large-scale Disasters
189336. Ethics for Biomedical Engineers
189337. IAENG Transactions on Engineering Technologies: Special Issue of the International MultiConference of Engineers and Computer Scientists 2012
189338. New Results in Numerical and Experimental Fluid Mechanics VIII: Contributions to the 17th STAB/DGLR Symposium Berlin, Germany 2010
189339. New Results in Dependability and Computer Systems: Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland
189340. Mathematik-Problemlösungen mit MATHCAD und MATHCAD PRIME
189341. Predictive Approaches to Control of Complex Systems
189342. Aufzüge und Fahrtreppen: Ein Anwenderhandbuch
189343. Proceedings of the Fourth International Conference on Signal and Image Processing 2012 (ICSIP 2012): Volume 1
189344. Image-Based Geometric Modeling and Mesh Generation
189345. Value Stream Design: The Way Towards a Lean Factory
189346. Flexible Adaptation in Cognitive Radios
189347. Stochastic Reliability and Maintenance Modeling: Essays in Honor of Professor Shunji Osaki on his 70th Birthday
189348. 7th International Conference on Knowledge Management in Organizations: Service and Cloud Computing
189349. Optimization Methods: From Theory to Design Scientific and Technological Aspects in Mechanics
189350. Proceedings of the FISITA 2012 World Automotive Congress: Volume 2: Advanced Internal Combustion Engines (II)
189351. CMOS Receiver Front-ends for Gigabit Short-Range Optical Communications
189352. Hierarchical Neural Network Structures for Phoneme Recognition
189353. Where Humans Meet Machines: Innovative Solutions for Knotty Natural-Language Problems
189354. Advances in Databases and Information Systems
189355. Wireless Cortical Implantable Systems
189356. IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design: Proceedings of the IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design, held Aberdeen, UK, 27-30 July 2010
189357. Engineering Mechanics 1: Statics
189358. Intelligent Routines: Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple
189359. Nonlinear Structural Mechanics: Theory, Dynamical Phenomena and Modeling
189360. Preventive Biomechanics: Optimizing Support Systems for the Human Body in the Lying and Sitting Position
189361. World Congress on Medical Physics and Biomedical Engineering May 26-31, 2012, Beijing, China
189362. Introduction to Wind Energy Systems: Basics, Technology and Operation
189363. Digital Image Forensics: There is More to a Picture than Meets the Eye
189364. Advanced Technologies for Intelligent Systems of National Border Security
189365. Geotechnical Predictions and Practice in Dealing with Geohazards
189366. European Identity through Space: Space Activities and Programmes as a Tool to Reinvigorate the European Identity
189367. Mercedes-Benz SL: Entwicklung und Technik
189368. Advanced Analysis and Design for Fire Safety of Steel Structures
189369. Applied Chemistry: A Textbook for Engineers and Technologists
189370. Chemistry for Sustainable Development in Africa
189371. Auf dem Weg zum Nullemissionsgebäude: Grundlagen, Lösungsansätze, Beispiele
189372. Use of Extraterrestrial Resources for Human Space Missions to Moon or Mars
189373. Proceedings of the FISITA 2012 World Automotive Congress: Volume 1: Advanced Internal Combustion Engines (I)
189374. Complex Networks
189375. Modeling and Control of a Large Nuclear Reactor: A Three-Time-Scale Approach
189376. Solid Mechanics: A Variational Approach, Augmented Edition
189377. EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV: International Conference held at Leiden University, July 10-13, 2013
189378. Continuum Mechanics of Anisotropic Materials
189379. Wirelessly Powered Sensor Networks and Computational RFID
189380. Robot Mechanisms
189381. Personal Satellite Services: 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers
189382. Design and Management of Sustainable Built Environments
189383. ICoRD'13: Global Product Development
189384. Nonlinearities and Synchronization in Musical Acoustics and Music Psychology
189385. Conference on Future Automotive Technology: Focus Electro Mobility
189386. Simulation diskreter Prozesse: Methoden und Anwendungen
189387. Elementary Continuum Mechanics for Everyone: With Applications to Structural Mechanics
189388. Cleaner Combustion and Sustainable World
189389. Campbell's Atlas of Oil and Gas Depletion
189390. Precision Instrumentation Amplifiers and Read-Out Integrated Circuits
189391. Analysis and Synthesis of Singular Systems with Time-Delays
189392. Gepäcklogistik auf Flughäfen: Grundlagen, Systeme, Konzepte und Perspektiven
189393. Introduction to Biosensors: From Electric Circuits to Immunosensors
189394. Routing for Wireless Multi-Hop Networks
189395. Creating Shared Understanding in Product Development Teams: How to ‘Build the Beginning’
189396. Semantic 3D Object Maps for Everyday Robot Manipulation
189397. Economic Modeling Using Artificial Intelligence Methods
189398. Time Multiplexed Beam-Forming with Space-Frequency Transformation
189399. Proceedings of the FISITA 2012 World Automotive Congress: Volume 10: Chassis Systems and Integration Technology
189400. Flow and Combustion in Advanced Gas Turbine Combustors
189401. Intelligent Technologies and Engineering Systems
189402. Common Rail System for GDI Engines: Modelling, Identification, and Control
189403. Steels: From Materials Science to Structural Engineering
189404. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 2
189405. Fundamentals of Inertial Navigation, Satellite-based Positioning and their Integration
189406. Introducing Spoken Dialogue Systems into Intelligent Environments
189407. Project Management for Environmental, Construction and Manufacturing Engineers: A Manual for Putting Theory into Practice
189408. Semantic Hyper/Multimedia Adaptation: Schemes and Applications
189409. Agent-Based Modelling of Socio-Technical Systems
189410. Mechanics of Biological Systems and Materials, Volume 5: Proceedings of the 2012 Annual Conference on Experimental and Applied Mechanics
189411. High Performance Grinding and Advanced Cutting Tools
189412. Knowledge-Based Systems in Biomedicine and Computational Life Science
189413. Mechanical and Chemical Signaling in Angiogenesis
189414. Design and Testing of Digital Microfluidic Biochips
189415. High-Performance D/A-Converters: Application to Digital Transceivers
189416. Integrated Catastrophe Risk Modeling: Supporting Policy Processes
189417. Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
189418. Extremes in a Changing Climate: Detection, Analysis and Uncertainty
189419. Space Program Management: Methods and Tools
189420. Robot Intelligence Technology and Applications 2012: An Edition of the Presented Papers from the 1st International Conference on Robot Intelligence Technology and Applications
189421. Self-Organization in Embedded Real-Time Systems
189422. Grundlagen der digitalen Informationsübertragung: Von der Theorie zu Mobilfunkanwendungen
189423. Wireless Sensor Networks and Ecological Monitoring
189424. Engineering Risk and Finance
189425. Treatise on Classical Elasticity: Theory and Related Problems
189426. Regulation of the Power Sector
189427. Interference Cancellation Using Space-Time Processing and Precoding Design
189428. Computational Intelligence and Decision Making: Trends and Applications
189429. SemProM: Foundations of Semantic Product Memories for the Internet of Things
189430. Designing Receptors for the Next Generation of Biosensors
189431. Computer and Information Sciences III: 27th International Symposium on Computer and Information Sciences
189432. Informatics and Management Science I
189433. Natural Convective Heat Transfer from Narrow Plates
189434. Handbook on Continuous Improvement Transformation: The Lean Six Sigma Framework and Systematic Methodology for Implementation
189435. Advanced Control of Wheeled Inverted Pendulum Systems
189436. Emerging Paradigms in Machine Learning
189437. Age-Differentiated Work Systems
189438. Composite Materials and Joining Technologies for Composites, Volume 7: Proceedings of the 2012 Annual Conference on Experimental and Applied Mechanics
189439. Methode der Randelemente in Statik und Dynamik
189440. Reliability Physics and Engineering: Time-To-Failure Modeling
189441. Handbook of Signal Processing Systems
189442. Repetitive Motion Planning and Control of Redundant Robot Manipulators
189443. Aufgabensammlung Technische Mechanik: Abgestimmt auf die 30. Auflage des Lehrbuchs
189444. Emotional Engineering vol. 2
189445. GIS to Support Cost-effective Decisions on Renewable Sources: Applications for low temperature geothermal energy
189446. Methods of Signal Processing for Adaptive Antenna Arrays
189447. Terahertz Spectroscopy and Imaging
189448. Informatics and Management Science VI
189449. A Guide to Continuous Improvement Transformation: Concepts, Processes, Implementation
189450. Quality Control Applications
189451. Acoustic Metamaterials: Negative Refraction, Imaging, Lensing and Cloaking
189452. China Satellite Navigation Conference (CSNC) 2013 Proceedings: BeiDou/GNSS Navigation Applications • Test & Assessment Technology • User Terminal Technology
189453. Funktionentheorie: Höhere Mathematik für Ingenieure, Naturwissenschaftler und Mathematiker
189454. Verkehrssicherheit: Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr
189455. Planung, Anlage und Betrieb von Flugplätzen
189456. Analysis and Transceiver Design for the MIMO Broadcast Channel
189457. Robust Emotion Recognition using Spectral and Prosodic Features
189458. Intelligent Computer Graphics 2012
189459. Concept Generation for Design Creativity: A Systematized Theory and Methodology
189460. Management of Water Resources in Protected Areas
189461. Automatic Speech Signal Analysis for Clinical Diagnosis and Assessment of Speech Disorders
189462. Designing for Network and Service Continuity in Wireless Mesh Networks
189463. Irreducibility and Computational Equivalence: 10 Years After Wolfram's A New Kind of Science
189464. Computational Electromagnetics
189465. Advanced Flip Chip Packaging
189466. Buckling of Ship Structures
189467. Advanced Color Image Processing and Analysis
189468. Finanzierung und Bilanzierung in der Bauwirtschaft: Basel II/III - neue Finanzierungsmodelle - IFRS - BilMoG
189469. Intelligent Financial Portfolio Composition based on Evolutionary Computation Strategies
189470. MEMS-based Circuits and Systems for Wireless Communication
189471. High Impulse Voltage and Current Measurement Techniques: Fundamentals – Measuring Instruments – Measuring Methods
189472. Biologically Responsive Biomaterials for Tissue Engineering
189473. Standardization in Smart Grids: Introduction to IT-Related Methodologies, Architectures and Standards
189474. Nonlinear Dynamics in Complex Systems: Theory and Applications for the Life-, Neuro- and Natural Sciences
189475. Analog Organic Electronics: Building Blocks for Organic Smart Sensor Systems on Foil
189476. Nonlinear Stochastic Systems with Incomplete Information: Filtering and Control
189477. Multiagent Systems and Applications: Volume 2: Development Using the GORITE BDI Framework
189478. Acoustic Metamaterials and Phononic Crystals
189479. Color Medical Image Analysis
189480. Polishing of Diamond Materials: Mechanisms, Modeling and Implementation
189481. Transport Development in Asian Megacities: A New Perspective
189482. The Cell Method for Electrical Engineering and Multiphysics Problems: An Introduction
189483. Modeling Users' Experiences with Interactive Systems
189484. Introduction to Thin Film Transistors: Physics and Technology of TFTs
189485. Miniature Joule-Thomson Cryocooling: Principles and Practice
189486. LTE-Advanced Relay Technology and Standardization
189487. Principles of Loads and Failure Mechanisms: Applications in Maintenance, Reliability and Design
189488. Team Cooperation in a Network of Multi-Vehicle Unmanned Systems: Synthesis of Consensus Algorithms
189489. Signals and Transforms in Linear Systems Analysis
189490. Three Approaches to Data Analysis: Test Theory, Rough Sets and Logical Analysis of Data
189491. Technisches Freihandzeichnen: Lehr- und Übungsbuch
189492. GPR Remote Sensing in Archaeology
189493. Analog-to-Digital Conversion
189494. Innovations in Intelligent Machines -3: Contemporary Achievements in Intelligent Systems
189495. Innovation By Design: Lessons from Post Box Design & Development
189496. Intelligent Tools for Building a Scientific Information Platform: Advanced Architectures and Solutions
189497. Advances in Sustainable and Competitive Manufacturing Systems: 23rd International Conference on Flexible Automation & Intelligent Manufacturing
189498. Human Factors in Augmented Reality Environments
189499. Höhere Mathematik für Ingenieure: Band I: Analysis
189500. Cement-Based Materials for Nuclear Waste Storage
189501. Design, Fabrication and Economy of Metal Structures: International Conference Proceedings 2013, Miskolc, Hungary, April 24-26, 2013
189502. Hydrogen Production from Nuclear Energy
189503. Synergies of Soft Computing and Statistics for Intelligent Data Analysis
189504. Computational Electromagnetics and Model-Based Inversion: A Modern Paradigm for Eddy-Current Nondestructive Evaluation
189505. Hybrid Predictive Control for Dynamic Transport Problems
189506. Advanced Mechanics of Piezoelectricity
189507. Construction Safety
189508. Biosensors and Invasive Monitoring in Clinical Applications
189509. Optical Interconnects for Future Data Center Networks
189510. Advanced Computational Methods for Knowledge Engineering
189511. Recent Advances in Robotics and Automation
189512. Systems Biomechanics of the Cell
189513. Proceedings of 2013 Chinese Intelligent Automation Conference: Intelligent Information Processing
189514. Aufgabensammlung Werkstoffkunde: Fragen - Antworten
189515. LISS 2012: Proceedings of 2nd International Conference on Logistics, Informatics and Service Science
189516. Pollution Under Environmental Regulation in Energy Markets
189517. Physique appliquée à l’exposition externe: Dosimétrie et radioprotection
189518. Theory of Parallel Mechanisms
189519. Wearing Embodied Emotions: A Practice Based Design Research on Wearable Technology
189520. Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws: Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012
189521. Network-Embedded Management and Applications: Understanding Programmable Networking Infrastructure
189522. Time Series Analysis, Modeling and Applications: A Computational Intelligence Perspective
189523. The Anticipation of Converging Industries: A Concept Applied to Nutraceuticals and Functional Foods
189524. Nuclear Energy: Selected Entries from the Encyclopedia of Sustainability Science and Technology
189525. Characterization and Development of Biosystems and Biomaterials
189526. Closing the Gap: GEF Experiences in Global Energy Efficiency
189527. Robotic Tactile Sensing: Technologies and System
189528. Architecture of Brazil: 1900-1990
189529. Computational Flight Testing: Results of the Closing Symposium of the German Research Initiative ComFliTe, Braunschweig, Germany, June 11th-12th, 2012
189530. Selected Topics in Micro/Nano-robotics for Biomedical Applications
189531. Proceedings of the FISITA 2012 World Automotive Congress: Volume 6: Vehicle Electronics
189532. Isotopes in Condensed Matter
189533. Inside Solid State Drives (SSDs)
189534. Soft Computing Models in Industrial and Environmental Applications: 7th International Conference, SOCO’12, Ostrava, Czech Republic, September 5th-7th, 2012
189535. Advancement in Sensing Technology: New Developments and Practical Applications
189536. Nyquist AD Converters, Sensor Interfaces, and Robustness: Advances in Analog Circuit Design, 2012
189537. Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012: Volume 4
189538. IAENG Transactions on Engineering Technologies: Special Volume of the World Congress on Engineering 2012
189539. Action Rules Mining
189540. Robust Manufacturing Control: Proceedings of the CIRP Sponsored Conference RoMaC 2012, Bremen, Germany, 18th-20th June 2012
189541. Modeling Approaches and Algorithms for Advanced Computer Applications
189542. Advances in Network Analysis and its Applications
189543. Minimum Error Entropy Classification
189544. Adaptive Filtering: Algorithms and Practical Implementation
189545. Hyperspectral Image Fusion
189546. Low Dimensional Semiconductor Structures: Characterization, Modeling and Applications
189547. New Foundations in Mathematics: The Geometric Concept of Number
189548. Efficient Algorithms for Discrete Wavelet Transform: With Applications to Denoising and Fuzzy Inference Systems
189549. Treatise on Sustainability Science and Engineering
189550. Stem Cells and Tissue Engineering
189551. Human Walking in Virtual Environments: Perception, Technology, and Applications
189552. TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains
189553. Employment Location in Cities and Regions: Models and Applications
189554. Fundamentals of Space Business and Economics
189555. Multimedia Processing, Communication and Computing Applications: Proceedings of the First International Conference, ICMCCA, 13-15 December 2012
189556. Dental Pulp Stem Cells
189557. Optimal Analysis of Structures by Concepts of Symmetry and Regularity
189558. Das Kraft- und Weggrößenverfahren in Beispielen
189559. Micro and Nano Flow Systems for Bioanalysis
189560. Factor X: Re-source - Designing the Recycling Society
189561. Designing TSVs for 3D Integrated Circuits
189562. Contemporary Challenges and Solutions in Applied Artificial Intelligence
189563. Carbon Nanotube Enhanced Aerospace Composite Materials: A New Generation of Multifunctional Hybrid Structural Composites
189564. Professor I. I. Glass: A Tribute and Memorial
189565. Algorithmic Foundations of Robotics X: Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics
189566. Implantable Cardiac Devices Technology
189567. Underground Thermal Energy Storage
189568. Intelligent Mechatronic Systems: Modeling, Control and Diagnosis
189569. Laser Shock Processing of FCC Metals: Mechanical Properties and Micro-structural Strengthening Mechanism
189570. Vibration of Hydraulic Machinery
189571. Performance of Cement-Based Materials in Aggressive Aqueous Environments: State-of-the-Art Report, RILEM TC 211 - PAE
189572. Wirtschaftsverkehr 2013: Datenerfassung und verkehrsträgerübergreifende Modellierung des Güterverkehrs als Entscheidungsgrundlage für die Verkehrspolitik
189573. Adaptive, tolerant and efficient composite structures
189574. Wasserversorgung: Gewinnung - Aufbereitung - Speicherung - Verteilung
189575. Motion Estimation Techniques for Digital Video Coding
189576. Decreasing Fuel Consumption and Exhaust Gas Emissions in Transportation: Sensing, Control and Reduction of Emissions
189577. Proceedings of the FISITA 2012 World Automotive Congress: Volume 5: Advanced Transmission System and Driveline
189578. Aggregation Functions in Theory and in Practise: Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013
189579. Pretreatment Techniques for Biofuels and Biorefineries
189580. Mechanics Down Under: Proceedings of the 22nd International Congress of Theoretical and Applied Mechanics, held in Adelaide, Australia, 24 - 29 August, 2008.
189581. Robust SRAM Designs and Analysis
189582. Signals and Systems in Biomedical Engineering: Signal Processing and Physiological Systems Modeling
189583. Proceedings of the FISITA 2012 World Automotive Congress: Volume 13: Noise, Vibration and Harshness (NVH)
189584. Technische Schwingungslehre: Grundlagen - Modellbildung - Anwendungen
189585. 3D Immersive and Interactive Learning
189586. Engineering IT-Enabled Sustainable Electricity Services: The Tale of Two Low-Cost Green Azores Islands
189587. Nondestructive Testing of Materials and Structures
189588. On Statistical Pattern Recognition in Independent Component Analysis Mixture Modelling
189589. Fossil Energy: Selected Entries from the Encyclopedia of Sustainability Science and Technology
189590. Proceedings of All India Seminar on Biomedical Engineering 2012 (AISOBE 2012)
189591. Evaluating Measurement Accuracy: A Practical Approach
189592. Renewable Energies and CO2 : Cost Analysis, Environmental Impacts and Technological Trends- 2012 Edition
189593. Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012
189594. Solarturmreceiver für überkritische Dampfprozesse und ihre technische und ökonomische Bewertung
189595. Maritime Governance and Policy-Making
189596. Randomized Algorithms for Analysis and Control of Uncertain Systems: With Applications
189597. Nachhaltige Wasserbewirtschaftung: Konzept und Umsetzung eines vernünftigen Umgangs mit dem Gemeingut Wasser
189598. Aerodynamic Noise: An Introduction for Physicists and Engineers
189599. Technology Roadmapping for Strategy and Innovation: Charting the Route to Success
189600. Combinations of Intelligent Methods and Applications: Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012
189601. Proceedings of the Third International Conference on Intelligent Human Computer Interaction (IHCI 2011), Prague, Czech Republic, August, 2011
189602. Embedded Control System Design: A Model Based Approach
189603. Technological Innovation for the Internet of Things: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013. Proceedings
189604. Multiphysical Testing of Soils and Shales
189605. The Philosopher's Stone for Sustainability: Proceedings of the 4th CIRP International Conference on Industrial Product-Service Systems, Tokyo, Japan, November 8th - 9th, 2012
189606. Green Manufacturing: Fundamentals and Applications
189607. Converter Applications and their Influence on Large Electrical Machines
189608. Kalkulation, Preisbildung und Controlling in der Bauwirtschaft: Produktionsprozessorientierte Kostenberechnung und Kostensteuerung
189609. Management geistigen Eigentums: Die unternehmerische Gestaltung des Technologieverwertungsrechts
189610. Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials
189611. Begriffswelt der Feldtheorie: Elektromagnetische Felder, Maxwell-Gleichungen, Gradient, Rotation, Divergenz
189612. Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
189613. Introduction to Analytical Methods for Internal Combustion Engine Cam Mechanisms
189614. Determinants of Construction Project Success in India
189615. Requirements Engineering and Management for Software Development Projects
189616. International Symposium on Biomedical Engineering and Medical Physics, 10-12 October, 2012, Riga, Latvia
189617. Semantic Analysis of Verbal Collocations with Lexical Functions
189618. Management of Complex Multi-reservoir Water Distribution Systems using Advanced Control Theoretic Tools and Techniques
189619. Multi-Scale Modeling and Characterization of Infrastructure Materials: Proceedings of the International RILEM Symposium Stockholm, June 2013
189620. Routing in Opportunistic Networks
189621. Beyond Artificial Intelligence: Contemplations, Expectations, Applications
189622. Model-Based Fault Diagnosis Techniques: Design Schemes, Algorithms and Tools
189623. Sky Alert!: When Satellites Fail
189624. Network Robustness under Large-Scale Attacks
189625. Progress in Nanophotonics 2
189626. Quantitatives Entwicklungsmanagement: Modellbasierte Analyse von Produktentwicklungsprozessen
189627. IEEE 802.15.4 and ZigBee as Enabling Technologies for Low-Power Wireless Systems with Quality-of-Service Constraints
189628. Strategic Planning Decisions in the High Tech Industry
189629. Information ist Energie: Definition eines physikalisch begründeten Informationsbegriffs
189630. V Latin American Congress on Biomedical Engineering CLAIB 2011 May 16-21, 2011, Habana, Cuba: Sustainable Technologies for the Health of All
189631. Antenna Arrays and Automotive Applications
189632. Stochastic Modeling for Reliability: Shocks, Burn-in and Heterogeneous populations
189633. Advances in Intelligent Systems and Applications - Volume 1: Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
189634. Piloter la sécurité: Théorie et pratiques sur les compromis et les arbitrages nécessaires
189635. Making Starships and Stargates: The Science of Interstellar Transport and Absurdly Benign Wormholes
189636. Recent Advances in Contact Mechanics: Papers Collected at the 5th Contact Mechanics International Symposium (CMIS2009), April 28-30, 2009, Chania, Greece
189637. Innovations and Advances in Computer, Information, Systems Sciences, and Engineering
189638. Nonlinear Optimization Applications Using the GAMS Technology
189639. Elektrotechnik für Ingenieure 3: Ausgleichsvorgänge, Fourieranalyse, Vierpoltheorie. Ein Lehr- und Arbeitsbuch für das Grundstudium
189640. Mass Customization and Sustainability: An assessment framework and industrial implementation
189641. Transformationen und Signale
189642. Proceedings of the 2012 International Conference on Cybernetics and Informatics
189643. Tribology in Manufacturing Technology
189644. IntelliBau 2: Das intelligente Bauteil im integrierten Gebäudemodell
189645. Mechanism Design for Sustainability: Techniques and Cases
189646. Passivity-Based Model Predictive Control for Mobile Vehicle Motion Planning
189647. Fast Hopping Frequency Generation in Digital CMOS
189648. Mathematik für Physiker und Ingenieure 2: Basiswissen für das Grundstudium - mit mehr als 900 Aufgaben und Lösungen online
189649. Robust Structural Design against Self-Excited Vibrations
189650. Resource Allocation in Decentralized Systems with Strategic Agents: An Implementation Theory Approach
189651. New Perspectives on Computational and Cognitive Strategies for Word Sense Disambiguation
189652. Mathematical Methods and Models in Biomedicine
189653. CMOS Integrated Capacitive DC-DC Converters
189654. Clean Energy Systems in the Subsurface: Production, Storage and Conversion: Proceedings of the 3rd Sino-German Conference “Underground Storage of CO2 and Energy”, Goslar, Germany, 21-23 May 2013
189655. Höhere Mathematik für Ingenieure: Band III: Gewöhnliche Differentialgleichungen, Distributionen, Integraltransformationen
189656. Advanced Dynamic Modeling of Economic and Social Systems
189657. Introduction to Risk and Uncertainty in Hydrosystem Engineering
189658. The Next Economics: Global Cases in Energy, Environment, and Climate Change
189659. China in Space: The Great Leap Forward
189660. Call Admission Control in Mobile Cellular Networks
189661. Praxishandbuch Operational Due Diligence: Bewertung der operativen Leistungsfähigkeit produzierender Unternehmen
189662. Handbook of operations research for homeland security
189663. New Advances in Gastrointestinal Motility Research
189664. Noise Sources in Turbulent Shear Flows: Fundamentals and Applications
189665. Autonomous Control Systems and Vehicles: Intelligent Unmanned Systems
189666. Automotive Painting Technology: A Monozukuri-Hitozukuri Perspective
189667. High Interstitial Stainless Austenitic Steels
189668. The Offshoring Challenge: Strategic Design and Innovation for Tomorrow’s Organization
189669. Proceedings of 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012)
189670. Structural Analysis of Composite Wind Turbine Blades: Nonlinear Mechanics and Finite Element Models with Material Damping
189671. Water Supply Network District Metering: Theory and Case Study
189672. Laser Surface Processing and Model Studies
189673. Advances in Mechanical and Electronic Engineering: Volume 3
189674. Advanced Biofuels and Bioproducts
189675. The 9th International Conference on Computing and InformationTechnology (IC2IT2013): 9th-10th May 2013 King Mongkut's University of Technology North Bangkok
189676. Stochastic Networked Control Systems: Stabilization and Optimization under Information Constraints
189677. EMV: Störungssicherer Aufbau elektronischer Schaltungen
189678. Trimming, Miniaturization and Ideality via Convolution Technique of TRIZ: A Guide to Lean and High-level Inventive Design
189679. The Craft of Scientific Presentations: Critical Steps to Succeed and Critical Errors to Avoid
189680. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming: Analysis, Simulation and Engineering Applications
189681. Laser-Assisted Fabrication of Materials
189682. Redundancy in Robot Manipulators and Multi-Robot Systems
189683. Dimension-based Quality Modeling of Transmitted Speech
189684. Principles of Physics: For Scientists and Engineers
189685. Batteries for Sustainability: Selected Entries from the Encyclopedia of Sustainability Science and Technology
189686. Intelligent Fractional Order Systems and Control: An Introduction
189687. Topics in Dynamics of Bridges, Volume 3: Proceedings of the 31st IMAC, A Conference on Structural Dynamics, 2013
189688. Supply Chain Collaboration: Roles of Interorganizational Systems, Trust, and Collaborative Culture
189689. Discrimination and Privacy in the Information Society: Data Mining and Profiling in Large Databases
189690. Efficient 3D Scene Modeling and Mosaicing
189691. Advances in Intelligent Signal Processing and Data Mining: Theory and Applications
189692. Dental Biotribology
189693. Recent Advances in Research on Unmanned Aerial Vehicles
189694. Proceedings of 2013 Chinese Intelligent Automation Conference: Intelligent Automation
189695. Das Elektroauto: Mobilität im Umbruch
189696. Approaches to Probabilistic Model Learning for Mobile Manipulation Robots
189697. Chaos in Switching Converters for Power Management: Designing for Prediction and Control
189698. Using Game Theory to Improve Safety within Chemical Industrial Parks
189699. Industrielle Services strategisch optimieren: Service Excellence
189700. Infrastructure Public-Private Partnerships: Decision, Management and Development
189701. The Value of RFID: Benefits vs. Costs
189702. Bordnetze und Powermanagement: Thermische Modellbildung für elektrische und elektronische Bauelemente
189703. Handbook on Advanced Design and Manufacturing Technologies for Biomedical Devices
189704. Technische Mechanik: Statik, Festigkeitslehre, Kinematik/Kinetik
189705. Developing Biofuel Bioprocesses Using Systems and Synthetic Biology
189706. Modeling and Optimization in Space Engineering
189707. Optimizing Stormwater Treatment Practices: A Handbook of Assessment and Maintenance
189708. Unfallmechanik und Unfallrekonstruktion: Grundlagen der Unfallaufklärung
189709. Metaheuristics for Bi-level Optimization
189710. Consensus and Synchronization in Complex Networks
189711. Embedded Systems for Smart Appliances and Energy Management
189712. Grid Integration and Dynamic Impact of Wind Energy
189713. Organic Solar Cells: Materials and Device Physics
189714. Multimedia Services in Intelligent Environments: Recommendation Services
189715. Land Subsidence Analysis in Urban Areas: The Bangkok Metropolitan Area Case Study
189716. Rotors: Stress Analysis and Design
189717. Advances in Dynamic Games: Theory, Applications, and Numerical Methods for Differential and Stochastic Games
189718. Optimal Control of Hybrid Vehicles
189719. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 5
189720. Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach
189721. Electrocatalysis in Fuel Cells: A Non- and Low- Platinum Approach
189722. Melt Rheology and its Applications in the Plastics Industry
189723. Advances in Knowledge Discovery and Management
189724. Cross-Layer Design in Optical Networks
189725. Städtebauliches Entwerfen
189726. Studies on Urban Vehicular Ad-hoc Networks
189727. Optical Absorption of Impurities and Defects in Semiconducting Crystals: Electronic Absorption of Deep Centres and Vibrational Spectra
189728. Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications
189729. Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012: Volume 5
189730. Fabrication of Complex Optical Components: From Mold Design to Product
189731. Modern Gas-Based Temperature and Pressure Measurements
189732. VLSI Analog Filters: Active RC, OTA-C, and SC
189733. Biomaterials Associated Infection: Immunological Aspects and Antimicrobial Strategies
189734. Study of Movement Speeds Down Stairs
189735. Elektrotechnik für Ingenieure - Formelsammlung: Elektrotechnik kompakt
189736. Skeletal Aging and Osteoporosis: Biomechanics and Mechanobiology
189737. Sportgerätetechnik: Entwicklung und Optimierung von Sportgeräten
189738. Digital Enterprise Design and Management 2013: Proceedings of the First International Conference on Digital Enterprise Design and Management DED&M 2013
189739. New Trends in Databases and Information Systems
189740. Congestion Control in Data Transmission Networks: Sliding Mode and Other Designs
189741. Flash Floods: Forecasting and Warning
189742. Image Processing using Pulse-Coupled Neural Networks: Applications in Python
189743. Multilayer Integrated Film Bulk Acoustic Resonators
189744. Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2012): Volume 1
189745. Advances in the Theory and Applications of Non-integer Order Systems: 5th Conference on Non-integer Order Calculus and Its Applications, Cracow, Poland
189746. Sustainability in Energy and Buildings: Proceedings of the 4th International Conference in Sustainability in Energy and Buildings (SEB´12)
189747. Fast Solar Sailing: Astrodynamics of Special Sailcraft Trajectories
189748. Quality Management in Reverse Logistics: A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains
189749. SRAM Design for Wireless Sensor Networks: Energy Efficient and Variability Resilient Techniques
189750. Elektrotechnik für Ingenieure 2: Wechselstromtechnik, Ortskurven, Transformator, Mehrphasensysteme. Ein Lehr- und Arbeitsbuch für das Grundstudium
189751. Navigating Safety: Necessary Compromises and Trade-Offs - Theory and Practice
189752. Distributed Medium Access Control in Wireless Networks
189753. Power System Coherency and Model Reduction
189754. Discovery and Selection of Semantic Web Services
189755. Dynamics of Tree-Type Robotic Systems
189756. Green Communication and Networking: Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers
189757. Dezentrale Energiewende: Chancen und Herausforderungen
189758. Amorphous Silicon / Crystalline Silicon Heterojunction Solar Cells
189759. Emerging Technologies for Information Systems, Computing, and Management
189760. Laser Drilling: Practical Applications
189761. Traffic Measurement on the Internet
189762. Energy-aware Scheduling on Multiprocessor Platforms
189763. Autonomous Sensor Networks: Collective Sensing Strategies for Analytical Purposes
189764. Aero and Vibroacoustics of Automotive Turbochargers
189765. Grundkurs Leistungselektronik: Bauelemente, Schaltungen und Systeme
189766. Proceedings of the FISITA 2012 World Automotive Congress: Volume 4: Future Automotive Powertrains (II)
189767. Topics in Nonlinear Dynamics, Volume 1: Proceedings of the 31st IMAC, A Conference on Structural Dynamics, 2013
189768. Nuclear Rocket Engine Reactor
189769. 3D Biometrics: Systems and Applications
189770. Wireless Power Transfer for Medical Microsystems
189771. The Soyuz Launch Vehicle: The Two Lives of an Engineering Triumph
189772. Nanotechnology for Lithium-Ion Batteries
189773. Neural Engineering
189774. RoboCup 2012: Robot Soccer World Cup XVI
189775. Room Acoustical Fields
189776. Automotive Systems Engineering
189777. Intelligence Computation and Evolutionary Computation: Results of 2012 International Conference of Intelligence Computation and Evolutionary Computation ICEC 2012 Held July 7, 2012 in Wuhan, China
189778. Weather Modeling and Forecasting of PV Systems Operation
189779. Infobiotics: Information in Biotic Systems
189780. Fuzziness and Foundations of Exact and Inexact Sciences
189781. Grundlagen der Steuerungstechnik: Einführung mit Übungen
189782. Brain Theory From A Circuits And Systems Perspective: How Electrical Science Explains Neuro-circuits, Neuro-systems, and Qubits
189783. Space Debris and Other Threats from Outer Space
189784. Towards Advanced Data Analysis by Combining Soft Computing and Statistics
189785. Bases, outils et principes pour l'analyse variationnelle
189786. Advances in Energy Harvesting Methods
189787. Silicone Composite Insulators: Materials, Design, Applications
189788. Nanoscale Applications for Information and Energy Systems
189789. Vowel Inherent Spectral Change
189790. Pulling G: Human Responses to High and Low Gravity
189791. Ship and Offshore Structure Design in Climate Change Perspective
189792. CLEAN: CO2 Large-Scale Enhanced Gas Recovery in the Altmark Natural Gas Field - GEOTECHNOLOGIEN Science Report No. 19
189793. The Effects of Traffic Structure on Application and Network Performance
189794. Sustained Simulation Performance 2012: Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
189795. Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures
189796. Proceedings of Seventh International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA 2012): Volume 2
189797. Aspects of Computational Intelligence: Theory and Applications: Revised and Selected Papers of the 15th IEEE International Conference on Intelligent Engineering Systems 2011, INES 2011
189798. Digital Functions and Data Reconstruction: Digital-Discrete Methods
189799. Advances in Computing and Information Technology: Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India - Volume 3
189800. Grundlagen der Baubetriebslehre 1: Baubetriebswirtschaft
189801. Selected Topics in Nonlinear Dynamics and Theoretical Electrical Engineering
189802. Essentials of Risk Theory
189803. Recycled Aggregate in Concrete: Use of Industrial, Construction and Demolition Waste
189804. Dimensionality Reduction with Unsupervised Nearest Neighbors
189805. Lazare and Sadi Carnot: A Scientific and Filial Relationship
189806. Hygrothermal Numerical Simulation Tools Applied to Building Physics
189807. 3D-TV System with Depth-Image-Based Rendering: Architectures, Techniques and Challenges
189808. The Modernization Potential of Gas Turbines in the Coal-Fired Power Industry: Thermal and Economic Effectiveness
189809. The Contribution of Technology to Added Value
189810. Soft Computing Applications in Optimization, Control, and Recognition
189811. Soft Computing Applications: Proceedings of the 5th International Workshop Soft Computing Applications (SOFA)
189812. Strain Hardening Cement Composites: Structural Design and Performance: State-of-the-Art Report of the RILEM Technical Committee 208-HFC, SC3
189813. Marine Robot Autonomy
189814. Agentensysteme in der Automatisierungstechnik
189815. Embedded Multimedia Security Systems: Algorithms and Architectures
189816. Online Scheduling in Manufacturing: A Cumulative Delay Approach
189817. Parallel Programming: for Multicore and Cluster Systems
189818. Micromechanics Modelling of Ductile Fracture
189819. Erneuerbare Energien: Systemtechnik, Wirtschaftlichkeit, Umweltaspekte
189820. Advanced Mechatronics and MEMS Devices
189821. Modeling and Control of Magnetic Fluid Deformable Mirrors for Adaptive Optics Systems
189822. Informatics and Management Science V
189823. Sound & Vibration 2.0: Design Guidelines for Health Care Facilities
189824. Efficient Topology Estimation for Large Scale Optical Mapping
189825. RFID as an Infrastructure
189826. An Intelligent Customer Complaint Management System with Application to the Transport and Logistics Industry
189827. Fundamentals of Space Law and Policy
189828. Biomedical Imaging and Computational Modeling in Biomechanics
189829. 3D Video Coding for Embedded Devices: Energy Efficient Algorithms and Architectures
189830. Cooperative Networking in a Heterogeneous Wireless Medium
189831. Pulvermetallurgische Fertigungstechnik
189832. Distributed Space Missions for Earth System Monitoring
189833. Proceedings of the 26th Conference of Spacecraft TT&C Technology in China: Shared and Flexible TT&C (Tracking, Telemetry and Command) Systems
189834. Vision Based Autonomous Robot Navigation: Algorithms and Implementations
189835. Pediatric Injury Biomechanics: Archive & Textbook
189836. Sicherheitsgerichtete Echtzeitsysteme
189837. Fuel Cells: Selected Entries from the Encyclopedia of Sustainability Science and Technology
189838. Micro-Nanorobotic Manipulation Systems and Their Applications
189839. System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
189840. Design for High Performance, Low Power, and Reliable 3D Integrated Circuits
189841. Electromagnetic Compatibility in Railways: Analysis and Management
189842. On Orbit and Beyond: Psychological Perspectives on Human Spaceflight
189843. Betriebswirtschaftslehre für Ingenieure
189844. Resilient Energy Systems: Renewables: Wind, Solar, Hydro
189845. Electronics for Guitarists
189846. Quality Issues in the Management of Web Information
189847. Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
189848. Nanometer Variation-Tolerant SRAM: Circuits and Statistical Design for Yield
189849. Advances in Probabilistic Databases for Uncertain Information Management
189850. Rural Electrification Through Decentralised Off-grid Systems in Developing Countries
189851. Nanoferroics
189852. From Fault Classification to Fault Tolerance for Multi-Agent Systems
189853. Nonlinear Behaviour and Stability of Thin-Walled Shells
189854. Hybrid Metaheuristics
189855. Observer-Based Fault Estimation and Accomodation for Dynamic Systems
189856. Particle Filters for Random Set Models
189857. Moon Bound: Choosing and Preparing NASA's Lunar Astronauts
189858. Orchestrating Human-Centered Design
189859. Radial Basis Function (RBF) Neural Network Control for Mechanical Systems: Design, Analysis and Matlab Simulation
189860. Hochwasser-Handbuch: Auswirkungen und Schutz
189861. Wireless Vehicular Networks for Car Collision Avoidance
189862. Robotized Transcranial Magnetic Stimulation
189863. Optimization of PID Controllers Using Ant Colony and Genetic Algorithms
189864. Multiscale Computer Modeling in Biomechanics and Biomedical Engineering
189865. High Permittivity Gate Dielectric Materials
189866. Advances in Biofuels
189867. Computational Biomechanics for Medicine: Models, Algorithms and Implementation
189868. Nanoenergy: Nanotechnology Applied for Energy Production
189869. Grain Boundaries: From Theory to Engineering
189870. Dynamic-Mismatch Mapping for Digitally-Assisted DACs
189871. Advances in Intelligent Systems and Applications - Volume 2: Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
189872. Linear Models in the Mathematics of Uncertainty
189873. Multi-finger Haptic Interaction
189874. Discrete Fracture Network Modeling of Hydraulic Stimulation: Coupling Flow and Geomechanics
189875. Physical Unclonable Functions in Theory and Practice
189876. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
189877. Grundkurs Datenbankentwicklung: Von der Anforderungsanalyse zur komplexen Datenbankanfrage
189878. Stability Analysis and Design for Nonlinear Singular Systems
189879. Seismic Behaviour and Design of Irregular and Complex Civil Structures
189880. Mathematik für Ingenieure und Naturwissenschaftler: Lineare Algebra und Analysis in R
189881. Glances at Renewable and Sustainable Energy: Principles, approaches and methodologies for an ambiguous benchmark
189882. Vision Based Systemsfor UAV Applications
189883. Modeling and Control of Dialysis Systems: Volume 2: Biofeedback Systems and Soft Computing Techniques of Dialysis
189884. Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback: Applications to Assistive Robotics
189885. A Scenario for Interstellar Exploration and Its Financing
189886. Wireless Networks and Security: Issues, Challenges and Research Trends
189887. Moving Target Defense II: Application of Game Theory and Adversarial Modeling
189888. Computational Neuroscience: A First Course
189889. Social Web Artifacts for Boosting Recommenders: Theory and Implementation
189890. Advanced Thermal Management Materials
189891. Logistikmanagement: Handbuch Produktion und Management 6
189892. A Systems Description of Flow Through Porous Media
189893. Molecular Imaging of the Brain: Using Multi-Quantum Coherence and Diagnostics of Brain Disorders
189894. Applications of Nanomaterials in Sensors and Diagnostics
189895. Variation-Aware Design of Custom Integrated Circuits: A Hands-on Field Guide: A Hands-on Field Guide
189896. The 19th International Conference on Industrial Engineering and Engineering Management: Engineering Management
189897. Proceedings of the 2012 International Conference of Modern Computer Science and Applications
189898. New Challenges in Distributed Information Filtering and Retrieval: DART 2011: Revised and Invited Papers
189899. Essentials of Water Systems Design in the Oil, Gas, and Chemical Processing Industries
189900. Embedded Systems Design with FPGAs
189901. Supply Chain Safety Management: Security and Robustness in Logistics
189902. Insulation Measurement and Supervision in Live AC and DC Unearthed Systems
189903. Computational Intelligence: Revised and Selected Papers of the International Joint Conference, IJCCI 2011, Paris, France, October 24-26, 2011
189904. The Wheels That Drove New York: A History of the New York City Transit System
189905. Biologically Inspired Cognitive Architectures 2012: Proceedings of the Third Annual Meeting of the BICA Society
189906. Algorithmen und Datenstrukturen
189907. Molecular Diagnostics
189908. Numerical Simulation of Distributed Parameter Processes
189909. Neuroelectrical Brain Imaging Tools for the Study of the Efficacy of TV Advertising Stimuli and their Application to Neuromarketing
189910. Intention Recognition, Commitment and Their Roles in the Evolution of Cooperation: From Artificial Intelligence Techniques to Evolutionary Game Theory Models
189911. Solid State Lighting Reliability: Components to Systems
189912. Integrated Circuits for Analog Signal Processing
189913. Supervised Learning with Complex-valued Neural Networks
189914. Boiling Heat Transfer in Dilute Emulsions
189915. Dating Torrential Processes on Fans and Cones: Methods and Their Application for Hazard and Risk Assessment
189916. Abfallwirtschaft: Handbuch für Praxis und Lehre
189917. Intelligent Counting Under Information Imprecision: Applications to Intelligent Systems and Decision Support
189918. Closed Power Cycles: Thermodynamic Fundamentals and Applications
189919. Raumklimatechnik: Band 4: Physik des Gebäudes
189920. Multimedia Services in Intelligent Environments: Advances in Recommender Systems
189921. Re-engineering Manufacturing for Sustainability: Proceedings of the 20th CIRP International Conference on Life Cycle Engineering, Singapore 17-19 April, 2013
189922. Datennetztechnologien für Next Generation Networks: Ethernet, IP, MPLS und andere
189923. Advances in Self-Organizing Maps: 9th International Workshop, WSOM 2012 Santiago, Chile, December 12-14, 2012 Proceedings
189924. Integrale Sicherheit von Kraftfahrzeugen: Biomechanik - Simulation - Sicherheit im Entwicklungsprozess
189925. Semantic Modeling and Interoperability in Product and Process Engineering: A Technology for Engineering Informatics
189926. MARINE 2011, IV International Conference on Computational Methods in Marine Engineering: Selected Papers
189927. Service Orientation in Holonic and Multi Agent Manufacturing and Robotics
189928. Power from Pellets: Technology and Applications
189929. Introduction to Queueing Systems with Telecommunication Applications
189930. Multibody System Dynamics, Robotics and Control
189931. Fuzziness and Medicine: Philosophical Reflections and Application Systems in Health Care: A Companion Volume to Sadegh-Zadeh’s Handbook of Analytical Philosophy of Medicine
189932. Remote Sensing Digital Image Analysis: An Introduction
189933. Acoustic Scanning Probe Microscopy
189934. Engineering Economics and Finance for Transportation Infrastructure
189935. Sustainable Automotive Energy System in China
189936. Systems Engineering Agile Design Methodologies
189937. Reproduction of Tactual Textures: Transducers, Mechanics and Signal Encoding
189938. Complex Automated Negotiations: Theories, Models, and Software Competitions
189939. CIRP Design 2012: Sustainable Product Development
189940. Machine Learning for Computer Vision
189941. Motion Coordination for VTOL Unmanned Aerial Vehicles: Attitude Synchronisation and Formation Control
189942. The FORA Framework: A Fuzzy Grassroots Ontology for Online Reputation Management
189943. Magnetic Resonance Imaging with Nonlinear Gradient Fields: Signal Encoding and Image Reconstruction
189944. Control of Surge in Centrifugal Compressors by Active Magnetic Bearings: Theory and Implementation
189945. On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1
189946. Distributed Computing and Artificial Intelligence: 10th International Conference
189947. Orbits: 2nd Order Singularity-free Solutions
189948. Excursions in Harmonic Analysis, Volume 1: The February Fourier Talks at the Norbert Wiener Center
189949. Finite Elemente: Theorie, schnelle Löser und Anwendungen in der Elastizitätstheorie
189950. The History of Visual Magic in Computers: How Beautiful Images are Made in CAD, 3D, VR and AR
189951. Self-Healing Phenomena in Cement-Based Materials: State-of-the-Art Report of RILEM Technical Committee 221-SHC: Self-Healing Phenomena in Cement-Based Materials
189952. Control of Cyber-Physical Systems: Workshop held at Johns Hopkins University, March 2013
189953. Konstruieren sicherheitsgerechter Produkte: Methoden und systematische Lösungssammlungen zur EG-Maschinenrichtlinie
189954. Micro Metal Forming
189955. Biomedical Applications of Control Engineering
189956. Elektrotechnik für Ingenieure - Klausurenrechnen: Aufgaben mit ausführlichen Lösungen
189957. Mit Sicherheit gesund bauen: Fakten, Argumente und Strategien für das gesunde Bauen, Modernisieren und Wohnen
189958. Investment Strategies Optimization based on a SAX-GA Methodology
189959. Human Spaceflight and Exploration
189960. Multibody Dynamics: Computational Methods and Applications
189961. Creating Green Roadways: Integrating Cultural, Natural, and Visual Resources into Transportation
189962. Surface Engineering for Enhanced Performance against Wear
189963. Three Dimensional Solar Cells Based on Optical Confinement Geometries
189964. Heat and Mass Transfer in Particulate Suspensions
189965. Handbook of Engineering Acoustics
189966. Transactions on Computational Collective Intelligence IX
189967. Flexible Ridesharing: New Opportunities and Service Concepts for Sustainable Mobility
189968. Pattern Recognition - Applications and Methods: International Conference, ICPRAM 2012 Vilamoura, Algarve, Portugal, February 6-8, 2012 Revised Selected Papers
189969. Ventiltrieb: Systeme und Komponenten
189970. Methodology, Models and Algorithms in Thermographic Diagnostics
189971. Topics in Model Validation and Uncertainty Quantification, Volume 5: Proceedings of the 31st IMAC, A Conference on Structural Dynamics, 2013
189972. EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation
189973. Heat and Mass Transfer Intensification and Shape Optimization: A Multi-scale Approach
189974. Advanced Methods of Fatigue Assessment
189975. Sustainable Logistics: Responses to a Global Challenge
189976. Limit State of Materials and Structures: Direct Methods 2
189977. 21st Century Kinematics: The 2012 NSF Workshop
189978. Production of Advanced Materials by Methods of Self-Propagating High-Temperature Synthesis
189979. Asteroids: Prospective Energy and Material Resources
189980. Constitutive Modeling of Geomaterials: Advances and New Applications
189981. Technology Integration to Business: Focusing on RFID, Interoperability, and Sustainability for Manufacturing, Logistics, and Supply Chain Management
189982. Electromagnetic Field Theory: A Collection of Problems
189983. Signaltheorie: Grundlagen der Signalbeschreibung, Filterbänke, Wavelets, Zeit-Frequenz-Analyse, Parameter- und Signalschätzung
189984. Integrierte Instandhaltung und Ersatzteillogistik: Vorgehensweisen, Methoden, Tools
189985. Lehrbuch der Bauphysik: Schall - Wärme - Feuchte - Licht - Brand - Klima
189986. Future Trends in Production Engineering: Proceedings of the First Conference of the German Academic Society for Production Engineering (WGP), Berlin, Germany, 8th-9th June 2011
189987. Multimodal Interaction in Image and Video Applications
189988. Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering
189989. Improving the Earthquake Resilience of Buildings: The worst case approach
189990. Biofuel Technologies: Recent Developments
189991. Cognitive Radio Networks: From Theory to Practice
189992. Gewöhnliche Differentialgleichungen: Theorie und Praxis - vertieft und visualisiert mit Maple®
189993. Power, Control and Optimization
189994. Biomedical Engineering Systems and Technologies: 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers
189995. Limits, Modeling and Design of High-Speed Permanent Magnet Machines
189996. Tissue Functioning and Remodeling in the Circulatory and Ventilatory Systems
189997. China’s Strategy in Space
189998. Process Machine Interactions: Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures
189999. Youth in Contemporary India: Images of Identity and Social Change
190000. Biomechanics in Dentistry: Evaluation of Different Surgical Approaches to Treat Atrophic Maxilla Patients
< < < PREV | NEXT > > >