Search results for “[Subject: computer-engineering]”

• Author(s): Captain; Earls, Rachel Harold • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Design, Graphics & Media - Graphics ToolsThe book addresses the crucial intersection of Human-Computer Interaction...

• Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Systems Architecture - GeneralThis book comprises the proceedings of the Seventh Working Conference on Engineering for Human-Computer Interaction sponsored by t...

• Author(s): Rebecca King • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Networking - GeneralComputer Networks, Architecture and Applications covers many aspects of research in modern communications networks ...

• Author(s): Louis L'Amour • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Programming - GeneralSoftware has become a decisive cost and time factor in regard to developing and establishing manufacturing system...

• Author(s): Rob Colson • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Artificial Intelligence - GeneralIFIP Working Group 5.2 has organized a series of workshops extending the concept of intelligent CAD to t...

• Author(s): Abby; Marinelli, Carol Green • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Artificial Intelligence - General

• Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Artificial Intelligence - GeneralWith the advancement of computers and networks, new types of entertainment have emerged such as video games, entertainment robo...

• Author(s): C. J. Fuller • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Software Development & Engineering - Computer Graphics

• Author(s): Matthew Paul Turner • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Systems Architecture - GeneralThis book addresses Formal Methods (FMs) applicable to the specification, verification, implementa...

• Author(s): Jan Grossarth • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Systems Architecture - GeneralFormal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fi...

• Author(s): Tony Mitton • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Systems Architecture - GeneralFormal Methods for Open Object-Based Distributed Systems V brings together research in three important and...

• Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V. • BISAC: Systems Architecture - GeneralFormal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) ...

• Author(s): J.S. Chahal • Publisher: Springer Nature B.V. • Publisher Imprint: Springer Nature B.V.