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
186001. Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France
186002. Transactions on Rough Sets I: James F. Peters - Andrzej Skowron, Editors-in-Chief
186003. Partizipatives organisationales Lernen: Ein prozessbasierter Ansatz
186004. Das Sintflutprinzip: Ein Mathematik-Roman
186005. Methodenhandbuch für Softwareschulungen
186006. Database Design Manual: using MySQL for Windows
186007. SAP Strategic Enterprise Management™/Business Analytics: Integration von strategischer und operativer Unternehmensführung
186008. Intelligence and Security Informatics: Second Symposium on Intelligence and Security Informatics, ISI 2004, Tucson, AZ, USA, June 10-11, 2004. Proceedings
186009. Strategisches Controlling mit System Dynamics
186010. Pressearbeit in der IT-Branche: Erfolgreiches Vermarkten von Dienstleistungen und Produkten in der IT-Presse
186011. The DSSSL Book: An XML/SGML Programming Language
186012. Grundkurs C++ in Beispielen: Eine Einführung in das Programmieren — Beispiele aus Mathematik und Technik — Objektorientierung anschaulich mit UML
186013. Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
186014. Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
186015. Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook
186016. Knowledge Discovery in Multiple Databases
186017. Usability Engineering in der E-Collaboration: Ein managementorientierter Ansatz für virtuelle Teams
186018. Ethical And Social Issues In The Information Age
186019. Inhabited Information Spaces: Living with your Data
186020. Herausforderungen der Wirtschaftsinformatik
186021. Stolpersteine: Gibt es Regeln für die Bildgestaltung?
186022. Mobile Human-Computer Interaction - MobileHCI 2004: 6th International Symposium, MobileHCI, Glasgow, UK, September 13 - 16, 2004. Proceedings
186023. Progress in Pattern Recognition, Image Analysis and Applications: 9th Iberoamerican Congress on Pattern Recognition, CIARP 2004, Puebla, Mexico, October 26-29, 2004. Proceedings
186024. ITIL kompakt und verständlich: Effizientes IT Service Management — Den Standard für IT-Prozesse kennenlernen, verstehen und erfolgreich in der Praxis umsetzen
186025. Multimedia Applications
186026. Common SAP R/3 Functions Manual
186027. Notizen zu C++
186028. Environmental Online Communication
186029. Implementierungskonzepte für Datenbanksysteme
186030. Handbuch der Laufbildfotografie
186031. Advances in Web-Age Information Management: 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004
186032. Randomisierte Algorithmen: Methoden zum Entwurf von zufallsgesteuerten Systemen für Einsteiger
186033. Formal Engineering for Industrial Software Development: Using the SOFL Method
186034. Marketingkampagnen effizient managen: Methoden und Systeme — Effizienz durch IT-Unterstützung — Integration in das operative CRM
186035. Semantic Integration of Heterogeneous Software Specifications
186036. Grundkurs Socketprogrammierung mit C unter Linux: So entwickeln Sie schlanke Web-Applikationen
186037. Advances in Research on Networked Learning
186038. Medical Imaging and Augmented Reality: Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004. Proceedings
186039. Research and Development in Intelligent Systems XX: Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
186040. Anforderungsmanagement: Formale Prozesse, Praxiserfahrungen, Einführungsstrategien und Toolauswahl
186041. Advances in Neural Networks – ISNN 2004: International Symposium on Neural Networks, Dalian, China, August 2004, Proceedings, Part I
186042. Optimiertes IT-Management mit ITIL: So steigern Sie die Leistung Ihrer IT-Organisation — Einführung, Vorgehen, Beispiele
186043. Information Retrieval: Algorithms and Heuristics
186044. Business-Process- und Workflow-Management: Prozessverbesserung durch Prozess-Management
186045. Combinatorial Designs: Constructions and Analysis
186046. Computer Aided Service Engineering: Informationssysteme in der Dienstleistungsentwicklung
186047. Machine Learning: Discriminative and Generative
186048. Audiophotography: Bringing Photos to Life with Sounds
186049. Modellbildung in der Informatik
186050. Peer-to-Peer-Applikationen für elektronische Märkte: Perspektiven für eine hochgradig dezentralisierte digitale Wirtschaft
186051. Business Intelligence — Grundlagen und praktische Anwendungen: Eine Einführung in die IT-basierte Managementunterstützung
186052. PHP and MySQL Manual: Simple, yet Powerful Web Programming
186053. Interactive Panoramas: Techniques for Digital Panoramic Photography
186054. SAP R/3® Kommunikation mit RFC und Visual Basic: IDOCs, Funktionsbausteine und BAPI — Von der librfc32.dll bis zum .NET-Connector
186055. Multimedia Systems
186056. Datenbanken: Theorie, Entwurf und Programmierung relationaler Datenbanken
186057. Real-time Business: Lösungen, Bausteine und Potenziale des Business Networking
186058. Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries
186059. Information Dynamics in Cognitive, Psychological, Social and Anomalous Phenomena
186060. Synchronizing E-Security
186061. Guide to Biometrics
186062. «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
186063. Applications and Innovations in Intelligent Systems XI: Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
186064. Microsoft Navision optimiert einsetzen: So passen Sie Masken, Tapellen, Reports etc. an Ihre Unternehmenserfordernisse an
186065. CORBA Komponenten: Effektives Software-Design und Programmierung
186066. Computing and Combinatorics: 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings
186067. Wireless Sensor Networks: First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings
186068. Advances in Multivariate Data Analysis: Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Palermo, July 5–6, 2001
186069. Neuronale Netze in der wirtschaftswissenschaftlichen Prognose und Modellgenerierung: Eine theoretische und empirische Betrachtung mit Programmier-Beispielen
186070. Comparative Evaluation of Multilingual Information Access Systems: 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers
186071. The Role of Norms and Electronic Institutions in Multi-Agent Systems: The HarmonIA Framework
186072. Foundations of Information and Knowledge Systems: Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings
186073. The Parametric Lambda Calculus: A Metamodel for Computation
186074. Graph Drawing: 11th International Symposium, GD 2003 Perugia, Italy, September 21-24, 2003 Revised Papers
186075. Security and Protection in Information Processing Systems: IFIP 18th World Computer Congress TC11 19th International Information Security Conference 22–27 August 2004 Toulouse, France
186076. Successful Test Management: An Integral Approach
186077. Neural Information Processing: 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004. Proceedings
186078. Economics of Standards in Information Networks
186079. UNIX-Systemadministration: Linux, Solaris, AIX, FreeBSD, Tru64-UNIX
186080. Metaheuristics: Computer Decision-Making
186081. Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung — Für Studierende der Informatik, Wirtschaftsinformatik, Technik
186082. Optic Flow and Beyond
186083. Classification, Clustering, and Data Mining Applications: Proceedings of the Meeting of the International Federation of Classification Societies (IFCS), Illinois Institute of Technology, Chicago, 15–18 July 2004
186084. Digitale Aufnahmetechnik: Digitale Fotografie in der Praxis
186085. Modelling in Molecular Biology
186086. Combinatorial Pattern Matching: 15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004. Proceedings
186087. Practical Biometrics: From Aspiration to Implementation
186088. SIMD Programming Manual for Linux and Windows
186089. Guide to Enterprise IT Architecture
186090. Wissensmanagement: Die Antwort auf die Herausforderungen der Globalisierung
186091. Computer and Information Sciences - ISCIS 2004: 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings
186092. Designing Software for the Mobile Context: A Practitioner’s Guide
186093. High Performance Memory Systems
186094. Truth, Rationality, Cognition, and Music: Proceedings of the Seventh International Colloquium on Cognitive Science
186095. Algorithms in Ambient Intelligence
186096. COMPSTAT 2004 — Proceedings in Computational Statistics: 16th Symposium Held in Prague, Czech Republic, 2004
186097. Masterkurs Computergrafik und Bildverarbeitung: Alles für Studium und Praxis — Bildverarbeitungswerkzeuge, Beispiel-Software und interaktive Vorlesungen online verfügbar
186098. Datenschutz in Europa und den USA: Eine rechtsvergleichende Untersuchung unter besonderer Berücksichtigung der Safe-Harbor-Lösung
186099. Natural Language Processing and Information Systems: 9th International Conference on Applications of Natural Language to Information Systems, NLDB 2004, Salford, UK, June 23-25, 2004. Proceedings
186100. Outsourcing to India: The Offshore Advantage
186101. Landscape Simulation Modeling: A Spatially Explicit, Dynamic Approach
186102. SAP R/3® Kommunikation mit RFC und Visual Basic: IDOCs, Funktionsbausteine und BAPI — Von der librfc32.dll bis zum .NET-Connector
186103. Modeling Spatial and Economic Impacts of Disasters
186104. On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings
186105. Automatic Quantum Computer Programming: A Genetic Programming Approach
186106. Diskrete Mathematik
186107. Macromedia Director: Multimediaprogrammierung mit Lingo
186108. Image and Video Retrieval: Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004. Proceedings
186109. Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web
186110. Life-Like Characters: Tools, Affective Functions, and Applications
186111. Bildverarbeitung für die Medizin 2004: Algorithmen — Systeme — Anwendungen
186112. Programmierparadigmen: Eine Einführung auf der Grundlage von Scheme
186113. Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
186114. Argumentation Machines: New Frontiers in Argument and Computation
186115. Collectives and the Design of Complex Systems
186116. E-Learning im Hochschulverbund: Grundlagen und Strategien hypermedialer Kooperation in der Lehre
186117. MediaFarbe — analog und digital: Farbe in der Medienproduktion
186118. Grundkurs Java-Technologien: Lernen anhand lauffähiger Beispiele — Konzepte einfach erklärt — Die komplette Einführung in J2SE und J2EE — Inklusive CD-ROM mit allen Werkzeugen
186119. Guide to Web Application and Platform Architectures
186120. Knowledge Management Systems: Information and Communication Technologies for Knowledge Management
186121. Rough Sets and Current Trends in Computing: 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Proceedings
186122. Aspects of Molecular Computing: Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday
186123. The Rational Expectation Hypothesis, Time-Varying Parameters and Adaptive Control: A Promising Combination?
186124. The Sourcing of Application Software Services: Empirical Evidence of Cultural, Industry and Functional Differences
186125. Verification of Reactive Systems: Formal Methods and Algorithms
186126. Digitale Panoramen: Tipps, Tricks und Techniken für die Panoramafotografie
186127. Aspect-Oriented Database Systems
186128. Database Systems for Advanced Applications: 9th International Conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2003. Proceedings,
186129. Digital Watermarking: Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003. Revised Papers
186130. ITIL kompakt und verständlich: Effizientes IT Service Management — Den Standard für IT-Prozesse kennenlernen, verstehen und erfolgreich in der Praxis umsetzen
186131. Spoken Dialogue Technology: Toward the Conversational User Interface
186132. The Semantic Web: Research and Applications: First European Semantic Web Symposium, ESWS 2004 Heraklion, Crete, Greece, May 10-12, 2004. Proceedings
186133. COTS-Based Software Systems: Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004. Proceedings
186134. The Semantic Web – ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
186135. Handbook on Ontologies
186136. Computation in Living Cells: Gene Assembly in Ciliates
186137. Relationale Datenbanken: Leitfaden für die Praxis
186138. Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
186139. Palmprint Authentication
186140. eBay Application Development
186141. Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004. Proceedings
186142. Mobile Datenbanksysteme: Architektur, Implementierung, Konzepte
186143. Agentensysteme für das Supply Chain Management: Grundlagen — Konzepte — Anwendungen
186144. An Application Science for Multi-Agent Systems
186145. Numerical Geometry of Images: Theory, Algorithms, and Applications
186146. Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13/WC13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France
186147. Inter-organizational Cooperation with SAP Solutions: Design and Management of Supply Networks
186148. Knowledge Potential Measurement and Uncertainty
186149. Seeing, Thinking and Knowing: Meaning and Self-Organisation in Visual Cognition and Thought
186150. Virtual Applications: Applications with Virtual Inhabited 3D Worlds
186151. Grundkurs Geschäftsprozess — Management: Methoden und Werkzeuge für die IT-Praxis: Eine Einführung für Studenten und Praktiker
186152. Referenzmodellierung: Grundlagen, Techniken und domänenbezogene Anwendung
186153. High Performance Scientific and Engineering Computing: Hardware/Software Support
186154. Key Technologies for Data Management: 21st British National Conference on Databases, BNCOD 21, Edinburgh, UK, July 7-9, 2004. Proceedings
186155. Strength or Accuracy: Credit Assignment in Learning Classifier Systems
186156. Theoretische Informatik: Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kryptographie. Eine Einführung
186157. Kompendium E-Learning
186158. Alan Turing: Life and Legacy of a Great Thinker
186159. E-Merging Media: Kommunikation und Medienwirtschaft der Zukunft
186160. Image Mosaicing and Super-resolution
186161. Information Security Management, Education and Privacy: IFIP 18th World Computer Congress TC11 19th International Information Security Workshops 22–27 August 2004 Toulouse, France
186162. Advances in Information Retrieval: 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004. Proceedings
186163. Outsourcing realisieren: Vorgehen für IT und Geschäftsprozesse zur nachhaltigen Steigerung des Unternehmenserfolges
186164. Web Dynamics: Adapting to Change in Content, Size, Topology and Use
186165. Personal Wireless Communications: IFIP TC6 9th International Conference, PWC 2004, Delft, The Netherlands, September 21-23, 2004. Proceedings
186166. Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings
186167. PRICAI 2004: Trends in Artificial Intelligence: 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004. Proceedings
186168. Performance Analysis and Grid Computing: Selected Articles from the Workshop on Performance Analysis and Distributed Computing August 19–23, 2002, Dagstuhl, Germany
186169. Business Computing mit MS-Office 2003 und Internet: Eine Einführung an praktischen Beispielen
186170. Multiagent Systems for Manufacturing Control: A Design Methodology
186171. Immunity-Based Systems: A Design Perspective
186172. Information Security and Privacy: 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004. Proceedings
186173. Integrierte Wissensmanagement-Systeme: Architektur und praktische Anwendung
186174. Web Information Systems – WISE 2004: 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004. Proceedings
186175. Datenbank-Engineering: Analyse, Entwurf und Implementierung objektrelationaler Datenbanken — Mit UML, DB2-SQL und Java
186176. Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004
186177. Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings
186178. Breitband-Perspektiven: Schneller Zugang zu innovativen Anwendungen
186179. Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers
186180. Dictionary of XML Technologies and the Semantic Web
186181. Applied Mathematics and Scientific Computing
186182. Security and Privacy in the Age of Uncertainty: IFIP TC11 18th International Conference on Information Security (SEC2003) May 26–28, 2003, Athens, Greece
186183. Einführung in die Technische Informatik
186184. Objektorientierte Anwendungsentwicklung mit der postrelationalen Datenbank Caché
186185. The Locales Framework: Understanding and Designing for Wicked Problems
186186. Competitive Information in Small Businesses
186187. Methoden wissensbasierter Systeme: Grundlagen — Algorithmen — Anwendungen
186188. Digital Photogrammetry: Theory and Applications
186189. Einführung in die Informatik: Objektorientiert mit Java
186190. The Brain from 25,000 Feet: High Level Explorations of Brain Complexity, Perception, Induction and Vagueness
186191. Visualizing the Semantic Web: XML-based Internet and Information Visualization
186192. Web-basierte Informationsaustauschplattform für internationale humanitäre Projekte
186193. Global and Organizational Discourse about Information Technology: IFIP TC8 / WG8.2 Working Conference on Global and Organizational Discourse about Information Technology December 12–14, 2002, Barcelona, Spain
186194. A Theory of Immediate Awareness: Self-Organization and Adaptation in Natural Intelligence
186195. Computergenerierte Pflanzen: Technik und Design digitaler Pflanzenwelten
186196. Robust Computer Vision: Theory and Applications
186197. Automated Web Site Evaluation: Researchers’ and Practioners’ Perspectives
186198. Management von IT-Architekturen: Informationssysteme im Fokus von Architekturplanung und -entwicklung
186199. Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
186200. Wirtschaftsinformatik 2003/Band I: Medien — Märkte — Mobilität
186201. Stichprobenbasierte Assoziationsanalyse im Rahmen des Knowledge Discovery in Databases
186202. Web Intelligence
186203. Seeking Success in E-Business: A Multidisciplinary Approach
186204. Informations- und Kodierungstheorie
186205. Practical Foundations of Business System Specifications
186206. B2B Integration: Concepts and Architecture
186207. Enterprise Management with SAP SEM™ / Business Analytics
186208. Grundkurs Smalltalk — Objektorientierung von Anfang an: Eine Einführung in die Programmierung
186209. Designing for Change in Networked Learning Environments: Proceedings of the International Conference on Computer Support for Collaborative Learning 2003
186210. Evolution as Computation: DIMACS Workshop, Princeton, January 1999
186211. Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
186212. Kostenstellenrechnung mit SAP R/3®: Mit Testbeispiel und Customizing für Studenten und Praktiker
186213. Elliptische Kurven in der Kryptographie
186214. Agent-Based Defeasible Control in Dynamic Environments
186215. Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001 Na lęczów, Poland, September 9–12, 2001 Revised Papers
186216. Noisy Optimization With Evolution Strategies
186217. Evolutionary Optimization in Dynamic Environments
186218. Probabilistic Logic in a Coherent Setting
186219. Fuzzy Relational Systems: Foundations and Principles
186220. The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls
186221. Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
186222. From Cells to Societies: Models of Complex Coherent Action
186223. Software Architecture: System Design, Development and Maintenance
186224. Heterogeneous Information Exchange and Organizational Hubs
186225. Wild Duck: Empirische Philosophie der Mensch-Computer-Vernetzung
186226. Graph Colouring and the Probabilistic Method
186227. Diskrete Mathematik: Eine Entdeckungsreise
186228. Studienführer IT an Fachhochschulen: Studieren mit erfolgreicher Praxis
186229. Verteilte Systeme: Client-Server-Computing für Studenten und Praktiker
186230. Collaborative Business Ecosystems and Virtual Enterprises: IFIP TC5 / WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE’02) May 1–3, 2002, Sesimbra, Portugal
186231. Die C++-Standardbibliothek: Einführung und Nachschlagewerk
186232. History of Computing: Software Issues: International Conference on the History of Computing, ICHC 2000 April 5–7, 2000 Heinz Nixdorf MuseumsForum Paderborn, Germany
186233. Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications
186234. Digraphs: Theory, Algorithms and Applications
186235. Financial Engineering, E-commerce and Supply Chain
186236. Datenbankentwurf: Eine beispielorientierte Einführung für Studenten und Praktiker
186237. Internet Technologies, Applications and Societal Impact: IFIP TC6 / WG6.4 Workshop on Internet Technologies, Applications and Societal Impact (WITASI 2002) October 10–11, 2002, Wroclaw, Poland
186238. Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada
186239. E-Business and Virtual Enterprises: Managing Business-to-Business Cooperation
186240. The Logic of Metaphor: Analogous Parts of Possible Worlds
186241. Work at the Boundaries of Science: Information and the Interdisciplinary Research Process
186242. Panoramic Vision: Sensors, Theory, and Applications
186243. Controlling von Projekten: Projektplanung, Projektsteuerung und Risikomanagement
186244. Elektronische Demokratie und virtuelles Regieren
186245. Realigning Research and Practice in Information Systems Development: The Social and Organizational Perspective
186246. Automated Theorem Proving in Software Engineering
186247. Archivierung in Datenbanksystemen: Konzept und Sprache
186248. Personalwirtschaft mit SAP R/3®: Personalstammdaten, Organisationsmanagement, Personalentwicklung- und beschaffung, Zeitwirtschaft, Lohn- und Gehaltsabrechnung, Reisemanagement, Internetanbindung
186249. Geometric Computing with Clifford Algebras: Theoretical Foundations and Applications in Computer Vision and Robotics
186250. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
186251. In-Depth Analysis of Linear Programming
186252. Metacognition in Learning and Instruction: Theory, Research and Practice
186253. Linear Programming: Foundations and Extensions
186254. Unternehmensweites Datenmanagement: Von der Datenbankadministration bis zum modernen Informationsmanagement
186255. Essential Mathematics for Computer Graphics fast
186256. Bayesian Networks and Decision Graphs
186257. Risk Analysis in Forest Management
186258. Computational Geometry on Surfaces: Performing Computational Geometry on the Cylinder, the Sphere, the Torus, and the Cone
186259. Programmieren mit JAVA: Das Lehrbuch zum sicheren Umgang mit Objekten
186260. The Processing of Tense: Psycholinguistic Studies on the Interpretation of Tense and Temporal Relations
186261. Cooperative Agents: Applications in the Social Sciences
186262. Web Work: Information Seeking and Knowledge Work on the World Wide Web
186263. Parallele und verteilte Programmierung
186264. Konzepte objektorientierter Programmierung: Mit einer Einführung in Java
186265. Grundlagen und Konzepte der Informatik: Eine Einführung in die Informatik ausgehend von den fundamentalen Grundlagen
186266. Approximation and Complexity in Numerical Optimization: Continuous and Discrete Problems
186267. Debian GNU/Linux: Grundlagen, Installation, Administration und Anwendung
186268. Time Granularities in Databases, Data Mining, and Temporal Reasoning
186269. Informatik: Aufgaben und Lösungen
186270. Cooperation: A Philosophical Study
186271. Heuristic Approaches for Telecommunications Network Management, Planning and Expansion: A Special Issue of the Journal of Heuristics
186272. Topics in Industrial Mathematics: Case Studies and Related Mathematical Methods
186273. Advances in Steiner Trees
186274. Scare Tactics: Arguments that Appeal to Fear and Threats
186275. Java™: Eine Einführung
186276. Rechnerarchitektur: Aufbau, Organisation und Implementierung
186277. Grundlagen und Konzepte der Informatik: Eine Einführung in die Informatik ausgehend von den fundamentalen Grundlagen
186278. Combinatorial Optimization: Theory and Algorithms
186279. Multimedia-Projektmanagement: Von der Idee zum Produkt
186280. Nonlinear Optimization and Related Topics
186281. What is Negation?
186282. Kostenstellenrechnung mit SAP® R/3®: Mit Testbeispiel und Customizing für Studenten und Praktiker
186283. Desktop Publishing mit FrameMaker: Für UNIX, MAC OS und Windows
186284. Soft Computing in Acoustics: Applications of Neural Networks, Fuzzy Logic and Rough Sets to Musical Acoustics
186285. Nonlinear Programming and Variational Inequality Problems: A Unified Approach
186286. Vorlesungen über Informatik: Band 2: Objektorientiertes Programmieren und Algorithmen
186287. Computing with Words in Information/Intelligent Systems 2: Applications
186288. On a Method of Multiprogramming
186289. Migration zu Windows 2000: Leitfaden für effizientes Projektmanagement
186290. Handbuch der Infografik: Visuelle Information in Publizistik, Werbung und Öffentlichkeitsarbeit
186291. Methodologies for Developing and Managing Emerging Technology Based Information Systems: Information Systems Methodologies 1998, Sixth International Conference on Information Systems Methodologies
186292. Fundamentals of Integrated Coastal Management
186293. Informatik’99: Informatik überwindet Grenzen
186294. Advances in Cryptology 1981 – 1997: Electronic Proceedings and Index of the CRYPTO and EUROCRYPT Conferences 1981 – 1997
186295. Computing Meaning: Volume 1
186296. Evolutionary Algorithms
186297. Solaris 7: Systemadministration
186298. Libraries without Limits: Changing Needs — Changing Roles: Proceedings of the 6th European Conference of Medical and Health Libraries, Utrecht, 22–27 June 1998
186299. Workflow-Management in der industriellen Praxis: Vom Buzzword zum High-Tech-Instrument
186300. Algorithms and Computation: 10th International Symposium, ISAAC’99 Chennai, India, December 16–18, 1999 Proceedings
186301. Datenbanken und SQL: Eine praxisorientierte Einführung mit Hinweisen zu Oracle und MS-Access
186302. Die C++-Standardbibliothek: Einführung und Nachschlagewerk
186303. On Sentence Interpretation
186304. Computer-Based Diagnostic Systems
186305. Fuzzy Logic in Artificial Intelligence: IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers
186306. Visual Information and Information Systems: Third International Conference, VISUAL’99 Amsterdam, The Netherlands, June 2–4, 1999 Proceedings
186307. Perspectives of Information Systems
186308. Finance for IT Decision Makers: A Practical Handbook for Buyers, Sellers and Managers
186309. Experimental Learning in Production Management: IFIP TC5 / WG5.7 Third Workshop on Games in Production Management: The effects of games on developing production management 27–29 June 1997, Espoo, Finland
186310. Truth, Proof and Infinity: A Theory of Constructions and Constructive Reasoning
186311. Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
186312. Computational Complexity and Feasibility of Data Processing and Interval Computations
186313. The Algorithmic Beauty of Sea Shells
186314. Rechnerarchitektur: Aufbau, Organisation und Implementierung
186315. Web Design kreativ!
186316. Computational Methods in Mechanical Systems: Mechanism Analysis, Synthesis, and Optimization
186317. Fuzzy Systems Design: Social and Engineering Applications
186318. Constructing Correct Software: The Basics
186319. Kostenstellenrechnung mit SAP® R/3®: Mit Testbeispiel und Customizing für Studenten und Praktiker
186320. Environmental Data Management
186321. Key Java: Advanced Tips and Techniques
186322. Variational Object-Oriented Programming Beyond Classes and Inheritance
186323. Discourse, Tools and Reasoning: Essays on Situated Cognition
186324. Advances in Intensional Logic
186325. SPS-Programmierung mit IEC 1131–3: Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
186326. Relationale Datenbanksysteme: Eine praktische Einführung
186327. Evolutionary Algorithms in Engineering Applications
186328. Management Training in High-Tech and R&D: Concept for Enterprises under Transition
186329. Safety-Critical Real-Time Systems
186330. Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
186331. Number Theory in Science and Communication: With Applications in Cryptography, Physics, Digital Information, Computing, and Self-Similarity
186332. Simulating Social Phenomena
186333. Einführung in die Wirtschaftsinformatik
186334. Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren
186335. Semantic Networks for Understanding Scenes
186336. Set Theory
186337. Virtual Reality, Training’s Future?: Perspectives on Virtual Reality and Related Emerging Technologies
186338. Management Support Systeme: Computergestützte Informationssysteme für Führungskräfte und Entscheidungsträger
186339. Lazy Learning
186340. Rendering Techniques ’96: Proceedings of the Eurographics Workshop in Porto, Portugal, June 17–19, 1996
186341. Batch Processing Systems Engineering: Fundamentals and Applications for Chemical Engineering
186342. Computer Vision — ECCV '96: 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings Volume II
186343. Das Betriebssystem Open VMS: Einführung und Praxis für Einsteiger und Fortgeschrittene
186344. Objektorientierte Software in der kommerziellen Anwendung
186345. Fuzzy Set Theory: Basic Concepts, Techniques and Bibliography
186346. Industrial Information and Design Issues
186347. Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
186348. Digital Signature Schemes: General Framework and Fail-Stop Signatures
186349. Wissensbasierte Diagnose- und Informationssysteme: Mit Anwendungen des Expertensystem-Shell-Baukastens D3
186350. Parallel Problem Solving from Nature — PPSN IV: International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings
186351. Safety-Critical Systems: The Convergence of High Tech and Human Factors: Proceedings of the Fourth Safety-critical Systems Symposium
186352. ISO 9000-3: A Tool for Software Product and Process Improvement
186353. Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
186354. Vorlesungen über Informatik: Band 2: Objektorientiertes Programmieren und Algorithmen
186355. Current Issues in Comparative Grammar
186356. Ridges in Image and Data Analysis
186357. Programming in Modula-3: An Introduction in Programming with Style
186358. Design of Reservation Protocols for Multimedia Communication
186359. Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
186360. Automated Deduction in Equational Logic and Cubic Curves
186361. Data Structures and Algorithms: A First Course
186362. OOIS’ 95: 1995 International Conference on Object Oriented Information Systems, 18–20 December 1995, Dublin. Proceedings
186363. Graph Grammars and Their Application to Computer Science: 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
186364. Rule-Based Programming
186365. Formal Systems Specification: The RPC-Memory Specification Case Study
186366. Computer Vision — ECCV '96: 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings, Volume I
186367. Distributed Software Agents and Applications: 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
186368. Introduction to Scientific Programming: Computational Problem Solving Using Maple and C
186369. Knowledge-Based Software Engineering
186370. Object-Oriented Programming A Unified Foundation
186371. Logic-Based 0–1 Constraint Programming
186372. Introduction to Fuzzy Reliability
186373. People and Computers XI: Proceedings of HCI’96
186374. Automatic Performance Prediction of Parallel Programs
186375. Probabilistic Safety Assessment and Management ’96: ESREL’96 — PSAM-III June 24–28 1996, Crete, Greece Volume 1
186376. Computer Animation and Simulation ’96: Proceedings of the Eurographics Workshop in Poitiers, France, August 31–September 1, 1996
186377. Artificial Intelligence in Economics and Managment: An Edited Proceedings on the Fourth International Workshop: AIEM4 Tel-Aviv, Israel, January 8–10, 1996
186378. Object-Oriented and Mixed Programming Paradigms: New Directions in Computer Graphics
186379. ECOOP ’96 — Object-Oriented Programming: 10th European Conference Linz, Austria, July 8–12, 1996 Proceedings
186380. Graph Drawing: Symposium on Graph Drawing, GD '95 Passau, Germany, September 20–22, 1995 Proceedings
186381. Designs and Finite Geometries
186382. Division of Labor, Variability, Coordination, and the Theory of Firms and Markets
186383. Elementare Berechenbarkeitstheorie
186384. Geometrical Methods in Robotics
186385. JSP for Practical Program Design
186386. The New Writing Environment: Writers at Work in a World of Technology
186387. Information and Communication Technologies in Tourism: Proceedings of the International Conference in Innsbruck, Austria 1996
186388. Porting to Win32™: A Guide to Making Your Applications Ready for the 32-Bit Future of Windows™
186389. Critical Issues in User Interface Systems Engineering
186390. The Information Revolution: Impact on Science and Technology
186391. Prinzipien des Entwurfs und der Realisierung eines Organisationsinformationssystems
186392. Advances in Artifical Intelligence: 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21–24, 1996 Proceedings
186393. Advances in Structural and Syntactical Pattern Recognition: 6th International Workshop, SSPR '96 Leipzig, Germany, August 20–23, 1996 Proceedings
186394. Fortran 95 Language Guide
186395. Client Data Caching: A Foundation for High Performance Object Database Systems
186396. Polynomial Algorithms in Computer Algebra
186397. Knowledge, Technology Transfer and Foresight
186398. Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
186399. Kooperative Softwareentwicklung: Ein objektorientierter Ansatz
186400. Mustererkennung 1996: 18. DAGM-Symposium Heidelberg, 11.–13. September 1996
186401. Database Concurrency Control: Methods, Performance, and Analysis
186402. Databases and Mobile Computing
186403. Telepublishing: Die Druckvorstufe auf dem Weg ins Kommunikationszeitalter
186404. Netscape™ for Macintosh®: A hands-on configuration and set-up guide for popular Web browsers
186405. ATM Network Performance
186406. Computational and Constructive Design Theory
186407. Principles and Practice of Constraint Programming — CP96: Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
186408. Reasoning with Logic Programming
186409. Modelling and Optimization of Distributed Parameter Systems Applications to engineering: Selected Proceedings of the IFIP WG7.2 on Modelling and Optimization of Distributed Parameter Systems with Applications to Engineering, June 1995
186410. Studien- und Forschungsführer Informatik: Wissenschaftliche Hochschulen und Forschungseinrichtungen
186411. Science on the Web: A Connoisseur’s Guide to Over 500 of the Best, Most Useful, and Most Fun Science Websites
186412. J.UCS The Journal of Universal Computer Science: Annual Print and CD-ROM Archive Edition Volume 1 • 1995
186413. CSCW Requirements and Evaluation
186414. Der Mikroprozessor: Eine ungewöhnliche Biographie
186415. Exploratory Vision: The Active Eye
186416. Automated Mathematical Induction
186417. Implementing Systems for Supporting Management Decisions: Concepts, methods and experiences
186418. Time Structures: Formal Description and Algorithmic Representation
186419. Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
186420. Image Technology: Advances in Image Processing, Multimedia and Machine Vision
186421. Distributed Information Systems in Business
186422. Probleme der Künstlichen Intelligenz: Eine Grundlagendiskussion
186423. Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
186424. Algorithm Theory — SWAT'96: 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3–5, 1996 Proceedings
186425. Advanced Educational Technology: Research Issues and Future Potential
186426. Cross National Policies and Practices on Computers in Education
186427. Herausforderung Telekooperation: Einsatzerfahrungen und Lösungsansätze für ökonomische und ökologische, technische und soziale Fragen unserer Gesellschaft
186428. Molyneux’s Problem: Three Centuries of Discussion on the Perception of Forms
186429. Grammatical Interference: Learning Syntax from Sentences: Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings
186430. Essential Delphi 2.0 Fast : How to Develop Applications in Delphi 2.0
186431. Dynamics of Complex Interacting Systems
186432. Guide to Computer Viruses: How to avoid them, how to get rid of them, and how to get help
186433. Linux Universe: Installation and Configuration
186434. Multimedia Database Systems: Issues and Research Directions
186435. Fuzzy Databases: Principles and Applications
186436. Prolog: The Standard: Reference Manual
186437. Objektorientierte Informationssysteme: Konzepte, Darstellungsmittel, Methoden
186438. Microcomputer–Based Labs: Educational Research and Standards
186439. Business Process Modelling
186440. Information Security and Privacy: First Australasian Conference, ACISP'96 Wollongong, NSW, Australia, June 24–26, 1996 Proceedings
186441. Recent Advances in Robot Learning
186442. Theoretical Foundations of Computer Vision
186443. Resolution Proof Systems: An Algebraic Theory
186444. Maximum Entropy and Bayesian Methods: Santa Barbara, California, U.S.A., 1993
186445. Computational Psycholinguistics: An Interdisciplinary Approach to the Study of Language
186446. Computer Aided Systems Theory — EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings
186447. Diskrete Mathematik
186448. Multimedia ’96: Proceedings of the Eurographics Workshop in Rostock, Federal Republic of Germany, May 28–30, 1996
186449. Practical Usage of ISPF Dialog Manager
186450. Software Performability: From Concepts to Applications
186451. Resource Management for Distributed Multimedia Systems
186452. Problems and Exercises in Discrete Mathematics
186453. Reliable Software Technologies — Ada-Europe '96: 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings
186454. Explanation-Based Neural Network Learning: A Lifelong Learning Approach
186455. Environmental Software Systems: Proceedings of the International Symposium on Environmental Software Systems, 1995
186456. Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
186457. Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
186458. Object Orientation with Parallelism and Persistence
186459. Multimedia Database Systems: Design and Implementation Strategies
186460. Adaptive Learning by Genetic Algorithms: Analytical Results and Applications to Economical Models
186461. Computers in Fisheries Research
186462. Software-Metriken in der Praxis: Einführung und Anwendung von Software-Metriken in der industriellen Praxis
186463. Hybrid Systems III: Verification and Control
186464. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
186465. Negotiation Processes: Modeling Frameworks and Information Technology
186466. Collegium Logicum
186467. Industrial Cultures and Production: Understanding Competitiveness
186468. COMPSTAT: Proceedings in Computational Statistics 12th Symposium held in Barcelona, Spain, 1996
186469. High Performance Computing for Computer Graphics and Visualisation: Proceedings of the International Workshop on High Performance Computing for Computer Graphics and Visualisation, Swansea 3–4 July 1995
186470. Linux Unleashing the Workstation in Your PC
186471. Rethinking Hypermedia: The Microcosm Approach
186472. Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
186473. Tools and Environments for Parallel and Distributed Systems
186474. The AutoCAD® Reference Guide: Release 13
186475. Combinatorics and Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
186476. Implementing Practical DB2 Applications
186477. Information Retrieval and Hypertext
186478. Virtual Environments and Scientific Visualization ’96: Proceedings of the Eurographics Workshops in Monte Carlo, Monaco, February 19–20, 1996, and in Prague, Czech Republic, April 23–25, 1996
186479. Practical Usage of MVS REXX
186480. Introduction to Discrete Mathematics with ISETL
186481. Rough Sets and Data Mining: Analysis of Imprecise Data
186482. Knowledge Acquisition, Organization, and Use in Biology: Proceedings of the NATO Advanced Research Workshop on Biology Knowledge: Its Acquisition, Organization, and Use, held in Glaslow, Scotland, June 14–18, 1992
186483. Human Interaction with Complex Systems: Conceptual Principles and Design Practice
186484. The Construction of Cognitive Maps
186485. System Modelling and Optimization: Proceedings of the Seventeenth IFIP TC7 Conference on System Modelling and Optimization, 1995
186486. Verteilte Datenbanken und Client/Server-Systeme: Grundlagen, Konzepte und Realisierungsformen
186487. Visualization in Biomedical Computing: 4th International Conference, VBC'96 Hamburg, Germamy, September 22–25, 1996 Proceedings
186488. Qualitätsmanagement bei der Softwareerstellung: Leitfaden für die Umsetzung der DIN EN ISO 9000
186489. Systematic Reuse: Issues in Initiating and Improving a Reuse Program: Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8–9 January 1996
186490. Artificial Neural Networks — ICANN 96: 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings
186491. Deutscher Multimedia Kongreß ’96: Perspektiven multimedialer Kommunikation
186492. Kryptologie: Eine Einführung in die Wissenschaft vom Verschlüsseln, Verbergen und Verheimlichen. Ohne alle Geheimniskrämerei, aber nicht ohne hinterlistigen Schalk, dargestellt zum Nutzen und Ergötzen des allgemeinen Publikums
186493. C A Software Engineering Approach
186494. Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996
186495. Zahlentheorie: Eine Einführung in die Algebra
186496. Document Processing and Retrieval: Texpros
186497. Objektorientierte Systemanalyse: Eine Einführung
186498. Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995
186499. Advances in Database Technology — EDBT '96: 5th International Conference on Extending Database Technology Avignon, France, March 25–29, 1996 Proceedings
186500. Advances in Cryptology — ASIACRYPT '96: International Conference on the Theory and Applications of Cryptology and Information Security Kyongju, Korea, November 3–7, 1996 Proceedings
186501. First-Order Logic and Automated Theorem Proving
186502. Computer Aided Software Engineering
186503. Spinning the Web: A Guide to Serving Information on the World Wide Web
186504. Computer Security — ESORICS 96: 4th European Symposium on Research in Computer Security Rome, Italy, September 25–27, 1996 Proceedings
186505. ALGOL-like Languages
186506. Analytische Leistungsbewertung verteilter Systeme: Eine Einführung
186507. Advances in Cryptology — EUROCRYPT ’96: International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12–16, 1996 Proceedings
186508. The B Language and Method: A Guide to Practical Formal Development
186509. Object-Oriented Behavioral Specifications
186510. Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
186511. Advances in Cryptology — CRYPTO ’96: 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18–22, 1996 Proceedings
186512. Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism
186513. Formal Specification Techniques for Engineering Modular C Programs
186514. Principles of Brain Functioning: A Synergetic Approach to Brain Activity, Behavior and Cognition
186515. Integration of Natural Language and Vision Processing: Theory and Grounding Representations Volume III
186516. Essential Visual Basic 4.0 Fast : How to Develop Applications in Visual Basic
186517. Algorithms — ESA '96: Fourth Annual European Symposium Barcelona, Spain, September 25–27, 1996 Proceedings
186518. Representation and Retrieval of Visual Media in Multimedia Systems
186519. Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
186520. Computational Atomic Physics: Electron and Positron Collisions with Atoms and Ions
186521. Bayesian Learning for Neural Networks
186522. AIX UNIX: System V.4 Begriffe, Konzepte, Kommandos
186523. Programming in Scheme: Learn Scheme Through Artificial Intelligence Programs
186524. Babbages Rechen-Automate: Ausgewählte Schriften
186525. Advances in Databases and Information Systems: Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995
186526. Requirements Engineering
186527. Informationsmanagement: Modelle, Methoden, Techniken
186528. Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
186529. Integration of Spatial Information for Geo-Information Systems
186530. Hypermedia Design: Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995
186531. The Craft of Windows 95™ Interface Design: Click Here to Begin
186532. Theoretische Informatik: Eine problemorientierte Einführung
186533. Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach
186534. Combinatorial Network Theory
186535. Dependable Computing — EDCC-2: Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings
186536. Intelligent Integration of Information: A Special Double Issue of the Journal of Intelligent Information Sytems Volume 6, Numbers 2/3 May, 1996
186537. Einführung in Maple V
186538. Informations- und Kodierungstheorie
186539. Human Machine Symbiosis: The Foundations of Human-centred Systems Design
186540. Combinatorial Pattern Matching: 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10–12, 1996 Proceedings
186541. Kompendium Theoretische Informatik — eine Ideensammlung
186542. Codes, Designs and Geometry
186543. Public-Key Cryptography
186544. Wissensbasierte Systeme in der Qualitätssicherung: Methoden zur Nutzung verteilten Wissens
186545. Foundations of Synergetics II: Chaos and Noise
186546. Parallel Computation: Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
186547. Database Reengineering and Interoperability
186548. High Performance Computational Methods for Biological Sequence Analysis
186549. Parsing with Principles and Classes of Information
186550. Modeling Complex Data for Creating Information
186551. Optimization of SQL Queries for Parallel Machines
186552. Applied Mathematics and Parallel Computing: Festschrift for Klaus Ritter
186553. Diffusion and Adoption of Information Technology: Proceedings of the first IFIP WG 8.6 working conference on the diffusion and adoption of information technology, Oslo, Norway, October 1995
186554. Neural Networks: A Systematic Introduction
186555. KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings
186556. CAD & Office Integration: OLE for Design and Modeling. A New Technology for CA Software
186557. Computergraphik und Bildverarbeitung
186558. Multimedia, Hypermedia, and Virtual Reality Models, Systems, and Applications: First International Conference, MHVR'94 Moscow, Russia, September 14–16, 1994 Selected Papers
186559. Highlights aus der Informatik
186560. Multimedia im Netz
186561. Intelligent Learning Environments: The Case of Geometry
186562. Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
186563. Algebraic Structures and Operator Calculus: Volume III: Representations of Lie Groups
186564. Recent Developments in Computer Vision: Second Asian Conference on Computer Vision, ACCV '95 Singapore, December 5–8, 1995 Invited Session Papers
186565. An Introduction to Programming with Mathematica®
186566. Mathematical Theory of Control Systems Design
186567. Multithreaded Processor Design
186568. Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
186569. Rapid Application Generation of Business and Finance Software
186570. Keine Angst vor UNIX: Ein Lehrbuch für Einsteiger
186571. Method Engineering: Principles of method construction and tool support
186572. Interrogative Phrases and the Syntax-Semantics Interface
186573. Languages, Compilers and Run-Time Systems for Scalable Computers
186574. Monitoring a Comprehensive Test Ban Treaty
186575. Linguistic Concepts and Methods in CSCW
186576. Transforming Organisations Through Groupware: Lotus Notes in Action
186577. An Information-Theoretic Approach to Neural Computing
186578. Formale Begriffsanalyse: Mathematische Grundlagen
186579. An Introduction to Object-Oriented Programming in C++: With Applications in Computer Graphics
186580. Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
186581. Conceptual Modeling — ER '96: 15th International Conference on Conceptual Modeling Cottbus, Germany, October 7–10, 1996 Proceedings
186582. Introduction to Maple
186583. An Introduction to Functional Analysis in Computational Mathematics
186584. Mikrocomputertechnik mit der 8051-Controller-Familie: Hardware, Assembler, C
186585. Active Visual Inference of Surface Shape
186586. Advanced Relational Programming
186587. Meta-Heuristics: Theory and Applications
186588. Autonome Mobile Systeme 1996: 12. Fachgespräch München, 14.–15. Oktober 1996
186589. Enterprise Integration and Modeling: The Metadatabase Approach
186590. Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
186591. Time-Constrained Transaction Management: Real-Time Constraints in Database Transaction Systems
186592. Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques
186593. Integration of Natural Language and Vision Processing: Recent Advances Volume IV
186594. Parallel Virtual Machine — EuroPVM '96: Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings
186595. Applied Parallel Computing Industrial Computation and Optimization: Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings
186596. UK Parallel ’96: Proceedings of the BCS PPSG Annual Conference, 3–5 July 1996
186597. CyberLaw: The Law of the Internet
186598. Strategische Datenbanken: Kernelemente computergestützter Infomationssysteme zur Unterstützung des strategischen Controllings
186599. Proof Theory of Modal Logic
186600. Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
186601. Modelling and Graphics in Science and Technology
186602. Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 Proceedings
186603. Learning and Geometry: Computational Approaches
186604. Vaguely Defined Objects: Representations, Fuzzy Sets and Nonclassical Cardinality Theory
186605. Information Systems and Technology in the International Office of the Future: Proceedings of the IFIP WG 8.4 working conference on the International Office of the Future: Design Options and Solution Strategies, University of Arizona, Tucson, Arizona, USA, April 8–11, 1996
186606. Remote Cooperation: CSCW Issues for Mobile and Teleworkers
186607. Computing and Combinatorics: Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
186608. Object Oriented Computer Systems Engineering
186609. Evolutionary Search and the Job Shop: Investigations on Genetic Algorithms for Production Scheduling
186610. Die Evolution der betrieblichen DV-Abteilung: Eine lebenszyklustheoretische Analyse
186611. Fuzzy Logic Foundations and Industrial Applications
186612. Formal Methods and Object Technology
186613. High-Performance Computing and Networking: International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
186614. Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science: Second International Workshop, PARA '95 Lyngby, Denmark, August 21–24, 1995 Proceedings
186615. Principles of Distributed Systems
186616. Scientific Pascal
186617. Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine
186618. Discrete Analysis and Operations Research
186619. Adobe Photoshop für Durchstarter
186620. Design Principles for Interactive Software
186621. Constraint Databases and Applications: Second International Workshop on Constraint Database Systems, CDB '97 Delphi, Greece, January 11–12, 1997 CP '96 Workshop on Constraints and Databases Cambridge, MA, USA, August 19, 1996 Selected Papers
186622. Integer Programming and Combinatorial Optimization: 5th International IPCO Conference Vancouver, British Columbia, Canada, June 3–5, 1996 Proceedings
186623. Computational and Conversational Discourse: Burning Issues — An Interdisciplinary Account
186624. Business im Internet: Erfolgreiche Online-Geschäftskonzepte
186625. Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning: Proceeding of the Second International Colloquium on Cognitive Science
186626. Towards Evolvable Hardware: The Evolutionary Engineering Approach
186627. Programmieren mit Maple V
186628. Distributed Algorithms: 10th International Workshop, WDAG '96 Bologna, Italy, October 9–11, 1996 Proceedings
186629. Internet für Mediziner
186630. Input/Output in Parallel and Distributed Computer Systems
186631. Information Society: New Media, Ethics and Postmodernism
186632. Finanzmarktanalyse und -prognose mit innovativen quantitativen Verfahren: Ergebnisse des 5. Karlsruher Ökonometrie-Workshops
186633. Computer Aided Systems Theory — CAST '94: 4th International Workshop Ottawa, Ontario, Canada, May 16–20, 1994 Selected Papers
186634. Datenbankeinsatz
186635. Parallel Language and Compiler Research in Japan
186636. Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16–18, 1995 Proceedings
186637. Fuzzy Set Theory and Advanced Mathematical Applications
186638. Formal Object-Oriented Development
186639. Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
186640. Recherchieren und Publizieren im World Wide Web: Mit vollständiger HTML-Referenz inkl. Version 3.0
186641. Methoden der Quantenmechanik mit Mathematica®
186642. Computer Animation and Simulation ’95: Proceedings of the Eurographics Workshop in Maastricht, The Netherlands, September 2–3, 1995
186643. Extremal Combinatorial Problems and Their Applications
186644. Asynchronous Digital Circuit Design
186645. Personalorientierte Montageplanung für komplexe und variantenreiche Produkte
186646. Advances in Cryptology — CRYPT0’ 95: 15th Annual International Cryptology Conference Santa Barbara, California, USA, August 27–31, 1995 Proceedings
186647. Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
186648. Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994
186649. Interactive 3D Graphics in Windows®
186650. Advances in Cryptology — ASIACRYPT'94: 4th International Conferences on the Theory and Applications of Cryptology Wollongong, Australia, November 28 – December 1, 1994 Proceedings
186651. ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
186652. Information & On-Line Data in Astronomy
186653. A Knowledge-Based Approach to Program Understanding
186654. Corporate Networks und neue Techniken: Proceedings des Telekom-Anwender-Kongress ’94
186655. Ada 95 Rationale: The Language The Standard Libraries
186656. Prozeß- und Methoden-Management für Informationssysteme: Überblick und Referenzmodell
186657. Numerical Integration of Stochastic Differential Equations
186658. Informatiker in der Wirtschaft: Perspektiven eines Berufs
186659. Temporal Logic: From Ancient Ideas to Artificial Intelligence
186660. Information Technology in Educational Management
186661. Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995
186662. Programmieren mit Modula-3: Eine Einführung in stilvolle Programmierung
186663. Rendering Techniques ’95: Proceedings of the Eurographics Workshop in Dublin, Ireland, June 12–14, 1995
186664. Technology Education, Innovation, and Management: Proceedings of the WOCATE Conference 1994
186665. Analysis and Evaluation of Fuzzy Systems
186666. Image Analysis and Processing: 8th International Conference, ICIAP'95 San Remo, Italy, September 13–15, 1995 Proceedings
186667. The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
186668. The Biology and Technology of Intelligent Autonomous Agents
186669. Executive Guide to Speech-Driven Computer Systems
186670. Design, Specification and Verification of Interactive Systems ’95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995
186671. LINUX — Vom PC zur Workstation: Grundlagen, Installation und praktischer Einsatz
186672. Parallel Algorithms for Irregular Problems: State of the Art
186673. The Pleadings Game: An Artificial Intelligence Model of Procedural Justice
186674. Advances in Cryptology — EUROCRYPT'94: Workshop on the Theory and Application of Cryptographic Techniques Perugia, Italy, May 9–12, 1994 Proceedings
186675. Objektorientiertes Reverse Engineering: Von klassischer zu objektorientierter Software
186676. East/West Database Workshop: Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25–28 September 1994
186677. Integration of Natural Language and Vision Processing: (Volume II) Intelligent Multimedia
186678. Isomorphisms of Types: from λ-calculus to information retrieval and language design
186679. Funtional Programming Languages in Education: First International Symposium, FPLE '95 Nijmegen, The Netherlands, December 4–6, 1995 Proceedings
186680. The NURBS Book
186681. Text Encoding Initiative: Background and Context
186682. Applications of Logic Databases
186683. Systematische Planung anwendungsspezifischer Materialflußsteuerung
186684. Pearl 95: Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 30.November–1.Dezember 1995
186685. LATIN '95: Theoretical Informatics: Second Latin American Symposium Valparaíso, Chile, April 3–7, 1995 Proceedings
186686. Graphics and Robotics
186687. Einführung in die Wirtschaftsinformatik
186688. Image Processing for Broadcast and Video Production: Proceedings of the European Workshop on Combined Real and Synthetic Image Processing for Broadcast and Video Production, Hamburg, 23–24 November 1994
186689. Verläßliche IT-Systeme: Proceedings der GI-Fachtagung VIS ’95
186690. Critical Issues in Systems Theory and Practice
186691. Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks
186692. Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
186693. Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95
186694. Cognitive Aspects of Human-Computer Interaction for Geographic Information Systems
186695. Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium
186696. Disconnected Operation in a Distributed File System
186697. Innovative Konzepte für die Ausbildung: 6. GI-Fachtagung Informatik und Schule, INFOS ’95, Chemnitz, 25.–28. September 1995
186698. Evaluating Natural Language Processing Systems: An Analysis and Review
186699. Exploiting Mental Imagery with Computers in Mathematics Education
186700. Near-Rings and Near-Fields: Proceedings of the Conference on Near-Rings and Near-Fields Fredericton, New Brunswick, Canada, July 18–24, 1993
186701. TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
186702. Geoinformatik: Modelle, Strukturen, Funktionen
186703. Management-Informationssysteme: Praktische Anwendungen
186704. Combinatorial Pattern Matching: 6th Annual Symposium, CPM 95 Espoo, Finland, July 5–7, 1995 Proceedings
186705. Molecular Similarity in Drug Design
186706. Autonome Mobile Systeme 1995: 11. Fachgespräch Karlsruhe, 30. November–1. Dezember 1995
186707. Computer Supported Collaborative Learning
186708. The Universal Turing Machine A Half-Century Survey
186709. Informatik für Ingenieure
186710. Neural Networks: An Introduction
186711. Interactive Media
186712. OOIS’94: 1994 International Conference on Object Oriented Information Systems 19–21 December 1994, London
186713. Perceptual Issues in Visualization
186714. Pattern Recognition and Image Processing in C++
186715. Integrierte Qualitätssicherung in flexiblen Fertigungszellen
186716. Information Systems Development for Decentralized Organizations: Proceedings of the IFIP working conference on information systems development for decentralized organizations, 1995
186717. Simulation von Produktionssystemen
186718. SQL: Eine praxisorientierte Einführung
186719. The TSQL2 Temporal Query Language
186720. Relationale Datenbanken: Eine Einführung für die Praxis
186721. Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
186722. Finite Model Theory
186723. Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
186724. Strategic Organizational Diagnosis and Design: Developing Theory for Application
186725. Variational Inequalities and Network Equilibrium Problems
186726. CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings
186727. Programmieren in Smalltalk mit VisualWorks® : Smalltalk — nicht nur für Anfänger
186728. Persistent Object Systems: Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994
186729. Qualification for Computer-Integrated Manufacturing
186730. Number Theory I: Fundamental Problems, Ideas and Theories
186731. Reduktionssysteme: Rechnen und Schließen in gleichungsdefinierten Strukturen
186732. Collegium Logicum
186733. Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings
186734. Client/Server: Technologie und Realisierung im Unternehmen
186735. Visual Database Systems 3: Visual information management
186736. Computer Treatment of Large Air Pollution Models
186737. UNIX System V.4: Begriffe, Konzepte, Kommandos, Schnittstellen
186738. Software Process Automation: The Technology and Its Adoption
186739. Geschäftsprozeßoptimierung mit SAP-R/3: Modellierung, Steuerung und Management betriebswirtschaftlich-integrierter Geschäftsprozesse
186740. Adjoint Equations and Analysis of Complex Systems
186741. Advances in Artificial Life: Third European Conference on Artificial Life Granada, Spain, June 4–6, 1995 Proceedings
186742. High Performance Computing in the Geosciences
186743. Object-Oriented Programming in Oberon-2
186744. A Paradigm for Decentralized Process Modeling
186745. Automating Instructional Design: Computer-Based Development and Delivery Tools
186746. Deutscher Multimedia Kongreß ’95: Auffahrt zum Information Highway
186747. Programmierung und Simulation von Zellenabläufen in der Arbeitsvorbereitung
186748. Neural Computation and Psychology: Proceedings of the 3rd Neural Computation and Psychology Workshop (NCPW3), Stirling, Scotland, 31 August – 2 September 1994
186749. Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
186750. Environmental Informatics: Methodology and Applications of Environmental Information Processing
186751. Skriptum Informatik — eine konventionelle Einführung
186752. Quantifiers: Logics, Models and Computation: Volume One: Surveys
186753. Communication and Cooperation in Agent Systems: A Pragmatic Theory
186754. Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings
186755. Programmieren in C++: Einführung in den Sprachstandard C++
186756. Computers and Exploratory Learning
186757. Ambiguity in Mind and Nature: Multistable Cognitive Phenomena
186758. Computations with Markov Chains: Proceedings of the 2nd International Workshop on the Numerical Solution of Markov Chains
186759. Random Generation of Trees: Random Generators in Computer Science
186760. Solving Problems in Scientific Computing Using Maple and MATLAB®
186761. The Foundational Debate: Complexity and Constructivity in Mathematics and Physics
186762. Revolutionary Changes in Understanding Man and Society: Scopes and Limits
186763. Hybrid Intelligent Systems
186764. Evolution and Biocomputation: Computational Models of Evolution
186765. The Combinatory Programme
186766. SGML für die Praxis: Ansatz und Einsatz von ISO 8879
186767. Client/Server-Architektur: Organisation und Methodik der Anwendungsentwicklung
186768. Principles and Practice of Constraint Programming — CP '95: First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
186769. Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
186770. Entzifferte Geheimnisse: Methoden und Maximen der Kryptologie
186771. The Logic of Partial Information
186772. Automated Practical Reasoning: Algebraic Approaches
186773. Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
186774. Spatial Information Theory A Theoretical Basis for GIS: International Conference COSIT '95 Semmering, Austria, September 21–23, 1995 Proceedings
186775. Geometric Modelling: Dagstuhl 1993
186776. Integration of Natural Language and Vision Processing: Computational Models and Systems
186777. APL2 in Depth
186778. Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
186779. Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
186780. CA-Integration in Theorie und Praxis: Aktuelle Konzepte für Integrations- und Kommunikationstechnologien im CAD-Umfeld
186781. Konzept einer integrierten Produktentwicklung
186782. Structural Complexity I
186783. Cooperating Heterogeneous Systems
186784. Executive Guide to Business Success through Human-Centred Systems
186785. The Algorithmic Beauty of Sea Shells
186786. Object-Based Models and Languages for Concurrent Systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 Proceedings
186787. Proof and Computation
186788. Aufwandsminimierter Wissenserwerb für die Diagnose in flexiblen Produktionszellen
186789. Ada 95 Quality and Style
186790. Informatics and the Foundations of Legal Reasoning
186791. The Neurobiology of Computation: Proceedings of the Third Annual Computation and Neural Systems Conference
186792. Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren
186793. The Dictionary of Computer Graphics and Virtual Reality
186794. Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
186795. Programming Paradigms in Graphics: Proceedings of the Eurographics Workshop in Maastricht, The Netherlands, September 2–3, 1995
186796. Mathematical Models for Handling Partial Knowledge in Artificial Intelligence
186797. Advances in Stochastic Modelling and Data Analysis
186798. Programming with Turing and Object Oriented Turing
186799. Fast Simulation of Computer Architectures
186800. OOER '95: Object-Oriented and Entity-Relationship Modeling: 14th International Conference Gold Coast, Australia, December 13–15, 1995 Proceedings
186801. Software Quality and Productivity: Theory, practice, education and training
186802. Term Indexing
186803. Kommunikation in Verteilten Systemen: Neue Länder — Neue Netze — Neue Dienste. GI/ITG-Fachtagung Chemnitz-Zwickau, 22.–24. Februar 1995
186804. Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
186805. EDV-Einsatz in Krankenanstalten
186806. Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers
186807. Visualization in Scientific Computing ’95: Proceedings of the Eurographics Workshop in Chia, Italy, May 3–5, 1995
186808. Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
186809. Neural Networks: Artificial Intelligence and Industrial Applications: Proceedings of the Third Annual SNN Symposium on Neural Networks, Nijmegen, The Netherlands, 14–15 September 1995
186810. GKS in der Praxis
186811. Introducing Fortran 90
186812. SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings
186813. The Nature of Statistical Learning Theory
186814. Software Engineering and Human-Computer Interaction: ICSE '94 Workshop on SE-HCI: Joint Research Issues Sorrento, Italy, May 16–17, 1994 Proceedings
186815. Probability, Stochastic Processes, and Queueing Theory: The Mathematics of Computer Performance Modeling
186816. VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
186817. Advances in Cryptology — EUROCRYPT ’95: International Conference on the Theory and Application of Cryptographic Techniques Saint-Malo, France, May 21–25, 1995 Proceedings
186818. Executive Guide to Preventing Information Technology Disasters
186819. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 11th International Symposium, AAECC-11 Paris, France, July 17–22, 1995 Proceedings
186820. Epioptics: Linear and Nonlinear Optical Spectroscopy of Surfaces and Interfaces
186821. Advances in Intelligent Computing — IPMU '94: 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Paris, France, July 4–8, 1994 Selected Papers
186822. Objektorientierte Entwicklung betrieblicher Informationssysteme
186823. Linux Universe: Installation and Configuration
186824. Dokumentations- und Ordnungslehre: Theorie und Praxis des Information Retrieval
186825. The Knowledge Acquisition and Representation Language, KARL
186826. Theory and Practice of Parallel Programming: International Workshop TPPP '94 Sendai, Japan, November 7–9, 1994 Proceedings
186827. Computational Algebra and Number Theory
186828. Innovative Interaktionstechniken in der Visualisierung
186829. Multimedia and Groupware for Editing
186830. Formel, Farbe, Form: Computerästhetik für Medien und Design
186831. Quantifiers: Logics, Models and Computation: Volume Two: Contributions
186832. Logic Program Synthesis from Incomplete Information
186833. Temporal Verification of Reactive Systems: Safety
186834. Evolutionary Algorithms in Management Applications
186835. Transport Simulation in Microelectronics
186836. Formal Development of Reactive Systems: Case Study Production Cell
186837. Building in Big Brother: The Cryptographic Policy Debate
186838. Sicherungsinfrastrukturen: Gestaltungsvorschläge für Technik, Organisation und Recht
186839. Speech Recognition and Coding: New Advances and Trends
186840. Recent Advances in Temporal Databases: Proceedings of the International Workshop on Temporal Databases, Zurich, Switzerland, 17–18 September 1995
186841. Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Alès, France, 1995
186842. High-Performance Computing and Networking: International Conference and Exhibition Milan, Italy, May 3–5, 1995 Proceedings
186843. Photorealistic Rendering Techniques
186844. Invariant Methods in Discrete and Computational Geometry: Proceedings of the Curaçao Conference, 13–17 June, 1994
186845. Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
186846. Vererbung für Systementwickler: Grundlagen und Anwendungen
186847. Spatial Representation and Motion Planning
186848. Virtual Environments ’95: Selected papers of the Eurographics Workshops in Barcelona, Spain, 1993, and Monte Carlo, Monaco, 1995
186849. Mustererkennung 1995: Verstehen akustischer und visueller Informationen
186850. Skill, Technology and Enlightenment: On Practical Philosophy
186851. Datenbanksysteme in Büro, Technik und Wissenschaft: GI-Fachtagung, Dresden, 22.–24. März 1995
186852. Cooperative Computer-Aided Authoring and Learning: A Systems Approach
186853. WHO is WHO in Multimedia: in Deutschland, Üsterreich und der Schweiz
186854. The SGML Implementation Guide: A Blueprint for SGML Migration
186855. Health Information — New Possibilities
186856. Algorithms — ESA '95: Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings
186857. Der Turing Omnibus: Eine Reise durch die Informatik mit 66 Stationen
186858. Object-Oriented Programming for Graphics
186859. Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung
186860. Rechnergestützte Gruppenarbeit: Eine Einführung in Verteilte Anwendungen
186861. Inconsistent Mathematics
186862. GISI 95: Herausforderungen eines globalen Informationsverbundes für die Informatik
186863. Fortran 90 Language Guide
186864. Models of Neural Networks I
186865. Deductive and Object-Oriented Databases: Fourth International Conference, DOOD '95 Singapore, December 4–7, 1995 Proceedings
186866. Proceedings of the Fourth European Conference on Computer-Supported Cooperative Work ECSCW ’95: 10–14 September, 1995, Stockholm, Sweden
186867. Datenbanksysteme: Konzeptionelle Datenmodellierung und Datenbankarchitekturen
186868. Algebraic Structures and Operator Calculus: Volume II: Special Functions and Computer Science
186869. Fractals and Dynamic Systems in Geoscience
186870. LINUX Vom PC zur Workstation: Grundlagen, Installation und praktischer Einsatz
186871. Parallel Scientific Computing: First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
186872. Die Wissenschaften vom Künstlichen
186873. Programmverifikation: Sequentielle, parallele und verteilte Programme
186874. Mathematical Foundations of Computer Science 1994: 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
186875. ITSM for Windows: A User’s Guide to Time Series Modelling and Forecasting
186876. User Interface Evaluation: A Structured Approach
186877. Rough Sets, Fuzzy Sets and Knowledge Discovery: Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD’93), Banff, Alberta, Canada, 12–15 October 1993
186878. Regelungstechnik und Simulation: Ein Arbeitsbuch mit Visualisierungssoftware
186879. Client/Server-Technologie in der Unternehmenspraxis: Vision und Realität der Informationsverarbeitung im restrukturierten Unternehmen
186880. On the Refinement Calculus
186881. Neural Network Simulation Environments
186882. Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994
186883. Information and Randomness: An Algorithmic Perspective
186884. Information verstehen: Facetten eines neuen Zugangs zur Welt
186885. Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
186886. High-Performance Computing and Networking: International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings, Volume I: Applications
186887. Human and Machine Vision: Analogies and Divergencies
186888. Computer Aided Systems Theory — EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings
186889. Database Programming Languages (DBPL-4): Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30 August–1 September 1993
186890. The SIMD Model of Parallel Computation
186891. Computer Vision — ECCV '94: Third European Conference on Computer Vision Stockholm, Sweden, May 2–6, 1994 Proceedings, Volume I
186892. Advances in Database Technology — EDBT '94: 4th International Conference on Extending Database Technology Cambridge, United Kingdom, March 28–31, 1994 Proceedings
186893. Subrecursive Programming Systems: Complexity & Succinctness
186894. Algorithm Theory — SWAT '94: 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings
186895. Collaborative Dialogue Technologies in Distance Learning
186896. Offene Systeme: Strategien, Konzepte und Techniken für das Informationsmanagement
186897. Programming in Prolog
186898. Parallele Datenverarbeitung mit dem Transputer: 5. Transputer-Anwender-Treffen TAT ’93, Aachen, 20.–22. September 1993
186899. From Statistics to Neural Networks: Theory and Pattern Recognition Applications
186900. Das CC RIM-Referenzmodell für den Entwurf von betrieblichen, transaktionsorientierten Informationssystemen
186901. Reliability and Safety Assessment of Dynamic Process Systems
186902. State of the Art in Computer Graphics: Aspects of Visualization
186903. Fuzzy Logik: Theorie und Praxis 4. Dortmunder Fuzzy-Tage Dortmund, 6.–8. Juni 1994
186904. Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
186905. The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization
186906. Scheduling Theory. Single-Stage Systems
186907. Practical SGML
186908. Qualitative Reasoning: Modeling and the Generation of Behavior
186909. Foundations of Synergetics I: Distributed Active Systems
186910. Computerkartographie: Eine Einführung in das Desktop Mapping am PC
186911. InformLex: Lexikon für Abkürzungen und Metaphern in Informatik und Umfeld
186912. Computational Architectures Integrating Neural And Symbolic Processes: A Perspective on the State of the Art
186913. Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
186914. Online-Recherche Neue Wege zum Wissen der Welt: Eine praktische Anleitung zur effizienten Nutzung von Online-Datenbanken
186915. Rechnergestütztes System zur automatisierten 3D-Layoutoptimierung
186916. Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
186917. Distributed Systems: Software Design and Implementation
186918. Praktische Betriebsinformatik: Konzepte logistischer Abläufe
186919. Simulationsgestützte CAD/CAM-Kopplung für die 3D-Laserbearbeitung mit integrierter Sensorik
186920. Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering: 13th International Conference on the Entity-Relationship Approach Manchester, United Kingdom, December 13–16, 1994 Proceedings
186921. Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994
186922. Inside Versus Outside: Endo- and Exo-Concepts of Observation and Knowledge in Physics, Philosophy and Cognitive Science
186923. Multithreaded Computer Architecture: A Summary of the State of the ART
186924. Studies in Computer Science: In Honor of Samuel D. Conte
186925. Software-Entwicklung im Team: Mehr Qualität durch das dialogische Prinzip bei der Projektarbeit
186926. Parallel Problem Solving from Nature — PPSN III: International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings
186927. Scheduling Theory. Multi-Stage Systems
186928. Design and Production of Multimedia and Simulation-based Learning Material
186929. Artificial Intelligence in Design ’94
186930. Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
186931. Compiler Construction: 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings
186932. Multiprocessor Execution of Logic Programs
186933. Computational Approaches in Supramolecular Chemistry
186934. User-Centred Requirements for Software Engineering Environments
186935. Dependable Computing — EDCC-1: First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings
186936. Numerical Simulation in Science and Engineering: Proceedings of the FORTWIHR Symposium on High Performance Scientific Computing, München, June 17–18, 1993
186937. Neuronale Netze für technische Anwendungen
186938. Berufe im Archiv-, Bibliotheks-, Informations- und Dokumentationswesen: Ein Wegweiser zur Ausbildung
186939. UNIX, C und Internet: Moderne Datenverarbeitung in Wissenschaft und Technik
186940. Listen, Bäume und Graphen als Objekte: Mit Beispielen in Object Pascal
186941. Informatik: Grundlagen Mit einer Einführung in PASCAL
186942. Distributed and Parallel Database Object Management
186943. Neuronale Netze und Fuzzy-Systeme: Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden
186944. Mathematical Morphology and Its Applications to Image Processing
186945. Alan Turing, Enigma
186946. LINUX: Unleashing the Workstation in Your PC
186947. Algorithms for Continuous Optimization: The State of the Art
186948. Knowledge Representation and Reasoning Under Uncertainty: Logic at Work
186949. PROLOG for Computer Science
186950. Transfersysteme zur Hochleistungskommunikation
186951. Genetic Algorithms + Data Structures = Evolution Programs
186952. Mathematik mit dem PC: Der effektive Einsatz von Computeralgebra-Programmen in Schule, Studium und Praxis
186953. Computergrafik: Algorithmen und Implementierung
186954. Das informierte Management: Fakten und Signale für schnelle Entscheidungen
186955. Advances in Cryptology — EUROCRYPT ’93: Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23–27, 1993 Proceedings
186956. High-Performance Computing and Networking: International Conference and Exhibition Munich, Germany, April 18–20, 1994 Proceedings Volume II: Networking and Tools
186957. Cellular Automata, Dynamical Systems and Neural Networks
186958. Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
186959. Visual Computing: The Integration of Computer Graphics, Visual Perception and Imaging
186960. Objekte integrieren mit OLE2: Microsofts Basistechnologie für objektorientierte Architektur
186961. Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
186962. Programming Environments for Massively Parallel Distributed Systems: Working Conference of the IFIP WG 10.3, April 25–29, 1994
186963. Visualization in Scientific Computing
186964. Database Issues for Data Visualization: IEEE Visualization '93 Workshop San Jose, California, USA, October 26, 1993 Proceedings
186965. Type Logical Grammar: Categorial Logic of Signs
186966. Responsive Computing: A Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No.3 (1994)
186967. First Steps in Mathematica
186968. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications
186969. Fractals in Science
186970. Object-Based Distributed Programming: ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings
186971. Object-Oriented Programming: with Prototypes
186972. Theorie und Praxis relationaler Datenbanken: Eine grundlegende Einführung für Studenten und Datenbankentwickler
186973. Computer Vision — ECCV '94: Third European Conference on Computer Vision Stockholm, Sweden, May 2–6 1994 Proceedings, Volume II
186974. Making Hypermedia Work: A User’s Guide to HyTime
186975. C++ for Scientists, Engineers and Mathematicians
186976. Rechner-Kommunikation für Anwender: Grundlagen, Übersicht und Praxis
186977. Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
186978. Objektorientierte Systemanalyse: Eine Einführung
186979. Geometry-Driven Diffusion in Computer Vision
186980. Informatik im Maschinenbau
186981. Software Engineering Economics and Declining Budgets
186982. Computer Science 2: Research and Applications
186983. From Object Modelling to Advanced Visual Communication
186984. Fundamentals in Handwriting Recognition
186985. Concept Formation and Knowledge Revision
186986. Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings
186987. Reversible Grammar in Natural Language Processing
186988. Implementations of Logic Programming Systems
186989. Information and Communications Technologies in Tourism: Proceedings of the International Conference in Innsbruck, Austria, 1994
186990. Internet Werkzeuge und Dienste: Von „Archie“ bis „World Wide Web“
186991. Konzeption und Stand des Einsatzes von Data Dictionaries
186992. Mechanical Theorem Proving in Geometries: Basic Principles
186993. Nonlinear Phenomena in Flows of Viscoelastic Polymer Fluids
186994. Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
186995. Music Education: An Artificial Intelligence Approach: Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 1993
186996. Graph Theoretical Approaches to Chemical Reactivity
186997. Turing Machines with Sublogarithmic Space
186998. From Statistical Physics to Statistical Inference and Back
186999. Speech-to-Speech Translation: A Massively Parallel Memory-Based Approach
187000. Photoshop-Praxis: Tricks und Techniken für den effektiven Einsatz von Adobe Photoshop
187001. Applied Research in Fuzzy Technology: Three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan
187002. Erfolgreich Programmieren mit Ada: Unter Berücksichtigung des objektorientierten Standards
187003. SPSS für Windows: Datenanalyse unter Windows
187004. Innovationen bei Rechen- und Kommunikationssystemen: Eine Herausforderung für die Informatik
187005. System Modelling and Optimization: Proceedings of the 16th IFIP-TC7 Conference, Compiègne, France — July 5–9, 1993
187006. 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
187007. Management and Processing of Complex Data Structures: Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28–March 2, 1994 Proceedings
187008. Advances in Cryptology — CRYPTO ’94: 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21–25, 1994 Proceedings
187009. ICANN ’94: Proceedings of the International Conference on Artificial Neural Networks Sorrento, Italy, 26–29 May 1994 Volume 1, Parts 1 and 2
187010. Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings
187011. Student Modelling: The Key to Individualized Knowledge-Based Instruction
187012. Einführung von CSCW-Systemen in Organisationen: Tagungsband der D-CSCW ’94
187013. Systems, Models and Measures
187014. SPSS für Windows: Datenanalyse unter Windows
187015. Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
187016. Informatik-Management: ·Aufgabengebiete ·Lösungswege ·Controlling
187017. Sicherheitsschnittstellen — Konzepte, Anwendungen und Einsatzbeispiele: Proceedings des Workshops Security Application Programming Interfaces ’94 am 17.–18. November 1994 in München
187018. Load Distribution: Implementation for the Mach Microkernel
187019. Notations for Software Design
187020. Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
187021. The Interaction of Compilation Technology and Computer Architecture
187022. Objektorientierte Programmierung in Oberon-2
187023. Incompleteness and Uncertainty in Information Systems: Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993
187024. Bildverstehen
187025. Sicherheitsrisiko Informationstechnik: Analysen, Empfehlungen, Maßnahmen in Staat und Wirtschaft
187026. Programmieren in C++: Einführung in den Sprachstandard C++
187027. 4 Farben — ein Bild: Grundwissen für die Farbbildbearbeitung mit DTP
187028. SIGIR ’94: Proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University
187029. Multimedia ’94: Grundlagen und Praxis Heidelberg, 17./18./19. April 1994
187030. Die X/Motif Umgebung: Eine Einführung für Anwender und Systemverwalter
187031. Genetic Algorithms for Machine Learning
187032. Multimedia: System Architectures and Applications
187033. Hybrid Neural Network and Expert Systems
187034. Technology-Based Learning Environments: Psychological and Educational Foundations
187035. Automating Instructional Design, Development, and Delivery
187036. Shape in Picture: Mathematical Description of Shape in Grey-level Images
187037. Multimedia/Hypermedia in Open Distributed Environments: Proceedings of the Eurographics Symposium in Graz, Austria, June 6–9, 1994
187038. Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings
187039. 3D-CAD: Die Produktivität der neuen Systemgeneration
187040. Entity-Relationship Approach — ER '93: 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings
187041. Datenmodellierung mit deduktiven Techniken
187042. Advances in Cryptology — CRYPTO’ 93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22–26, 1993 Proceedings
187043. CSCW and Artificial Intelligence
187044. 3D-Graphik mit HOOPS: Einführung in die Programmierung
187045. Software Engineering Education: 7th SEI CSEE Conference San Antonio, Texas, USA, January 5–7, 1994 Proceedings
187046. Polytopes: Abstract, Convex and Computational
187047. Genetic Learning for Adaptive Image Segmentation
187048. Autonome Mobile Systeme 1994: 10. Fachgespräch, Stuttgart, 13. und 14. Oktober 1994
187049. A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
187050. Informatik: Eine grundlegende Einführung Teil 3: Systemstrukturen und systemnahe Programmierung
187051. Methodik der Programmierung in Pascal
187052. Entwicklung von Anwendungssystemen: Grundzüge eines werkzeuggestützten Vorgehens
187053. Unternehmensweite Kommunikationsnetze
187054. Knowledge Structures
187055. C++: Object-Oriented Data Structures
187056. User Interface Design: A Structured Approach
187057. Trajectories through Knowledge Space: A Dynamic Framework for Machine Comprehension
187058. Computer Security — ESORICS 94: Third European Symposium on Research in Computer Security Brighton, United Kingdom, November 7–9, 1994 Proceedings
187059. Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993
187060. Professionelle Softwaretests: Praxis der Qualitätsoptimierung kommerzieller Software
187061. Security for Object-Oriented Systems: Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993
187062. Good Manufacturing Practice in Transfusion Medicine: Proceedings of the Eighteenth International Symposium on Blood Transfusion, Groningen 1993, organized by the Red Cross Blood Bank Groningen-Drenthe
187063. Explorations in Automatic Thesaurus Discovery
187064. Gedächtnistheorien und Mnemotechniken: Eine künstlerisch-wissenschaftliche Betrachtung
187065. Interaktive Systeme: Software-Entwicklung und Software-Ergonomie
187066. Interior Point Approach to Linear, Quadratic and Convex Programming: Algorithms and Complexity
187067. Long-Term Climatic Variations: Data and Modelling
187068. Technische Informatik: Grundlagen der Computertechnik
187069. Algorithms — ESA '94: Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings
187070. First Steps in Maple
187071. Rules in Database Systems: Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September 1993
187072. Algorithms and Complexity: Second Italian Conference, CIAC '94 Rome, Italy, February 23–25, 1994 Proceedings
187073. DV-Projektrecht: Technische und rechtliche Aspekte zur Systemintegration
187074. Qualitative Representation of Spatial Knowledge
187075. Universal Algebra, Algebraic Logic, and Databases
187076. Automatic Parallelization: New Approaches to Code Generation, Data Distribution, and Performance prediction
187077. PEARL 94: Workshop über Realzeitsysteme. Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 1./2. Dezember 1994
187078. Open Distributed Systems: On Concepts, Methods, and Design from a Logical Point of View
187079. Erstellen modularer Software: Mit Pascal zur objektorientierten Programmierung
187080. The Structure of Intelligence: A New Mathematical Model of Mind
187081. Logic for Applications
187082. Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen: 7. ITG/GI-Fachtagung, Aachen, 21.–23. September 1993
187083. Algebras and Orders
187084. NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
187085. Comprehensive Systems Design: A New Educational Technology: Proceedings of the NATO Advanced Research Workshop on Comprehensive Systems Design: A New Educational Technology, held in Pacific Grove, California, December 2–7, 1990
187086. Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
187087. DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond: International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings
187088. Optical Information Technology: State-of-the-Art Report
187089. Expertensysteme 93: 2. Deutsche Tagung Expertensysteme (XPS-93) Hamburg, 17.-19. Februar 1993
187090. CICS: Eine praxisorientierte Einführung
187091. Advances in Cryptology — EUROCRYPT’ 92: Workshop on the Theory and Application of Cryptographic Techniques Balatonfüred, Hungary, May 24–28, 1992 Proceedings
187092. Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings
187093. Design of Hashing Algorithms
187094. Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters
187095. Modeling by Object-Driven Linear Elemental Relations: A User’s Guide for MODLER(c)
187096. Object Technologies for Advanced Software: First JSSST International Symposium Kanazawa, Japan, November 4–6, 1993 Proceedings
187097. ECOOP’ 93 — Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26–30, 1993 Proceedings
187098. Representing Uncertain Knowledge: An Artificial Intelligence Approach
187099. Robots and Biological Systems: Towards a New Bionics?
187100. Hypermedia: Proceedings der Internationalen Hypermedia ’93 Konferenz, Zürich, 2./3. März 1993
187101. TEX in Practice: Volume III: Tokens, Macros
187102. Implementierung funktionaler Programmiersprachen: Codegenerierung, Speicherverwaltung und Testsysteme für Sprachen mit verzögerter Auswertung
187103. Mathematical Computation with Maple V: Ideas and Applications: Proceedings of the Maple Summer Workshop and Symposium, University of Michigan, Ann Arbor, June 28–30, 1993
187104. Machine Learning: From Theory to Applications: Cooperative Research at Siemens and MIT
187105. MuPAD Multi Processing Algebra Data Tool: Benutzerhandbuch MuPAD Version 1.1
187106. Berechenbarkeit: Rekursive und Programmierbare Funktionen
187107. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
187108. Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992
187109. A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User’s Guide for ANALYZE(c)
187110. Software-Zuverlässigkeit: Grundlagen Konstruktive Maßnahmen Nachweisverfahren
187111. Projektleiter-Praxis: Erfolgreiche Projektabwicklung durch verbesserte Kommunikation und Kooperation
187112. Spline Functions and Multivariate Interpolations
187113. Programmieren in COBOL 85: Eine umfassende Einführung
187114. Information Systems Engineering: An Introduction
187115. Managing with Information Technology
187116. Kryptologie: Methoden und Maximen
187117. UNIX: Einstieg für DOS-Anwender
187118. Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
187119. Vortex Flows and Related Numerical Methods
187120. Software-Entwicklung in Fortran 90
187121. CIMOSA: Open System Architecture for CIM
187122. Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
187123. The Practical Intellect: Computers and Skills
187124. Fachinformation Online: Ein Überblick über Online-Datenbanken unter besonderer Berüksichtigung von Wirtschaftsinformationen
187125. Datenkommunikation: Verfahren — Netze — Dienste
187126. On Systems Analysis and Simulation of Ecological Processes with Examples in CSMP and FORTRAN
187127. Interactive Computer Systems: Videotex and Multimedia
187128. DCE — Das OSF Distributed Computing Environment: Einführung und Grundlagen
187129. SAFECOMP ’93: The 12th International Conference on Computer Safety, Reliability and Security
187130. Contributions to Quantitative Linguistics: Proceedings of the First International Conference on Quantitative Linguistics, QUALICO, Trier, 1991
187131. AutoCAD 12 für Windows: Die umfassende Einführung für Studenten und Konstrukteure
187132. Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning
187133. Maximum Entropy and Bayesian Methods: Paris, France, 1992
187134. UNIX … im Alleingang: Für Einsteiger und Umsteiger
187135. Neuroscience: From Neural Networks to Artificial Intelligence: Proceedings of a U.S.-Mexico Seminar held in the city of Xalapa in the state of Veracruz on December 9–11, 1991
187136. Communicating with Virtual Worlds
187137. Unix: Systemarchitektur und Programmierung
187138. Parallel Evolution of Parallel Processors
187139. The Testability of Distributed Real-Time Systems
187140. 3D CAD: Principles and Applications
187141. Das Vieweg-Buch zu FoxPro für Windows
187142. Bifurcations and Periodic Orbits of Vector Fields
187143. Program Verification: Fundamental Issues in Computer Science
187144. Intelligent Systems: Safety, Reliability and Maintainability Issues
187145. GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings
187146. Client/Server-Anwendungen: Planung und Entwicklung
187147. Das Vieweg LATEX-Buch: Eine praxisorientierte Einführung
187148. Chemical Structures 2: The International Language of Chemistry Proceedings of The Second International Conference, Leeuwenhorst Congress Center, Noordwijkerhout, The Netherlands, 3rd June to 7th June 1990
187149. Machine Learning: ECML-93: European Conference on Machine Learning Vienna, Austria, April 5–7, 1993 Proceedings
187150. The Functional Treatment of Parsing
187151. Objektorientiertes Programmieren: Mit Beispielen und Übungen in C++
187152. Parallel Computing on Distributed Memory Multiprocessors
187153. Computer Supported Collaborative Writing
187154. Instruction-Level Parallelism: A Special Issue of The Journal of Supercomputing
187155. Objectworks®\\Smalltalk für Anfänger: Eine Einführung in die objektorientierte Programmierung mit Smalltalk
187156. DTP-Praxis mit PageMaker 5
187157. Parallel Algorithm Derivation and Program Transformation
187158. Juristische Expertensysteme: Methodische Grundlagen ihrer Entwicklung
187159. ICANN ’93: Proceedings of the International Conference on Artificial Neural Networks Amsterdam, The Netherlands 13–16 September 1993
187160. Informatik als Schlüssel zur Qualifikation: GI-Fachtagung „Informatik und Schule 1993“ Koblenz, 11.–13. Oktober 1993
187161. Focus on Scientific Visualization
187162. Innovative Projektführung: Erfolgreiches Führungsverhalten durch Supervision und Coaching
187163. Imaging: Bildverarbeitung und Bildkommunikation
187164. Datenbanksysteme in Büro, Technik und Wissenschaft: GI-Fachtagung Braunschweig, 3.–5. März 1993
187165. Motion and Structure from Image Sequences
187166. Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16–18, 1993, Utrech, The Netherlands Proceedings
187167. Bivalve Filter Feeders: in Estuarine and Coastal Ecosystem Processes
187168. Advances in Cryptology — AUSCRYPT '92: Workshop on the Theory and Application of Cryptographic Techniques Gold Coast, Queensland, Australia, December 13–16, 1992 Proceedings
187169. Mehr als nur Programmieren…: Eine Einführung in die Informatik
187170. Beleuchtungsalgorithmen in der Computergrafik
187171. Advances in Spatial Databases: Third International Symposium, SSD '93 Singapore, June 23–25, 1993 Proceedings
187172. Proceedings of the Third European Conference on Computer-Supported Cooperative Work 13–17 September 1993, Milan, Italy ECSCW ’93
187173. SQL: Eine praxisorientierte Einführung
187174. CSCW: Cooperation or Conflict?
187175. Elektronische Archivierungssysteme: Image-Managment-Systeme, Dokument-Management-Systeme
187176. Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993
187177. Simulation-Based Experiential Learning
187178. Betriebliche Expertensystem-Anwendungen
187179. Wissensbasiertes CASE: Theoretische Analyse Empirische Untersuchung Entwicklung eines Prototyps
187180. Vernetzung von IuK-Techniken: Chancen und Risiken der Informations- und Kommunikationstechniken für kleinere und mittlere Unternehmen
187181. Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings
187182. Modeling of Dynamic Object Systems: A Logic-based Approach
187183. Graphics Modeling and Visualization in Science and Technology
187184. Selected Works of A.N. Kolmogorov. Volume III: Information Theory and the Theory of Algorithms
187185. Interdisciplinary Approaches to Nonlinear Complex Systems
187186. Computer Simulation and Computer Algebra: Lectures for Beginners
187187. CSCW: Generische Unterstützung von Teamarbeit in verteilten DV-Systemen
187188. CSCW in Practice: an Introduction and Case Studies
187189. CASE in der Praxis: Softwareentwicklungsumgebungen für Informationssysteme
187190. Learning from Computers: Mathematics Education and Technology
187191. Multistrategy Learning: A Special Issue of MACHINE LEARNING
187192. 14th Information Retrieval Colloquium: Proceedings of the BCS 14th Information Retrieval Colloquium, University of Lancaster, 13-14 April 1992
187193. C2 Compiler Concepts
187194. Expert Systems in Environmental Planning
187195. TEX in Practice: Volume 1: Basics
187196. Natural Language Processing: The PLNLP Approach
187197. Künstliche Intelligenz: Ein Handwörterbuch für Ingenieure
187198. Theory of Reconstruction from Image Motion
187199. A Systems-Based Approach to Policymaking
187200. Software-Führer ’93/’94 Lehre und Forschung: Ingenieurwissenschaften
187201. Die 32-Bit-Expedition: Win32™, Windows™4.0 und Windows NT™: Leitfaden und Referenz zur Portierung von Windows 3.x-Programmen
187202. Parallele Datenverarbeitung mit dem Transputer: 4. Transputer-Anwender-Treffen TAT ’92, Aachen, 22.–23. September 1992
187203. Relations and Graphs: Discrete Mathematics for Computer Scientists
187204. Advances in Cryptology — ASIACRYPT '91: International Conference on the Theory and Application of Cryptology Fujiyosida, Japan, November 1991 Proceedings
187205. Objektorientierte Programmierung: in Oberon-2
187206. Kommunikation in Verteilten Systemen: ITG/GI-Fachtagung München, 3.–5. März 1993
187207. Filtering, Segmentation and Depth
187208. Sicherheit in netzgestützten Informationssystemen: Proceedings des BIFOA-Kongresses
187209. Analytical Methods in Software Engineering Economics
187210. Objektorientierte Methoden für Informationssysteme: Fachtagung der GI-Fachgruppe EMISA, Klagenfurt, 7.–9. Juni 1993
187211. Verläßliche Informationssysteme: Proceedings der GI-Fachtagung VIS’93
187212. Mathematical Nonlinear Image Processing: A Special Issue of the Journal of Mathematical Imaging and Vision
187213. Systematic Introduction to Expert Systems: Knowledge Representations and Problem-Solving Methods
187214. Algorithms for Elliptic Problems: Efficient Sequential and Parallel Solvers
187215. Cellular Automata and Cooperative Systems
187216. Software for Parallel Computation
187217. Image Representation and Processing: A Recursive Approach
187218. Object-Oriented Database System: Design and Implementation for Advanced Applications
187219. Automata, Languages and Programming: 20th International Colloquium, ICALP 93 Lund, Sweden, July 5–9, 1993 Proceedings
187220. Computersicherheit: Der Schutz von Hard-und Software
187221. Designing Environments for Constructive Learning
187222. Introduction to Programming with Mathematica®: Includes diskette
187223. Formal Methods in Systems Engineering
187224. Larch: Languages and Tools for Formal Specification
187225. Einsatz nachgiebiger Elemente zur wirtschaftlichen Automatisierung von Produktionssystemen
187226. Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
187227. Theoretische Grundlagen der Informatik
187228. Categorical Combinators, Sequential Algorithms, and Functional Programming
187229. Fraktale Wolken, virtuelle Flammen: Computer-Emulation und Visualisierung turbulenter Gasbewegung
187230. Iteration Theories: The Equational Logic of Iterative Processes
187231. Case-Based Learning
187232. Multiprocessing: Trade-Offs in Computation and Communication
187233. Fuzzy Logic: Theorie und Praxis, 3. Dortmunder Fuzzy-Tage Dortmund, 7.–9. Juni 1993
187234. Datenbanksoftware für Jedermann: Das universelle Softwarepaket Vieweg DatenbankManager für xBASE-kompatible Datenbanken
187235. Algorithms for Random Generation and Counting: A Markov Chain Approach
187236. Komplexe Objekte und Anfragen in der Programmierung: Zur Integration von Datenbanken und Programmiersprachen
187237. Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
187238. Mensch-Computer-Kommunikation: Benutzergerechte Systeme auf dem Weg in die Praxis
187239. Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping
187240. Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992
187241. Medienwelten: Schein und Wirklichkeit in Bild und Ton
187242. Progress in Artificial Intelligence: 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6–8, 1993 Proceedings
187243. The Design of an Extendible Graph Editor
187244. Advances in Cryptology — CRYPTO’ 92: 12th Annual International Cryptology Conference Santa Barbara, California, USA August 16–20, 1992 Proceedings
187245. Finite and Infinite Combinatorics in Sets and Logic
187246. Modeling in Computer Graphics: Methods and Applications
187247. Effective Polynomial Computation
187248. The Perception of Visual Information
187249. 100 Rezepte für MS-DOS 6.0: Tips, Tricks und Anwendungsbeispiele für Einsteiger und Fortgeschrittene
187250. Advances in Petri Nets 1993
187251. The Graph Isomorphism Problem: Its Structural Complexity
187252. Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6–8 July 1992
187253. Item Banking: Interactive Testing and Self-Assessment
187254. Information und Kommunikation: Zur menschengerechten Technikgestaltung
187255. Cooperation Among Organizations: The Potential of Computer Supported Cooperative Work
187256. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
187257. Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung
187258. Software Engineering on Sun Workstations®
187259. Algorithms: Main Ideas and Applications
187260. Recent Developments in Decision Support Systems
187261. Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung
187262. TEX in Practice: Volume II: Paragraphs, Math and Fonts
187263. Datenbankverwaltung auf dem PC: Eine praxisorientierte Einführung für jeden Anwender
187264. COBOL — Das Handbuch für den professionellen Programmierer: Auf der Basis des ANSI-Standards unter Berücksichtigung der IBM-Erweiterungen unter VS COBOL II
187265. Guaranteed Accuracy in Numerical Linear Algebra
187266. Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
187267. Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
187268. Investigating Explanation-Based Learning
187269. Mach: Konzepte und Programmierung
187270. AI and Cognitive Science ’92: University of Limerick, 10–11 September 1992
187271. Combinatorial Pattern Matching: 4th Annual Symposium, CPM 93 Padova, Italy, June 2–4, 1993 Proceedings
187272. Handbuch digitaler Bild- und Filtereffekte: 1500 Beispiele elektronischer Bildbearbeitung
187273. TEX in Practice: Volume IV: Output Routines, Tables
187274. Objektorientierte Anwendungsentwicklung: Konzepte, Strategien, Erfahrungen
187275. Foundations of Knowledge Acquisition: Machine Learning
187276. Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Innsbruck, Austria, 1993
187277. ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992
187278. LOGIDATA+: Deductive Databases with Complex Objects
187279. Standards in Rechnernetzen
187280. Europäischer Informatik Kongreß Architektur von Rechensystemen Euro-ARCH ’93: München, 18.–19. Oktober 1993
187281. Anfrageverarbeitung in Komplexobjekt-Datenbanksystemen
187282. Foundations of Knowledge Acquisition: Cognitive Models of Complex Learning
187283. Performance Evaluation of Computer and Communication Systems: Joint Tutorial Papers of Performance '93 and Sigmetrics '93
187284. Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992
187285. Verification and Validation of Complex Systems: Human Factors Issues
187286. Advanced Technologies Applied to Training Design
187287. Multisensor Fusion for Computer Vision
187288. MS-DOS 6.0: Einsteigen leichtgemacht
187289. Logic and Algebra of Specification
187290. Persistent Object Systems: Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992
187291. Theorie der neuronalen Netze: Eine systematische Einführung
187292. Von DOS nach UNIX: Ein Schnellkurs für Aufsteiger
187293. Supercomputers and Their Performance in Computational Fluid Dynamics
187294. Datenbank-Integration von Ingenieuranwendungen: Modelle, Werkzeuge, Kontrolle
187295. Interfaces to Database Systems (IDS92): Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1–3 July 1992
187296. Algorithms and Computation: 4th International Symposium, ISAAC '93 Hong Kong, December 15–17, 1993 Proceedings
187297. Study and Research Guide in Computer Science: Profiles of Universities in the USA
187298. Einführung in UNIX: Ein Lehr- und Arbeitsbuch für Studium und Praxis
187299. Geometric Modelling
187300. Experimental Robotics II: The 2nd International Symposium, Toulouse, France, June 25–27 1991
187301. Solving Problems in Scientific Computing Using Maple and Matlab ®
187302. Turbo Pascal Wegweiser: für Ausbildung und Studium
187303. Schuld und Verantwortung: Otto Hahn Konflikte eines Wissenschaftlers
187304. Synchronous Programming of Reactive Systems
187305. Second Generation Expert Systems
187306. Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings
187307. CAD Geometry Data Exchange Using STEP: Realisation of Interface Processors
187308. Rechnerarchitektur
187309. Pearl 93: Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 2./3. Dezember 1993
187310. Information Transfer: New Age — New Ways: Proceedings of the third European Conference of Medical Libraries Montpellier, France, September 23–26, 1992
187311. Advanced Educational Technologies for Mathematics and Science
187312. Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993
187313. Directions in Safety-Critical Systems: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993
187314. Advances in Databases: 11th British National Conference on Databases, BNCOD 11 Keele, UK, July 7–9, 1993 Proceedings
187315. Kommunikationssysteme — Normung und soziale Akzeptanz
187316. Vieweg Software-Trainer Microsoft Access für Windows
187317. Mikrocontroller Praxis: Ein praxisorientierter Leitfaden für Hard- und Software-Entwicklung auf der Basis der 80(C)51x-Familie
187318. Programmieren in C++: Einführung in den Sprachstandard C++ Version 3.0
187319. Multimedia PC: Ein Navigator durch die Multimedia-Welt
187320. Object-Oriented Programming: in Oberon-2
187321. Nonmonotonic Logic: Context-Dependent Reasoning
187322. AI and Cognitive Science ’91: University College, Cork, 19–20 September 1991
187323. Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
187324. Programmieren mit C++ Version 3: Eine Anleitung für Studium und Praxis
187325. Computerviren und ihre Vermeidung: Ein übersichtlicher, praxisorientierter Leitfaden für jeden PC-Anwender
187326. Computation and Neural Systems
187327. Supercomputer ’93: Anwendungen, Architekturen, Trends Seminar, Mannheim, 24.–26. Juni 1993
187328. Topics in Knot Theory
187329. Automatische Synthese rekursiver Programme als Beweisverfahren
187330. Handbuch der Operatoren für die Bildbearbeitung: Bildtransformationen für die digitale Bildverarbeitung
187331. Programming with Motif™
187332. Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung
187333. Quattro Pro® for Scientific and Engineering Spreadsheets
187334. Neural Nets: A Theory for Brains and Machines
187335. Beyond Information: The Natural History of Intelligence
187336. Connectionism in Context
187337. Soar: A Cognitive Architecture in Perspective: A Tribute to Allen Newell
187338. Neurocontrol: Learning Control Systems Inspired by Neuronal Architectures and Human Problem Solving Strategies
187339. Integrated System for Intelligent Control
187340. Systolic Computations
187341. VGA und SuperVGA professionell programmiert: Mit nützlichen Tips, Tricks und Power-Tools auf Diskette
187342. Computer Science: Research and Applications
187343. Konvens 92: 1. Konferenz „Verarbeitung natürlicher Sprache“ Nürnberg, 7.–9. Oktober 1992
187344. Cognitive Tools for Learning
187345. Ontologie und Axiomatik der Wissensbasis von LILOG: Wissensmodellierung im IBM Deutschland LILOG-Projekt
187346. Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
187347. Computer Security — ESORICS 92: Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings
187348. Funktionale Analyse zeitbehafteter Petri-Netze
187349. Wege zu HyperCard: Der Einstieg in eine neue Software-Generation mit Version 2.1
187350. Advances in Scientific Visualization
187351. Contemporary Knowledge Engineering and Cognition: First Joint Workshop Kaiserslautern, Germany, February 21–22, 1991 Proceedings
187352. Programmieren mit Ada: Ein einführendes Lehrbuch mit Diskette
187353. Architektur von Rechensystemen: 12. GI/ITG-Fachtagung, Kiel, 23.–25. März 1992
187354. Desktop Publishing mit FrameMaker
187355. Theorie der logischen Programmierung: Eine elementare Einführung
187356. Objektorientierte und wissensbasierte Bildverarbeitung
187357. Evolution of Information Processing Systems: An Interdisciplinary Approach for a New Understanding of Nature and Society
187358. Software Fault Tolerance: Achievement and Assessment Strategies
187359. Universal Algebra for Computer Scientists
187360. Entscheidungsorientiertes Konfigurationsmanagement
187361. Prototyping-Oriented Software Development: Concepts and Tools
187362. Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
187363. Im Zug der Zeit: Verkürzter Aufenthalt in der Gegenwart
187364. Intelligent Learning Environments and Knowledge Acquisition in Physics
187365. Industrial Applications of Neural Networks: Project ANNIE Handbook
187366. Computer Aided Systems Theory — EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Austria, April 15–19 1991 Proceedings
187367. Computers and Writing: Issues and Implementations
187368. New Directions for Intelligent Tutoring Systems: Proceedings of the NATO Advanced Research Workshop on New Directions for Intelligent Tutoring Systems, held in Sintra, Portugal, 6–10 October, 1990
187369. Combinatorial Pattern Matching: Third Annual Symposium Tucson, Arizona, USA, April 29–May 1, 1992 Proceedings
187370. BMVC92: Proceedings of the British Machine Vision Conference, organised by the British Machine Vision Association 22–24 September 1992 Leeds
187371. Integrated Management of Technical Documentation: The System SPRITE
187372. Informationssysteme und Künstliche Intelligenz: Modellierung: 2. Workshop Ulm, 24.–26. Februar 1992 Proceedings
187373. Advanced Models of Cognition for Medical Training and Practice
187374. Hypermedia Courseware: Structures of Communication and Intelligent Help: Proceedings of the NATO Advanced Research Workshop on Structures of Communication and Intelligent Help for Hypermedia Courseware, held at Espinho, Portugal, April 19–24, 1990
187375. Advances in Petri Nets 1992
187376. Database Theory — ICDT '92: 4th International Conference Berlin, Germany, October 14–16, 1992 Proceedings
187377. The Alternative Mathematical Model of Linguistic Semantics and Pragmatics
187378. Algorithms and Computation: Third International Symposium, ISAAC'92 Nagoya, Japan, December 16–18, 1992 Proceedings
187379. Optimization-Based Computer-Aided Modelling and Design: Proceedings of the First Working Conference of the IFIP TC 7.6 Working Group The Hague, The Netherlands, 1991
187380. Photorealism in Computer Graphics
187381. Software-Engineering für Programmierer: Eine praxisgerechte Anleitung
187382. Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
187383. Cognition, Semantics and Philosophy: Proceedings of the First International Colloquium on Cognitive Science
187384. Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings
187385. The Design and Analysis of Algorithms
187386. Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
187387. Erklärung im Gespräch — Erklärung im Mensch-Maschine-Dialog: Proceedings
187388. Mustererkennung 1992: 14. DAGM-Symposium, Dresden, 14.–16. September 1992
187389. Objektorientierte Software-Entwicklung am Beispiel von ET++: Design-Muster, Klassenbibliothek, Werkzeuge
187390. Coordinating Plans of Autonomous Agents
187391. Objektbanken für Experten: Kolloquium, Stuttgart, 12./13. Oktober 1992
187392. Entwicklung und Einsatz von Expertensystemen: Eine anwendungsorientierte Einführung in wissensbasierte Systeme
187393. Das Wichtigste zu WORD 5.5 unter MS-DOS 5.0
187394. Informatik: Aufgaben und Lösungen
187395. Vieweg Software-Trainer Windows 3.1
187396. New Directions in Educational Technology
187397. Naturalismus in der Computergraphik
187398. Konzeption und Einsatz von Umweltinformationssystemen: Proceedings
187399. The Use of Projective Geometry in Computer Graphics
187400. Coupled Oscillating Neurons
187401. Objektorientierte Programmiersprache C++ : Vollständige Einführung anhand von Beispielen
187402. STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
187403. Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991
187404. Software Engineering für verteilte Anwendungen: Mechanismen und Werkzeuge
187405. DOS Profi Utilities mit Turbo Pascal
187406. Multimedia: Systems, Interaction and Applications
187407. Three-Dimensional Object Recognition from Range Images
187408. Adaptive Parsing: Self-Extending Natural Language Interfaces
187409. Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
187410. Technische Informatik 2: Grundlagen der Computertechnik
187411. Topics in Engineering Mathematics: Modeling and Methods
187412. Natural Object Recognition
187413. Spreadsheets: Tabellenkalkulation für Naturwissenschaftler
187414. CAD ’92: Neue Konzepte zur Realisierung anwendungsorientierter CAD-Systeme
187415. Visualisierungssysteme
187416. Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992
187417. Many-Valued Logics: 1: Theoretical Foundations
187418. Objektorientierte Programmierung: Ein einführendes Lehrbuch mit Beispielen in Modula-2
187419. An Introductory Guide to Scientific Visualization
187420. Heterogene Netze und Supercomputer
187421. Intervall-Indexstrukturen in Datenbanksystemen
187422. Datenstrukturen und Algorithmen
187423. Das Vieweg Buch zu Visual Basic: Eine umfassende Anleitung zur Programmentwicklung unter Windows
187424. PEARL 92: Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 3./4. Dezember 1992
187425. Computational and Algorithmic Problems in Finite Fields
187426. PASCAL-XSC: Language Reference with Examples
187427. Communication from an Artificial Intelligence Perspective: Theoretical and Applied Issues
187428. Informatik cui bono?: GI-FB 8 Fachtagung, Freiburg, 23.–26. September 1992
187429. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
187430. Situationsmodellierung in der Bildfolgenauswertung
187431. Human-Centred Systems in the Global Economy: Proceedings from the International Workshop on Industrial Cultures and Human-Centred Systems held by Tokyo Keizai University in Tokyo 1990
187432. Stufen der Anordnung in Geometrie und Algebra
187433. Genetic Algorithms + Data Structures = Evolution Programs
187434. Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
187435. Das Wichtigste zu MS-DOS 5.0
187436. Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
187437. Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings
187438. EskiMo — eine expertensystemkontrollierte Methodenbank: Ihre Entwicklung und Anwendung bei der Auswahl von Methoden zur Optimierung von Simulationsmodellen
187439. Zuverlässigkeit und Leistungsfähigkeit objekt-orientierter Datenbanksysteme
187440. Algorithms for Computer Algebra
187441. Übersetzerbau: Theorie, Konstruktion, Generierung
187442. Medical Images: Formation, Handling and Evaluation
187443. Computer, Software und Vernetzungen für die Lehre: Das Computer-Investitions-Programm (CIP) in der Nutzanwendung
187444. Prolog: Eine methodische Einführung
187445. Adaptive Learning Environments: Foundations and Frontiers
187446. Creating and Animating the Virtual World
187447. Technologie Geographischer Informationssysteme: Kongreß und Ausstellung KAGIS ’91
187448. Turbo-Pascal für Ingenieure: Eine Einführung mit Anwendungen aus Naturwissenschaft und Technik
187449. Die Software-Krise und ihre Macher
187450. Parallele lineare Algebra: Parallele Lösungen ausgewählter linearer Gleichungssysteme bei unterschiedlichen Multiprozessor-Architekturen
187451. Präsentation mit STEP: Schnittstelle zwischen Computer-Graphik und CAD/CIM
187452. The Psychology of Expertise: Cognitive Research and Empirical AI
187453. Theory and Design of Digital Computer Systems
187454. Modern Geometric Computing for Visualization
187455. Word 5.5 Makrotechnik: Makroprogrammierung, Tools, Tips und Tricks
187456. Datenstrukturen in APL2: Mit Anwendungen aus der künstlichen Intelligenz
187457. Entity-Relationship Approach — ER '92: 11th International Conference on the Entity-Relationship Approach Karlsruhe, Germany, October 1992 Proceedings
187458. Probability Theory and Applications: Essays to the Memory of József Mogyoródi
187459. Word Equations and Related Topics: 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
187460. Research Directions in Database Security
187461. Statistische Datenanalyse mit SPSS/PC+: Eine Einführung in Grundlagen und Anwendung
187462. Intelligent Tutoring Systems for Foreign Language Learning: The Bridge to International Communication
187463. Principle-Based Parsing: Computation and Psycholinguistics
187464. Logik für Informatiker: Eine Einführung
187465. 3D Dynamic Scene Analysis: A Stereo Based Approach
187466. Skill and Education: Reflection and Experience
187467. Differential and Integral Equations through Practical Problems and Exercises
187468. Towards a Software Factory
187469. Advanced Topics in Artificial Intelligence: International Summer School Prague, Czechoslovakia, July 6–17, 1992 Proceedings
187470. Innovative Programmiermethoden für Graphische Systeme: GI-Fachgespräch, Bonn, 1./2. Juni 1992
187471. Von CAD/CAM zu CIM
187472. Multimedia, Vernetzung und Software für die Lehre: Das Computer-Investitions-Programm (CIP) in der Nutzanwendung
187473. Neural Network Dynamics: Proceedings of the Workshop on Complex Dynamics in Neural Networks, June 17–21 1991 at IIASS, Vietri, Italy
187474. Strukturiert es Programmieren in C: Ein einführendes Lehrbuch mit Diskette
187475. Computational Statistics: Volume 2: Proceedings of the 10th Symposium on Computational Statistics, COMPSTAT, Neuchâtel, Switzerland, August 1992
187476. Information und Dokumentation: Sammeln, Speichern und Wiedergewinnen von Fachinformation in Datenbanken
187477. Programmieren mit Ada und C: Eine beispielorientierte Gegenüberstellung
187478. Vieweg Software-Trainer Excel 4.0
187479. Informatik 2: Eine einführende Übersicht
187480. Parallele Datenverarbeitung mit dem Transputer: 3. Transputer-Anwender-Treffen TAT ’91, Aachen, 17.–18. September 1991
187481. Gedankenmaterie
187482. Berufe im Archiv-, Bibliotheks-, Informations- und Dokumentationswesen: Ein Wegweiser zur Ausbildung
187483. Database and Expert Systems Applications: Proceedings of the International Conference in Valencia, Spain, 1992
187484. Signalanalyse: Grundlagen und mathematische Verfahren
187485. Object-Based Concurrent Computing: ECOOP '91 Workshop Geneva, Switzerland, July 15–16, 1991 Proceedings
187486. A Perspective of Constraint-Based Reasoning: An Introductory Tutorial
187487. Aspekte der Selbstorganisation
187488. 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
187489. Informatik in Wirtschaft und Verwaltung gestern - heute - morgen: Symposium anläßlich des 25-jährigen Bestehens des Informationskreises Organisation und Datenverarbeitung (IOD)
187490. Maximum Entropy and Bayesian Methods: Seattle, 1991
187491. Frontiers of Computing Systems Research: Essays on Emerging Technologies, Architectures, and Theories
187492. Microsoft Project für Windows: Einsteigen leichtgemacht
187493. Supercomputer ’92: Anwendungen, Architekturen, Trends. Seminar, Mannheim, 25.–27. Juni 1992
187494. Programmieren mit Ada: Ada für Einsteiger
187495. Informatik
187496. Reinforcement Learning
187497. Prinzipien piktorieller Repräsentationssysteme: Untersuchungen zur bildhaften Repräsentation von Wissen in informationsverarbeitenden Systemen
187498. Artificial Intelligence Through Search
187499. Theory of Computing and Systems: ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
187500. Advances in Database Technology — EDBT '92: 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings
187501. Architecture of Integrated Information Systems: Foundations of Enterprise Modelling
187502. Numerical Integration: Recent Developments, Software and Applications
187503. Information Processing in the Cortex: Experiments and Theory
187504. Interactive Learning Through Visualization: The Impact of Computer Graphics in Education
187505. Multimedia und Computeranwendungen in der Lehre: 6. CIP-Kongreß, Berlin, 6.–8. Oktober 1992
187506. Software Failure Risk: Measurement and Management
187507. Computer Graphics and Mathematics
187508. Btx und DFÜ auf dem PC: Ein praxisorientierter Leitfaden zum Thema Datenfernverarbeitung, Telekommunikation und Bildschirmtext
187509. PPS in Formereien
187510. Advances in Cryptology — CRYPTO ’91: Proceedings
187511. The Next Generation of Information Systems: From Data to Knowledge: A Selection of Papers Presented at Two IJCAI-91 Workshops, Sydney, Australia, August 26, 1991
187512. Advances in Computer Graphics Hardware V: Rendering, Ray Tracing and Visualization Systems
187513. Datenbanksysteme: Konzepte und Management
187514. Theory and Applications of Neural Networks: Proceedings of the First British Neural Network Society Meeting, London
187515. Visual Computing: Integrating Computer Graphics with Computer Vision
187516. Object Orientation in Z
187517. X und Motif: Einführung in die Programmierung des Motif-Toolkits und des X-Window-Systems
187518. Works für Windows: Einsteigen leichtgemacht
187519. Multiresolution Image Shape Description
187520. 100 Rezepte für Excel 4.0: Tips mit Pfiff für Kalkulation, Geschäftsgrafik und Präsentation
187521. Analogy and Structure
187522. Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen
187523. Intelligent Tutoring Systems: Second International Conference, ITS '92 Montréal, Canada, June 10–12 1992 Proceedings
187524. Associative Computing: A Programming Paradigm for Massively Parallel Computers
187525. Unternehmen UNIX: Technologie, Märkte und Perspektiven offener Systeme
187526. Algorithm Theory — SWAT '92: Third Scandinavian Workshop on Algorithm Theory Helsinki, Finland, July 8–10, 1992 Proceedings
187527. Specifications of Database Systems: International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991
187528. Constrained Optimization in the Calculus of Variations and Optimal Control Theory
187529. Fractal Geometry and Computer Graphics
187530. Maschinelles Lernen: Modellierung von Lernen mit Maschinen
187531. Novell Netware: Ein praxisorientierter Leitfaden mit Installationsbeispielen aktueller DOS- und Windows-Anwendungen
187532. Combinatorial Optimization: New Frontiers in Theory and Practice
187533. Generierung natürlicher Sprache mit Generalisierten Phrasenstruktur-Grammatiken
187534. Shape Detection in Computer Vision Using the Hough Transform
187535. Software-Bewertung: Ein semantischer Ansatz für Informationsmaße
187536. Multimedia Interface Design in Education
187537. Kolmogorov Complexity and Computational Complexity
187538. Künstliche Intelligenz und Entscheidungstheorie
187539. Programmieren in Pascal: Ein einführendes Lehrbuch mit Diskette
187540. What Robots Can and Can’t Be
187541. Code Generation — Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991
187542. Computers and Writing: State of the Art
187543. Software Development and Reality Construction
187544. Active Perception and Robot Vision
187545. Scalable Shared Memory Multiprocessors
187546. A Pathology of Computer Viruses
187547. Structured Document Image Analysis
187548. ALPUK 91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991
187549. Relationale Datenbanken: Eine Einführung für die Praxis
187550. Relaunching Videotex
187551. Specification and Analysis of Concurrent Systems: The COSY Approach
187552. Das Vieweg Buch zu Turbo Pascal für Windows: Eine umfassende Anleitung zur Programmentwicklung unter Windows
187553. Das Vieweg LATEX-Buch: Eine praxisorientierte Einführung
187554. Current Developments in Knowledge Acquisition — EKAW '92: 6th European Knowledge Acquisition Workshop Heidelberg and Kaiserslautern, Germany, May 18–22, 1992 Proceedings
187555. Prototyping: An Approach to Evolutionary System Development
187556. The Temporal Logic of Reactive and Concurrent Systems: Specification
187557. Computer Vision — ECCV'92: Second European Conference on Computer Vision Santa Margherita Ligure, Italy, May 19–22, 1992 Proceedings
187558. Schließen bei unsicherem Wissen in der Künstlichen Intelligenz: Vergleich von Formalismen anhand eines Beispiels
187559. Informatik zwischen Wissenschaft und Gesellschaft: Zur Erinnerung an Reinhold Franck Proceedings
187560. Macintosh Programmieren in C
187561. Zukunftsweisende Konzepte für die EDV-Ausbildung: Dargestellt am Beispiel der strategischen EDV-Ausbildungsplanung der Wirtschaftsuniversität Wien
187562. Objektorientierte Architektur für grafische Benutzungsoberflächen: Realisierung der portablen Fenstersystemschnittstelle von ET++
187563. Image Synthesis
187564. Programming and Mathematical Method: International Summer School
187565. Modellbildung und Simulation: Konzepte, Verfahren und Modelle zum Verhalten dynamischer Systeme
187566. Global Software: Developing Applications for the International Market
187567. Mathematical Problem Solving and New Information Technologies: Research in Contexts of Practice
187568. Collaborative Learning Through Computer Conferencing: The Najaden Papers
187569. Die Microsoft Programmer’s Workbench: Arbeiten mit dem Microsoft C/C++ PDS 7.0
187570. A Natural Language and Graphics Interface: Results and Perspectives from the ACORD Project
187571. C++: Grundlagen und Programmierung
187572. Connectionist Natural Language Processing: Readings from Connection Science
187573. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems: 5th International Conference, IEA/AIE - 92 Paderborn, Germany, June 9–12, 1992 Proceedings
187574. Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets Theory
187575. Scientific Visualization: Techniques and Applications
187576. Interactive Multimedia Learning Environments: Human Factors and Technical Considerations on Design Issues
187577. Changing Assessments: Alternative Views of Aptitude, Achievement and Instruction
187578. Expertise and Decision Support
187579. Building Interactive Systems: Architectures and Tools
187580. Information als Produktionsfaktor: 22. GI-Jahrestagung Karlsruhe, 28. September bis 2. Oktober 1992
187581. Case Technology: A Special Issue of the Journal of Systems Integration
187582. Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991
187583. SAS — Eine anwendungs-orientierte Einführung
187584. A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence
187585. Fuzzy Sets in der Netzplantechnik
187586. A Code Mapping Scheme for Dataflow Software Pipelining
187587. Messung, Modellierung und Bewertung von Rechensystemen: 6. GI/ITG-Fachtagung, Neubiberg, 18.–20. September 1991
187588. Machine Learning — EWSL-91: European Working Session on Learning Porto, Portugal, March 6–8, 1991 Proceedings
187589. Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics
187590. Complexity Theory of Real Functions
187591. Theory of Language Syntax: Categorial Approach
187592. CIM-Basiswissen für die Betriebspraxis: Für Unternehmer und Führungskräfte kleiner und mittlerer Unternehmen
187593. Foundations of Real-Time Computing: Scheduling and Resource Management
187594. Competitively Inhibited Neural Networks for Adaptive Parameter Estimation
187595. Multimedia-Datenbanken: Einsatz von Datenbanktechnik in Multimedia-Systemen
187596. Integrating Advanced Technology into Technology Education
187597. Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung
187598. Objektorientierte Informationssysteme
187599. Parallel Database Systems: PRISMA Workshop Noordwijk, The Netherlands, September 24–26, 1990 Proceedings
187600. Computing in the 90's: The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings
187601. Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen
187602. GWAI-91 15. Fachtagung für Künstliche Intelligenz: Bonn, 16.-20. September 1991 Proceedings
187603. Prozeßrechensysteme ’91: Automatisierungs- und Leitsysteme in den neunziger Jahren Berlin, 25.–27. Februar 1991
187604. Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland
187605. Computer Animation ’91
187606. Specification and Compositional Verification of Real-Time Systems
187607. System Design Modeling and Metamodeling
187608. Syntactic Parsing Strategies in Italian: The Minimal Chain Principle
187609. Partitioned Representations: A Study in Mental Representation, Language Understanding and Linguistic Structure
187610. Advances in Computer Technology and Applications in Japan
187611. Diskrete Simulation: Eine Einführung mit Modula-2
187612. Synergetic Computers and Cognition: A Top-Down Approach to Neural Nets
187613. The Stability Theory of Stream Ciphers
187614. PHIGS by Example
187615. Wege zu HyperCard: Der Einstieg in eine neue Software-Generation mit Version 2
187616. Works: Integrierte Software optimal eingesetzt
187617. Natural Language and Speech: Symposium Proceedings Brussels, November 26/27, 1991
187618. Programmiermethoden der Künstlichen Intelligenz
187619. Effektiv Starten mit Turbo C++: Professionelle Programmierung von Anfang an
187620. Einführung in die Rechtsinformatik
187621. Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
187622. Advances in Petri Nets 1991
187623. SQL-Anfragen: Optimierung für parallele Bearbeitung
187624. Advanced Information Systems Engineering: Third International Conference CAiSE '91 Trondheim, Norway, May 13–15, 1991 Proceedings
187625. Advances in Computer Graphics IV
187626. Advances in Petri Nets 1990
187627. STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
187628. Computing with T.Node Parallel Architecture
187629. 4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
187630. Advances in Object-Oriented Graphics I
187631. Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
187632. Aufgabenangemessenes Design flexibler Software
187633. Distributed Environments: Software Paradigms and Workstations
187634. Motion Planning in Dynamic Environments
187635. Elementare Aussagenlogik
187636. Computer Algorithms for Solving Linear Algebraic Equations: The State of the Art
187637. Software-Ergonomie: Gestaltung von EDV-Systemen — Kriterien, Methoden und Werkzeuge
187638. First-Order Programming Theories
187639. Organization of Programming Languages
187640. VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings
187641. The Computer, the Writer and the Learner
187642. VIS ’91 Verläßliche Informationssysteme: GI-Fachtagung, Darmstadt, 13.–15. März 1991 Proceedings
187643. Hands: A Pattern Theoretic Study of Biological Shapes
187644. Pascal-Benutzerhandbuch
187645. Kommunikation in Rechnernetzen: Eine anwenderorientierte Einführung in Betriebssysteme und Netzwerke
187646. European Workshop on Planning: EWSP ’91, Sankt Augustin, FRG, March 18–19, 1991 Proceedings
187647. IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
187648. Visualisierung von Umweltdaten: Rostock, 20. November 1990 Proceedings
187649. PostScript: Eine umfassende Einführung in die Programmierung Inkl. Filesystem und Typesetter
187650. 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.–27. September 1991 Proceedings
187651. Advances in Computing and Information — ICCI '91: International Conference on Computing and Information Ottawa, Canada, May 27–29, 1991 Proceedings
187652. Software-Engineering: Methodische Projektabwicklung
187653. Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
187654. Die Schnittstellen von UNIX-Programmen: Tips zur Programm-Organisation unter UNIX
187655. Informatik und Mathematik
187656. Datenbanksysteme in Büro, Technik und Wissenschaft: GI-Fachtagung, Kaiserslautern, 6.–8.März, 1991 Proceedings
187657. Hypertext / Hypermedia ’91: Tagung der GI, SI und OCG, Graz, 27. / 28. Mai 1991 Proceedings
187658. Einführung in Expertensysteme
187659. Modellbildung, Wissensrevision und Wissensrepräsentation im Maschinellen Lernen
187660. Past, Present, Parallel: A Survey of Available Parallel Computer Systems
187661. Kryptologie: Eine Einführung in die Wissenschaft vom Verschlüsseln, Verbergen und Verheimlichen. Ohne alle Geheimniskrämerei, aber nicht ohne hinterlistigen Schalk, dargestellt zum Nutzen und Ergötzen des allgemeinen Publikums
187662. Semantics of Type Theory: Correctness, Completeness and Independence Results
187663. Computer und Musik: Eine Einführung in die digitale Klang- und Musikverarbeitung
187664. Verification of Sequential and Concurrent Programs
187665. Integer Programming
187666. Information und die innere Struktur des Universums
187667. Logische und Funktionale Programmierung: Grundlagen einer Kombination
187668. Dateien und Datenbanken: Eine anwendungsorientierte Einführung
187669. Workstations for Experiments: IFIP WG 5.10 International Working Conference Lowell, MA, USA, July 1989
187670. Logic Programming '89: Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989
187671. Fundamentals of Artificial Intelligence Research: International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
187672. A Beginner’s Book of TEX
187673. Human-Machine Interactive Systems
187674. Einführung in die Informatik: Algorithmenentwicklung
187675. Logic, Algebra, and Computation: International Summer School
187676. Supercomputing: Applications, Algorithms, and Architectures For the Future of Supercomputing
187677. The Art of Distributed Applications: Programming Techniques for Remote Procedure Calls
187678. Connectionist Approaches to Language Learning
187679. Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction
187680. Programmieren in COBOL 85: Eine umfassende Einführung
187681. PC Tools 6. 0: Ein Praxisgerechtes Nachschlagewerk
187682. Scientific Visualization of Physical Phenomena
187683. Informationstechnische Grundbildung Turbo Pascal: Mit Referenzliste zur strukturierten Programmierung
187684. Simulation Neuronaler Netze: Grundlagen, Modelle, Programme in Turbo Pascal
187685. Foundations of Synergetics II: Complex Patterns
187686. Angewandte Informatik und Software / Applied Computer Science and Software: Wissenschaft für die Praxisi / Turning Theory into Practice
187687. Parallele Datenverarbeitung mit dem Transputer: 2. Transputer-Anwender-Treffen, TAT ’90, Aachen, 17./18. September 1990 Proceedings
187688. Artificial Intelligence and Human Institutions
187689. Models of Neural Networks
187690. High-level Petri Nets: Theory and Application
187691. Pascal User Manual and Report: ISO Pascal Standard
187692. AI and Cognitive Science ’90: University of Ulster at Jordanstown 20–21 September 1990
187693. Microsoft® Basic PDS 7.1: Programmieren mit dem Microsoft Professional Development System
187694. Information Retrieval: GI/GMD-Workshop Darmstadt, 23./24. Juni 1991
187695. Sicherheitsaspekte in der Informationstechnik: Proceedings der 1. Deutschen Konferenz über Computersicherheit
187696. Constructing Predictable Real Time Systems
187697. Software für die Arbeit von morgen: Bilanz und Perspektiven anwendungsorientierter Forschung
187698. Managing Uncertainty in Expert Systems
187699. PASCAL-XSC: Sprachbeschreibung mit Beispielen
187700. ESEC '91: 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 21–24, 1991 Proceedings
187701. Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung: Eine kritische Gegenüberstellung
187702. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
187703. Synchronization in Real-Time Systems: A Priority Inheritance Approach
187704. Proceedings of the Second European Conference on Computer-Supported Cooperative Work ECSCW ’91
187705. Quattro Pro 3.0: Einsteigen leichtgemacht
187706. Testing and Diagnosis of Analog Circuits and Systems
187707. Next Generation Information System Technology: First International East/West Data Base Workshop Kiev, USSR, October 9–12, 1990 Proceedings
187708. Category Theory: Proceedings of the International Conference held in Como, Italy, July 22–28, 1990
187709. CIM im Mittelstand: Fà chtagung, Saarbrücken, 20.–21. Februar 1991
187710. DOS 5.0: Einsteigen leichtgemacht
187711. Geometry of Defining Relations in Groups
187712. Natural Language Generation in Artificial Intelligence and Computational Linguistics
187713. COBOL: Einführung mit PC-Spracherweiterungen und Übungen
187714. The New User’s Guide to the Sun Workstation
187715. Interdisciplinary Approaches to Language: Essays in Honor of S.-Y. Kuroda
187716. Chipkarten als Sicherheitswerkzeug: Grundlagen und Anwendungen
187717. EPIA 91: 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings
187718. On Object-Oriented Database Systems
187719. Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25–27, 1991 Proceedings
187720. CKBS ’90: Proceedings of the International Working Conference on Cooperating Knowledge Based Systems 3–5 October 1990, University of Keele, UK
187721. Software Re-use, Utrecht 1989: Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands
187722. AISB91: Proceedings of the Eighth Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, 16–19 April 1991, University of Leeds
187723. Excel 3.0: Eine umfassende Einführung
187724. Turbo Pascal 6.0: Griffbereit
187725. Advances in Cryptology — EUROCRYPT ’91: Workshop on the Theory and Application of Cryptographic Techniques Brighton, UK, April 8–11, 1991 Proceedings
187726. Advances in Computer Graphics: Images: Synthesis, Analysis, and Interaction
187727. Graph Grammars and Their Application to Computer Science: 4th International Workshop Bremen, Germany, March 5–9, 1990 Proceedings
187728. The SPARC Technical Papers
187729. Automata, Languages and Programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings
187730. PEARL 91 — Workshop über Realzeitsysteme: 12. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 28./29. November 1991 Proceedings
187731. Hypertext: Ein nicht-lineares Medium zwischen Buch und Wissensbank
187732. Makroprogrammierung mit Excel 3.0
187733. ECOOP'91 European Conference on Object-Oriented Programming: Geneva, Switzerland, July 15–19, 1991 Proceedings
187734. Fractals and Disordered Systems
187735. Gibbs Random Fields: Cluster Expansions
187736. Codierungstheorie: Eine Einführung
187737. Classification, Data Analysis, and Knowledge Organization: Models and Methods with Applications
187738. Visual Structures and Integrated Functions
187739. Trends in Artificial Intelligence: 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA Palermo, Italy, October, 29–31, 1991 Proceedings
187740. Molecular Databases for Protein Sequences and Structure Studies: An Introduction
187741. Knowledge-Based Simulation: Methodology and Application
187742. Informatik für den Umweltschutz / Computer Science for Environmental Protection: 6. Symposium, München, 4.–6. Dezember 1991 Proceedings
187743. Parallelisierung komplexer Probleme: Einsatz von Parallelrechnern in Forschung und Industrie
187744. Text and Context: Document Storage and Processing
187745. Analyse dynamischer Systeme in Medizin, Biologie und Ökologie: 4. Ebernburgerer Gespräch Bad Münster, 5.-7. April 1990
187746. Picture Archiving and Communication Systems (PACS) in Medicine
187747. Women into Computing: Selected Papers 1988–1990
187748. Supercomputer and Chemistry 2: debis Workshop 1990 Ottobrunn, November 19–20, 1990
187749. Logic of Domains
187750. Connectionism and the Philosophy of Mind
187751. Programmierung des OS/2 Extended Edition Database Manager
187752. Wissensbasierte Simulation komplexer Produktionssysteme
187753. Parallel Computing and Mathematical Optimization: Proceedings of the Workshop on Parallel Algorithms and Transputers for Optimization, Held at the University of Siegen, FRG, November 9, 1990
187754. Visualisierung von Volumendaten
187755. VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings
187756. Temporally Distributed Symptoms in Technical Diagnosis
187757. C: A Software Engineering Approach
187758. An Integrated Approach to Software Engineering
187759. Programmieren in C: Eine elementare Einführung
187760. Mustererkennung 1991: 13. DAGM-Symposium München, 9.–11. Oktober 1991
187761. MS-DOS: Version 5. Das optimale Benutzerhandbuch von Microsoft
187762. Expertensysteme in Produktion und Engineering: IAO-Forum 24. April 1991
187763. Informationsverarbeitung in der Robotik
187764. Common LISP Modules: Artificial Intelligence in the Era of Neural Networks and Chaos Theory
187765. Computational Methods for General Sparse Matrices
187766. Automatisierung von Terminierungsbeweisen
187767. Organisation und Betrieb von Informationssystemen: 9. GI — Fachgespräch über Rechenzentren Dortmund, 14. und 15. März 1991 Proceedings
187768. Fuzzy Set Theory — and Its Applications
187769. Grundlagen der EDV
187770. Epistemology and Cognition
187771. Uncertainty and Vagueness in Knowledge Based Systems: Numerical Methods
187772. Arrays, Functional Languages, and Parallel Systems
187773. SQL-Datenbanken: Der Weg vom Konzept zur Realisierung in dBASE: Eine schrittweise und praxisnahe Einführung
187774. Advances in Cryptology-CRYPT0’ 90: Proceedings
187775. Pascal: Lehrbuch für strukturiertes Programmieren
187776. CONCUR '91: 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings
187777. User Interface Management and Design: Proceedings of the Workshop on User Interface Management Systems and Environments Lisbon, Portugal, June 4–6, 1990
187778. Practical Smalltalk: Using Smalltalk/V
187779. Operations Research und Wissensbasierte Systeme: Modelle, Konzepte, Perspektiven für betriebliche Anwendungen Ergebnisse der Arbeitsgruppe „Wirtschaftsinformatik“ der Deutschen Gesellschaft für Operations Research (DGOR)
187780. Fractals and Chaos
187781. Informatik 1: Eine einführende Übersicht
187782. RISC-Workstation-Architekturen: Prozessoren, Systeme und Produkte
187783. Systems Thinking in Europe
187784. Issues in Reading, Writing and Speaking: A Neuropsychological Perspective
187785. Featurebasierte Integration von CAD/CAM-Systemen
187786. Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
187787. Strategische Informations-system-Planung: Konzept und Instrumente
187788. Knowledge Representation and Metaphor
187789. Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany LILOG-Project
187790. Current Issues in Parsing Technology
187791. 2. Workshop Sichtsysteme —: Visualisierung in der Simulationstechnik Bremen, 18./19. November 1991 Proceedings
187792. Exploration and Innovation in Design: Towards a Computational Model
187793. Programmieren in Modula-2
187794. mural: A Formal Development Support System
187795. BMVC91: Proceedings of the British Machine Vision Conference, organised for the British Machine Vision Association by the Turing Institute 24–26 September 1991 University of Glasgow
187796. Conceptual Information Retrieval: A Case Study in Adaptive Partial Parsing
187797. Software-Recht
187798. Microsoft® Excel 3. 0: Einsteigen leichtgemacht
187799. Structure Level Adaptation for Artificial Neural Networks
187800. Baltic Computer Science: Selected Papers
187801. Supercomputer ’91: Anwendungen, Architekturen, Trends Seminar, Mannheim, 20.–22. Juni 1991
187802. Dialogue and Technology: Art and Knowledge
187803. Truth Maintenance Systems: ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings
187804. Paradox 3.5: Einsteigen leichtgemacht
187805. Real-Time UNIX® Systems: Design and Application Guide
187806. Software Reuse: Guidelines and Methods
187807. Requirements Engineering ’91: „Structured Analysis“ und verwandte Ansätze Marburg, 10./11. April 1991
187808. A System Administrator’s Guide to Sun Workstations
187809. Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
187810. Nichtphysikalische Grundlagen der Informationstechnik: Interpretierte Formalismen
187811. Understanding the Artificial: On the Future Shape of Artificial Intelligence
187812. Walsh Series and Transforms: Theory and Applications
187813. Qualitative Simulation Modeling and Analysis
187814. Modeling in Computer Graphics: Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8–12, 1991
187815. Principles of Efficient Information Management
187816. Verteilte Künstliche Intelligenz und kooperatives Arbeiten: 4. Internationaler GI-Kongreß Wissensbasierte Systeme München, 23.–24. Oktober 1991 Proceedings
187817. Rough Sets: Theoretical Aspects of Reasoning about Data
187818. PC Viruses: Detection, Analysis and Cure
187819. LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
187820. QuickPascal: Eine Einführung mit Anwendungen für Ingenieure und Naturwissenschaftler
187821. GI — 20. Jahrestagung II: Informatik auf dem Weg zum Anwender Stuttgart, 8.–12. Oktober 1990 Proceedings
187822. Kurs in Logischer Programmierung
187823. Expertensysteme für den Einsatz von Subroutinenpaketen: Am Beispiel eines Expertensystems für Bildverarbeitung
187824. Scientific Data Analysis: An Introduction to Overdetermined Systems
187825. LIMS: Applied Information Technology for the Laboratory
187826. Artificial Intelligence: Its Scope and Limits
187827. Prolog: Eine methodische Einführung
187828. Software Engineering for Large Software Systems
187829. Denkfallen und Programmierfehler
187830. Entities and Indices
187831. Predicate Calculus and Program Semantics
187832. Software Tools: Automatisierung im Software Engineering: Eine umfassende Darstellung der Einsatzmöglichkeiten von Software-Entwicklungswerkzeugen
187833. Relationships Between Perception and Action: Current Approaches
187834. Progress in Fuzzy Sets and Systems
187835. Economic and Financial Knowledge-Based Processing
187836. Anwenderleitfaden LAN: Grundlagenwissen über Netzwerke
187837. Topics in Computational Algebra
187838. Aspects and Prospects of Theoretical Computer Science: 6th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 19–23, 1990 Proceedings
187839. Understanding Editorial Text: A Computer Model of Argument Comprehension
187840. Konsistente Dokumentation beim Entwurf informationsverarbeitender Systeme
187841. Neurale Netze
187842. JSP: Einführung in die Methode des Jackson Structured Programming
187843. Object-Oriented Graphics: From GKS and PHIGS to Object-Oriented Systems
187844. Information and the Internal Structure of the Universe: An Exploration into Information Physics
187845. Hypertext und Hypermedia: Von theoretischen Konzepten zur praktischen Anwendung
187846. Database and Expert Systems Applications: Proceedings of the International Conference in Vienna, Austria, 1990
187847. Empirical Foundations of Information and Software Science V
187848. Zielorientiertes Informationsmanagement: Ein Leitfaden zum Einsatz und Nutzen des Produktionsfaktors Information
187849. Computer Animation ’90
187850. Fault Tolerance: Principles and Practice
187851. Strategieorientierte Planung betrieblicher Informations- und Kommunikationssysteme
187852. Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
187853. Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland
187854. Automatische Komplexitätsanalyse funktionaler Programme
187855. GWAI-90 14th German Workshop on Artificial Intelligence: Eringerfeld, 10.–14. September 1990 Proceedings
187856. An Introduction to Programming in Prolog
187857. Audius—Außendienstunterstützungssystem: Anforderungen, Konzepte und Lösungsvorschläge
187858. Historical Foundations of Cognitive Science
187859. CAD mit AutoCAD: Eine umfassende Einführung für alle AutoCAD-Versionen einschließlich Version 10
187860. PEARL 90 — Workshop über Realzeitsysteme: 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings
187861. Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990
187862. The Numerical Modelling of Nonlinear Stellar Pulsations: Problems and Prospects
187863. Relative Information: Theories and Applications
187864. The Correlative Brain: Theory and Experiment in Neural Interaction
187865. Group-Theoretical Methods in Image Understanding
187866. Pattern Analysis and Understanding
187867. Geometrische Verfahren der Graphischen Datenverarbeitung
187868. Knowledge Acquisition: Selected Research and Commentary: A Special Issue of Machine Learning on Knowledge Acquisition
187869. Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies
187870. Expert Systems: Applications to Urban Planning
187871. Advanced Information Processing: Proceedings of a Joint Symposium. Information Processing and Software Systems Design Automation. Academy of Sciences of the USSR, Siemens AG, FRG Moscow, June 5/6, 1990
187872. Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings
187873. The Dawn of Massively Parallel Processing in Meteorology: Proceedings of the 3rd Workshop on Use of Parallel Processors in Meteorology
187874. Interaktion und Kommunikation mit dem Computer: Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV). Ulm, 8.-10. März 1989 Proceedings
187875. dBASE IV ™: Programmieranleitung für die Arbeit mit einem relationalen Datenbanksystem
187876. A System V Guide to UNIX and XENIX
187877. The Art of Lisp Programming
187878. Artificial Intelligence in Higher Education: CEPES-UNESCO International Symposium Prague, CSFR, October 23–25, 1989 Proceedings
187879. Multicast-Kommunikation in verteilten Systemen
187880. Change of Representation and Inductive Bias
187881. Anwender Leitfaden Lotus 1-2-3
187882. Technische Expertensysteme: Grundlagen, Programmiersprachen, Anwendungen
187883. Bridging the Information Gap: for Small and Medium Enterprises
187884. Rechnerunterstützte Arbeitsplatzgestaltung: IAO-Forum 26. September 1990
187885. Lexikalisch verteiltes Text-Parsing: Eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells
187886. GI - 20. Jahrestagung I: Informatik auf dem Weg zum Anwender
187887. The Algorithmic Beauty of Plants
187888. Modulare Regelprogrammierung
187889. Graph Data Model: and Its Data Language
187890. Ausnahmebehandlung in objektorientierten Programmiersprachen
187891. Diagnosis: Philosophical and Medical Perspectives
187892. Anwenderleitfaden Norton Utilities: Für Version 4.0 und 4.5
187893. Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
187894. Microsoft® Excel: Grundlagen der Makroprogrammierung
187895. Incremental Version-Space Merging: A General Framework for Concept Learning
187896. Lösung linearer Gleichungssysteme auf Parallelrechnern
187897. Synergetik: Eine Einführung Nichtgleichgewichts-Phasenübergänge und Selbstorganisation in Physik, Chemie und Biologie
187898. Inkonsistenzen in deduktiven Datenbanken: Diagnose und Reparatur
187899. Formal Methods in Standards: A Report from the BCS Working Group
187900. A Systematic Catalogue of Reusable Abstract Data Types
187901. Programming in the 1990s: An Introduction to the Calculation of Programs
187902. VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
187903. Advances in Artificial Intelligence: Natural Language and Knowledge-based Systems
187904. AutoCAD Grundkurs: Lehr- und Übungsbuch
187905. Funktionelle Analyse von Kommunikationsprotokollen
187906. Das Modula-2 Umsteigerbuch: Von Turbo Pascal zu TopSpeed Modula-2
187907. Learning with Nested Generalized Exemplars
187908. Weather Radar Networking: Seminar on COST Project 73
187909. Zeitverhalten synchroner Schaltwerke
187910. Informatik für den Umweltschutz: 5. Symposium Wien, Österreich, 19.–21. September 1990 Proceedings
187911. Einführung in die Informatik
187912. Design and Implementation of Large Spatial Databases: First Symposium SSD '89 Santa Barbara, California, July 17/18, 1989 Proceedings
187913. Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
187914. Algorithms: International Symposium SIGAL '90 Tokyo, Japan, August 16–18, 1990 Proceedings
187915. Practical SGML
187916. Effektiv Programmieren mit Turbo Pascal 5.0/5.5
187917. Advances in Database Technology — EDBT '90: International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedings
187918. Programmieren mit PostScript: Eine umfassende Einführung inclusive Filesystem und Typesetter
187919. Describing and Recognizing 3-D Objects Using Surface Properties
187920. Konnektionismus in Artificial Intelligence und Kognitionsforschung: 6. Österreichische Artificial-Intelligence-Tagung (KONNAI) Salzburg, Österreich, 18.–21. September 1990 Proceedings
187921. Software-Ergonomie in der Praxis: Richtlinien, Methoden und Werkzeuge für die Gestaltung interaktiver Systeme
187922. Revision in der Datenverarbeitung
187923. Word 5.0-Wegweiser: Systematische Textverarbeitung
187924. Advanced Information Systems Engineering: Second Nordic Conference CAiSE '90 Stockholm, Sweden, May 8–10, 1990 Proceedings
187925. SIL—a Simulation Language
187926. Turbo Pascal Tools: Einsatz von Turbo Pascal in der naturwissenschaftlichen Praxis
187927. Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK
187928. Parallel Algorithms for Machine Intelligence and Vision
187929. Chemical Information 2: Information in Chemistry, Pharmacology and Patents 2nd Proceedings of the International Conference, Montreux, Switzerland, September 1990
187930. TRON Project 1990: Open-Architecture Computer Systems
187931. SIGMA: A Knowledge-Based Aerial Image Understanding System
187932. Computational Graph Theory
187933. Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany
187934. Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra
187935. Current Trends in SNePS — Semantic Network Processing System: First Annual SNePS Workshop Buffalo, NY, November 13, 1989 Proceedings
187936. Knowledge Representation and Defeasible Reasoning
187937. High-Integrity Software
187938. Supercomputer ’90: Anwendungen, Architekturen, Trends Mannheim, 21.–23. Juni 1990
187939. Parallele Datenverarbeitung mit dem Transputer: 1. Transputer-Anwender-Treffen, TAT ’89 Aachen, 25./26. September 1989
187940. Artifical Intelligence, Culture and Language: On Education and Work
187941. Produktivität durch Information Engineering
187942. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings
187943. Designing Hypermedia for Learning
187944. Keine Macht den Viren!: Das Buch-/Softwarepaket zum Schutz wertvoller Daten und Programme
187945. Parsing Theory. Volume 2: LR(k) and LL(k) Parsing
187946. Analogical Modeling of Language
187947. Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
187948. Frontiers of Computing Systems Research: Essays on Emerging Technologies, Architectures, and Theories
187949. Synergetics of Cognition: Proceedings of the International Symposium at Schloß Elmau, Bavaria, June 4–8, 1989
187950. Computer Aided Systems Theory — EUROCAST '89: A selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26–March 4, 1989 Proceedings
187951. Specification and Transformation of Programs: A Formal Approach to Software Development
187952. Parallel Machines: Parallel Machine Languages: The Emergence of Hybrid Dataflow Computer Architectures
187953. Persistent Object Systems: Proceedings of the Third International Workshop 10–13 January 1989, Newcastle, Australia
187954. AutoCAD-Aufbaukurs: Lehr- und Übungsbuch
187955. Foundations of Synergetics I: Distributed Active Systems
187956. Structural Complexity II
187957. Advances in Petri Nets 1989
187958. C++ für Programmierer
187959. Programmieren in Prolog
187960. 3D Imaging in Medicine: Algorithms, Systems, Applications
187961. Repräsentation und Verarbeitung räumlichen Wissens
187962. Automatic Tools for Designing Office Information Systems: The TODOS Approach
187963. dBASE IV Lernen am Konkreten Beispiel
187964. Programmentwicklung
187965. Einsatz von Datenbanksystemen: Ein Leitfaden für die Praxis
187966. Forum ’90 Wissenschaft und Technik: Neue Anwendungen mit Hilfe aktueller Computer-Technologien, Trier, 8./9. Oktober 1990 Proceedings
187967. Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
187968. Contributions to a Computer-Based Theory of Strategies
187969. Termination Proofs for Logic Programs
187970. Computer Animation: Theory and Practice
187971. Fehlertoleranz in verteilten Realzeitsystemen: Anwendungsorientierte Techniken
187972. Flagorientierte Assoziativspeicher und -prozessoren
187973. Entwurfstransaktionen für modulare Objektsysteme: Synchronisierung in objektorientierten Datenbanksystemen
187974. Betriebliche Expertensystem-Anwendungen
187975. Recursive Block Coding for Image Data Compression
187976. LOGLAN '88 — Report on the Programming Language
187977. Expertensysteme
187978. Werbewirkungsanalyse mit Expertensystemen
187979. Anwenderleitfaden PageMaker: Version 3
187980. AI and Cognitive Science ’89: Dublin City University 14–15 September 1989
187981. The NIAM Information Analysis Method: Theory and Practice
187982. Group Theoretical Methods in Image Processing
187983. Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme: GME/GI/ITG-Fachtagung Dortmund, 1./2. Oktober 1990
187984. Cache and Interconnect Architectures in Multiprocessors
187985. Advances in Cryptology — CRYPTO’ 89 Proceedings
187986. NeWS — Das Netzwerkfähige Window-System: Einführung und Anleitung
187987. Intensivschulung LOTUS 1-2-3: Version 3
187988. Logic Programming and Databases
187989. Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989
187990. A Taxonomy for Texture Description and Identification
187991. Visualisierung von Umweltdaten in Supercomputersystemen: 1. Fachtagung Karlsruhe, 8. November 1989 Proceedings
187992. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
187993. Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen
187994. Synthetic Actors: in Computer-Generated 3D Films
187995. Cognitive and Behavioral Performance Factors in Atypical Aging
187996. CIM Lexikon: 1676 Begriffe von A–Z
187997. Supercomputer and Chemistry: IABG Workshop 1989
187998. Abductive Inference Models for Diagnostic Problem-Solving
187999. Informationstheorie und Codierung
188000. Programmierleitfaden Microsoft EXCEL: Version 2.10
< < < PREV | NEXT > > >