Search results for “[Subject: computers-software]”

• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)

• Author(s): Kirstin Peters • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Tec...

• Author(s): Raghunath Nambiar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverThis book constitutes the reviewed proceedings of the first Confere...

• Author(s): Johann Gasteiger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Chemistry - OrganicDie Chemie ist ein Wissensgebiet, das besonders geeignet ist, mit Hilfe des Computers neue Möglichkeiten der Problemlösung zu erschlie e...

• Author(s): Audrius Lopata • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - GeneralThis book constitutes the refereed proceedings of the 28th International Conference on Information and Software Technologies, ICIST 2022,...

• Author(s): Lucio Grandinetti • Publisher: Springer • Publisher Imprint: Kluwer Academic Publishers • BISAC: Distributed Systems - GeneralPreface. Part 1: Trends and Emerging Systems. Performance and Scalability of Database Servers: An Introduct...

• Author(s): Aaron R. Bradley • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the de...

• Author(s): Paul A. Kirschner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Interactive & MultimediaThe field of Computer Supported Argument Visualization is currently attracting increasing attention in education and business ...

• Author(s): Deborah Thomas • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMDuring the past 25 years computers have been introduced in industry to perform technical tasks such as drafting, design...

• Author(s): A. Moreira • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralCelebrating Five Years of Early Aspects The early aspects community had its origins in the "Early Aspects: Requir...

• Author(s): Michael M. Resch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe book presents the state of the art in high-performance computing and simulation on modern supercomputer architecture...

• Author(s): Thorsten Altenkirch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address a...

• Author(s): Joaquin Garcia-Alfaro • Publisher: Springer • Publisher Imprint: Springer • BISAC: Security - Cryptography & EncryptionThis four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European Symposium on R...

• Author(s): Richard S. Bird | C. Carroll Morgan | James C. P. Woodcock • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralNot very long ago, the uninhibited use of mathematics in the deve...

• Author(s): Thomas Driemeyer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsWritten by the mental ray software project leader, this book gives a general introduction into re...

• Author(s): Anandakumar Haldorai • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book presents the most recent challenges and developments in sustainable comput...

• Author(s): Wolfgang Bibel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Expert SystemsWe are invited to deal with mathematical activity in a sys- tematic way [ ... ] one does expect and look for pleasant...

• Author(s): Roland Gabriel | Friedrich Knittel | Holger Taday • Publisher: Springer • Publisher Imprint: Springer • BISAC: Management Information SystemsComputergest�tzte Informations- und Kommunikationssysteme (IuK-Systeme) sind heute zur L�sun...

• Author(s): Kurt Mehlhorn | Gregor Snelting • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDie Gesellschaft für Informatik veranstaltet ihre 30. Jahrestagung, die Informatik 2000, vom...

• Author(s): Paul Rosin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverNon-photorealistic rendering (NPR) is a combination of computer graphics and compute...

• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Engineering (General)From the Back CoverThis book presents the latest research on software engineering application in informatics. The fields of software engi...

• Author(s): Roger Y. Lee • Publisher: Springer • Publisher Imprint: Atlantis Press • BISAC: Computer ScienceThis textbook provides a progressive approach to the teaching of software engineering. First, readers are introduced to the core concepts...

• Author(s): Dimiter R. Avresky • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe most important use of computing in the future will be in the context of the globa...

• Author(s): M. B. Monagan • Publisher: Springer • Publisher Imprint: Springer • BISAC: Mathematical & Statistical SoftwareMaple V Mathematics Programming Guide is the fully updated language and programming reference for Maple V Release 5. It...

• Author(s): Hans-Jörg Bullinger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Hardware - Personal Computers - GeneralObjektorientierte DV-Systeme gewinnen in den 90er Jahren zunehmend an Bedeutung. Eigenschaften wie die erhöhte Wi...

• Author(s): A. Ardeshir Goshtasby • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Computer Vision & Pattern RecognitFrom the Back CoverImage registration is the process of finding correspondence between...

• Author(s): Tim Kogel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiWe are presently observing a paradigm change in designing complex SoC as it occurs roughly eve...

• Author(s): Wolfgang Küchlin | Andreas Weber • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralTeil I gibt einen �berblick �ber die Grundlagen der Software-Entwicklung: Datenstrukturen u...

• Author(s): Didier Bert | Jonathan P. Bowen | Martin C. Henson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThese proceedings record the papers presented at the second International...

• Author(s): Jürgen Schönhut • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverDocument imaging is a new discipline in applied computer science. It is buildin...

• Author(s): Péter Kacsuk • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe book describes the science gateway building technology developed in the SCI-BUS European...

• Author(s): Krzysztof Czarnecki | Ulrich W. Eisenecker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralIn the past two years, the Smalltalk and Java in Industry and Education C- ferenc...

• Author(s): George Corliss • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceA state-of-the-art survey book focusing upon the key applications and relationships and synergies between automatic differentiation (AD) tool...

• Author(s): Maurizio Gabbrielli • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Progra...

• Author(s): Hartmut Ehrig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in E...

• Author(s): David Avison • Publisher: Springer • Publisher Imprint: Springer • BISAC: HistoryFrom the Back CoverInternational Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologi...