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

• Author(s): L. D. Edwards • Publisher: Springer • Publisher Imprint: Springer • BISAC: Educational SoftwareThis volume in the NATO Special Programme on Advanced Educational Technology covers the state of the art in the design and use of computer...

• Author(s): Orna Kupferman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science ...

• Author(s): Kesav V. Nori • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretica...

• Author(s): Paulo Veríssimo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe primary audience for this book are advanced undergraduate students and graduate stud...

• Author(s): Rüdiger Heimgärtner • Publisher: Springer • Publisher Imprint: Springer • BISAC: User InterfacesFrom the Back CoverThe path for developing an internationally usable product with a human-machine interface is described in this textbook...

• 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): Mike Hinchey • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverSoftware has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognis...

• Author(s): Judy Hammond • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralUsability has become increasingly important as an essential part of the design and development of software and ...

• Author(s): Alfons Schuster • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverRobustness is an intriguing phenomenon in many complex intelligent systems, natural and artificial alike. This book inves...

• Author(s): Charles Lins • Publisher: Springer • Publisher Imprint: Springer • BISAC: Languages - GeneralThis book is the first volume in a series entitled The Modula-2 Software Component Library. Charles Lins collection of reusable standard so...

• Author(s): Nikolai Kosmatov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Quality Assurance & TesFrama-C is a popular open-source toolset for analysis and verification of C programs, l...

• Author(s): Ernst-Rüdiger Olderog | Bernhard Steffen • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiComputers are gaining more and more control over systems that w...

• Author(s): Hans-Jörg Kreowski • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceDieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit...

• Author(s): Gerhard Goos | Wolf Zimmermann • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceDas Lehrbuch basiert auf der langj�hrigen Erfahrung der Autoren in der Ausbildung angehender Informatiker. Es bietet Studiere...

• Author(s): A. Alex | Wulf Alex | B. Alex • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralDas vorliegende Handbuch wendet sich an Debian-Nutzer, die �ber ein vollst�ndig installiertes ...

• Author(s): Ahmed Seffah • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceHuman-CenteredSoftwareEngineering: BridgingHCI, UsabilityandSoftwareEngineering From its beginning in the 1980's, the ?eld of human-computer in...

• Author(s): Mark Walmsley • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsThis is a book about computer graphics. It is aimed primarily at anyone wishing to develop graphics ...

• Author(s): Dru LaVigne • Publisher: Springer • Publisher Imprint: Apress • BISAC: Software Development & Engineering - GeneralThis book is the ultimate reference for both beginners and power users to PC-BSD--the free, easy-to-use operating ...

• Author(s): Rainer Alletsee | Konrad Zuse | Horst Jung • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralAls die Computer nach ihren ersten Pionierjahren etwa zwischen 1950 und 1960 in die Praxis Eingang...

• Author(s): Igor Walukiewicz • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conferen...

• Author(s): Patrizio Pelliccione • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book provides a collection of cutting-edge research roadmaps that attempt to de...

• Author(s): Nikos Mastorakis • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThese two volumes are from proceedings of the European Computing Conference. The conference focus was i...

• Author(s): José Cordeiro | Alpeshkumar Ranchordas | Boris Shishkov • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book constitutes the refereed proceedings of the 4th International Conference on Software and D...

• Author(s): Ahmed Bouajjani • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverThis book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009,...

• Author(s): Dominik Slezak • Publisher: Springer • Publisher Imprint: Springer • BISAC: Internet - GeneralAs future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT ha...

• Author(s): Judy Hammond • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralUsability has become increasingly important as an essential part of the design and development of software and ...

• Author(s): Maria Carla Calzarossa • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applic...

• Author(s): Henry Lieberman • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThis book will help readers to better understand how to create environments for end-user development. Contributions from the best internatio...

• Author(s): Jan S. Hesthaven • Publisher: Springer • Publisher Imprint: Springer • BISAC: Differential Equations - PartialFrom the Back CoverThis book discusses a family of computational methods, known as discontinuous Galerkin methods, for solv...

• Author(s): Howard Falk • Publisher: Springer • Publisher Imprint: Springer • BISAC: ResearchThis is a book about software packages for use by civil engineers. It is written for engineers who need software that can do the job without re- quiring...

• Author(s): Taghi M. Khoshgoftaar • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralThe constantly evolving technological infrastructure of the modem world presents a great challenge of developing soft...

• Author(s): Vladimir Itsykson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods fo...

• Author(s): S. Abramsky | T. S. E. Maibaum • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra...

• Author(s): Sherif Ghali • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - Computer Vision & Pattern RecognitFrom the Back CoverThe geometric ideas in computer science, mathematics, engineering, and physi...

• Author(s): Roy Latham • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Computer GraphicsSuperblack, supercase, supercomputer, supersonic, superimpose, superquadric (including superellipsoid),...

• Author(s): Radek Silhavy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralFrom the Back CoverThis book presents software engineering methods in the context of the intelligent systems. It discusses re...