Search results for “[Subject: software-development-engineering-tools]”

• Author(s): Frank S. De Boer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFormal methods have been applied successfully to the verification of medium-sized programs in protocol and ...

• Author(s): Tutorial Books • Publisher: Createspace Independent Publishing Platform • Publisher Imprint: Createspace Independent Publishing Platform • Subject: Engineering • BISAC: Design, Graphics & Media - CAD-CAMIf you like to learn by do...

• Author(s): Brian Mears • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - General The availability of inexpensive, custom, highly integrated circuits is enabling some very powerful systems that bring together sensors, sm...

• Author(s): Paul J. Besl • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsMachine perception requires the digitization of physically-sensed signals. During the last ten years,...

• Author(s): Christoph Czernohous • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThema dieser fundierten Einf�hrung ist der Einsatz von Linux in rechnergest�tzten t...

• Author(s): Jean-Michel Bergé • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiCo-Design is the set of emerging techniques which allows for the simultaneous design o...

• Author(s): Sjaak Brinkkemper • Publisher: Springer • Publisher Imprint: Springer • BISAC: System Administration - Storage & RetrievalMethod Engineering focuses on the design, construction and evaluation of methods, techniques and support to...

• Author(s): Jean-Philippe Babau • Publisher: Wiley-Iste • Publisher Imprint: Wiley-Iste • BISAC: Software Development & Engineering - GeneralIn the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced wit...

• Author(s): Trevy Burgess • Publisher: Lulu.com • Publisher Imprint: Lulu.com • BISAC: Engineering (General)This book will present the Nuts and bolts (Design patterns) needed to create a solution that can blow the socks of any customer. In the b...

• Author(s): Simson L. Garfinkel • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis is an extremely clearly written, comprehensive and well-illustrated book whose appearance correspon...

• Author(s): Ramiro Luz • Publisher: Our Knowledge Publishing • Publisher Imprint: Our Knowledge Publishing • BISAC: GeneralThe teaching of computer programming has followed an individual model, with each student or apprentice using a computer an...

• Author(s): Karl Fogel • Publisher: O'Reilly Media • Publisher Imprint: O'Reilly Media • BISAC: Software Development & Engineering - General The corporate market is now embracing free, "open source" software like never before, as evidenced b...

• Author(s): Carlo A. Furia • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Meth...

• Author(s): Horst-Christian Heinke • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Engineering (General)Werkzeugmaschinen flexibel Programmieren (V2 R2)Dieses Buch ist für Studierende des Maschinenbaus ...

• Author(s): Kevin Yallup • Publisher: Taylor & Francis • Publisher Imprint: CRC Press • BISAC: Electronics - Circuits - GeneralExciting new developments are enabling sensors to go beyond the realm of simple sensing of movement or capture of ...

• Author(s): Jude Max • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Software Development & Engineering - GeneralAre you ready to launch a cloud engineering career but feel overwhelmed by the endles...

• Author(s): Jason Swett • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Software Development & Engineering - Quality Assurance & TesAlong with practices like object-oriented programming and vers...

• Author(s): Alexander Romanovsky • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverA formal method is not the main engine of a development process, its contribution is...

• Author(s): Frances N. Paulisch • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralGraphs can be used to convey information about relationships in many applications. State transition diag...

• Author(s): Wolfgang Ecker • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverHardware-dependent Software (HdS) plays a key role in desktop computer...

• Author(s): Evelyn McKnight • Publisher: Evelyn McKnight • Publisher Imprint: Evelyn McKnight • BISAC: Acoustics & SoundEmbark on a journey to master the art of component-based software development with "COMComponentConstruction: Advanced Te...

• Author(s): Jim Lewis • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Human-Computer Interaction (HCI)AI Advanced Coding Adaptable Structures: Building Scalable, Intelligent, and Self-Optimizing Systems...

• Author(s): Gary Gruver | Mike Young | Pat Fulghum • Publisher: Addison-Wesley Professional • Publisher Imprint: Addison-Wesley Professional • BISAC: Software Development & Engineering - GeneralToday, even the largest development organizatio...

• Author(s): Bernhard Beckert • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiFrom the Back CoverThis book constitutes the refereed proceedings of the Second Interna...

• Author(s): Yury Magda • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Hardware - Chips & ProcessorsThis book describes the practical methods of debugging and reverse engineering externally built ex...

• Author(s): Diana Brown • Publisher: Morgan Kaufmann Publishers • Publisher Imprint: Morgan Kaufmann Publishers • BISAC: User InterfacesBeing able to fit design into the Agile software development processes is an important skill in today's marke...

• Author(s): Andreas Opelt • Publisher: Wiley • Publisher Imprint: Wiley • BISAC: Software Development & Engineering - GeneralA methodologically sophisticated, comprehensive approach to applying the Agile fixed-price contract to IT projects w...

• Author(s): Andy Schürr • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book constitutes the thoroughly refereed post-conference proceedings of the 4th Internat...

• Author(s): Richard M. Stallman • Publisher: Samurai Media Limited • Publisher Imprint: Samurai Media Limited • BISAC: Software Development & Engineering - ToolsGNU Emacs is much more than a text editor; over the years it has expanded into a...

• Author(s): Elkedagmar Heinrich | Hans-D Janetzko • Publisher: Vieweg+teubner Verlag • Publisher Imprint: Vieweg+teubner Verlag • BISAC: Engineering (General)Computeralgebra-Pakete finden immer mehr Verbreitung und werden auch in höherem Ma e sc...

• Author(s): Axel Legay • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book constitutes the refereed proceedings of the 4th International Conference on Runtime ...

• Author(s): Vaibhav Mittal • Publisher: Adactin Group Pty Ltd • Publisher Imprint: Adactin Group Pty Ltd • BISAC: Software Development & Engineering - Quality Assurance & TesCoded UI, being an automation tool from Microsoft, is gaining h...

• Author(s): Flávia Gonçalves Fernandes • Publisher: Edizioni Sapienza • Publisher Imprint: Edizioni Sapienza • BISAC: Information TechnologyIl libro Software Engineering in Action: Processes, Management and Innovation for a Connected World (Inge...

• Author(s): Marison Souza Gomes • Publisher: Independently Published • Publisher Imprint: Independently Published • BISAC: Internet - Online Safety & PrivacyA privacidade n�o � mais um diferencial, mas uma exig�ncia. Com leis como LGPD, GDPR...

• Author(s): Juni Mukherjee • Publisher: Lulu.com • Publisher Imprint: Lulu.com • BISAC: Software Development & Engineering - GeneralI have worked in Continuous Delivery projects for yet-to-be-famous tech startups and with well-established co...