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

• Author(s): Wan Fokkink • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralAutomated and semi-automated manipulation of so-called labelled transition systems has become an important means...

• Author(s): Abderazek Ben Abdallah • Publisher: Springer • Publisher Imprint: Atlantis Press • BISAC: Computer ArchitectureSystem on chips designs have evolved from fairly simple unicore, single memory designs to complex heterogeneous multicore ...

• Author(s): Sanjiv K. Bhatia • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverExchange of information and innovative ideas are necessary to accelerate the development of technology....

• Author(s): Zhengxin Chen • Publisher: Springer • Publisher Imprint: Physica-Verlag • BISAC: Artificial Intelligence - GeneralIntelligent agents are one of the most promising business tools in our information rich world. An intelligent agent con...

• Author(s): Rainer Leupers • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFrom the Back CoverProcessor and System-on-Chip Simulation Edited by: Rainer Leupers Olivier Temam The current trend from mon...

• Author(s): Ruqian Lu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralMany approaches have been proposed to enhance software productivity and reliability. These approaches typically fa...

• Author(s): Albert Fleischmann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe book is one of the first publications on distributed software design. It provides an introduction to ...

• Author(s): Orit Hazzan • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis concise easy-to-follow tex...

• Author(s): Susanne Biundo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignIn diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein dedukt...

• Author(s): Janusz S. Kowalik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book contains papers on the most critical issue of parallel computing-software. It focuses on paralle...

• Author(s): Jean-Jacques Rousseau • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis 4-volumes set constitutes the proceedings of the ICPR 2022 Workshops of the 26th Intern...

• Author(s): Andrzej Tarlecki • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software...

• Author(s): Ramakrishnan Mukundan • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: General Books • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back Cover3D Mesh Processing and Character Animatio...

• Author(s): Wan Fokkink • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralAutomated and semi-automated manipulation of so-called labelled transition systems has become an important means...

• Author(s): Eric Passmore • Publisher: Springer • Publisher Imprint: Apress • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book reveals the technical challenges and successful implementation details of migrating...

• Author(s): Marco Mamei • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralMore and more, software systems involve autonomous and distributed software components that have to execute and interact in ope...

• Author(s): Chengjun Liu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThis book initially reviews the major feature representation and extraction method...

• Author(s): Parag Chaudhuri • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverComputer generated 3D animation has matured over the years into a rich and comp...

• Author(s): L. B. Rall • Publisher: Springer • Publisher Imprint: Springer • BISAC: Number Systems

• Author(s): Michael Jünger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsAutomatic Graph Drawing is concerned with the layout of relational structures as they occur in Comp...

• Author(s): H. Partsch | F. L. Bauer | P. Pepper • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Generalherrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der Ebene der verselb- ...

• Author(s): A. Bruaset • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceLooking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendo...

• Author(s): Janusz S. Kowalik • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book contains papers on the most critical issue of parallel computing-software. It focuses on parallel software, programming too...

• Author(s): Mathai Joseph • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick o...

• Author(s): Michael Jünger • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsAutomatic Graph Drawing is concerned with the layout of relational structures as they occur in Comp...

• Author(s): Zlatan Stojkovic • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFrom the Back CoverThis textbooks demonstrates the application of software tools in solving a series of problems from...

• Author(s): Tosiyasu L. Kunii • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsIn order to capture the essential features of computer graphics, fundamental methods, concepts, ...

• Author(s): Hans-Joachim Bungartz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer SimulationFrom the Back CoverThis open access book summarizes the research done and results obtained in the second funding phase of the Prior...

• Author(s): Christine Choppy | Oleg Sokolsky • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis volume contains revised and expanded versions of the papers presen...

• Author(s): Wolfgang Reisig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverDistributed Computing is rapidly becoming the principal computing paradigm in diverse are...

• Author(s): Jim E. Greer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Educational SoftwareThis volume in the NATO Advanced Educational Technology program presents an overview of student modelling. Student modelling gives an intel...

• Author(s): Shan Liu • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsFrom the Back CoverThis book introduces the point cloud; its applications in industry, and the most frequ...

• Author(s): A. Bruaset • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Software Development & Engineering - GeneralLooking back at the years that have passed since the realization of the very first electronic, multi-purpose co...

• Author(s): Ahmad Taher Azar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThe development of computational intelligence (CI) systems was inspired by observable and imitable aspe...

• Author(s): Hans-Joachim Bungartz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThe research and its outcomes presented in this collection focus on various aspects of high-performance computing (...