Search results for “[subject: programming-microsoft]”

• Author(s): G. Zhang • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralThis monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logic...

• Author(s): Peter O'Hearn • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - GeneralIn 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volum...

• Author(s): Bruno Cordani • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Space Science - AstronomyFrom the Back CoverThis book contains a comprehensive treatment of the Kepler problem, i.e., the two body problem. It is divided in...

• Author(s): Richard Guenette • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralWelcome to the world of computer programming. Your Texas Instruments TI-99/4A is a real 16-bit microcomputer, complete with sound and color graphi...

• Author(s): Karsten M. Decker • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - CompilersMassively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important ...

• Author(s): Donald Kahn • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralThis book is a basic BASIC programming text. Intended primarily for beginners, experienced programmers also will find a few things of in- terest. The V...

• Author(s): Franck Van Breughel • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralDuring the last three decades several different styles of semantics for program- ming languages have been developed. This book comp...

• Author(s): Franck Van Breughel • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: AppliedDuring the last three decades several different styles of semantics for program- ming languages have been developed. This book compares two of ...

• Author(s): P. -L Curien • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - AlgorithmsThis book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Compu...