The Automobile
Author :
Publisher :
Page : 1004 pages
File Size : 35,13 MB
Release : 1917
Category : Automobile industry and trade
ISBN :
Automotive Industries
Author :
Publisher :
Page : 1202 pages
File Size : 48,53 MB
Release : 1917
Category : Aircraft industry
ISBN :
Book Description
Algebraic Methodology and Software Technology
Author : Charles Rattray
Publisher : Springer
Page : 578 pages
File Size : 21,50 MB
Release : 2004-11-11
Category : Computers
ISBN : 354027815X
Book Description
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.
Technical Manual
Author : United States. War Department
Publisher :
Page : 508 pages
File Size : 17,9 MB
Release : 1945
Category :
ISBN :
Book Description
Regulations of U.S. Customs and Border Protection
Author : U.S. Customs and Border Protection
Publisher :
Page : 562 pages
File Size : 31,22 MB
Release : 2003
Category : Customs administration
ISBN :
Book Description
Code of Federal Regulations
Author :
Publisher :
Page : 1336 pages
File Size : 10,81 MB
Release : 1986
Category : Administrative law
ISBN :
Book Description
Advanced Functional Programming
Author : Johan Jeuring
Publisher : Springer Science & Business Media
Page : 350 pages
File Size : 37,95 MB
Release : 1995-05-15
Category : Computers
ISBN : 9783540594512
Book Description
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995. The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type classes, and several new special purpose libraries of higher-order functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists up-to-date with the latest techniques. Most tutorial contributions contain exercises to familiarize the reader with the new concepts and techniques, and only basic knowledge in functional programming is assumed.
Users Manual
Author : United States. Environmental Protection Agency. Office of Air Programs
Publisher :
Page : 304 pages
File Size : 22,54 MB
Release : 1968
Category : Air
ISBN :
Book Description
Representation and Understanding
Author : Jerry Bobrow
Publisher : Elsevier
Page : 442 pages
File Size : 25,6 MB
Release : 2014-06-28
Category : Computers
ISBN : 1483299155
Book Description
Representation and Understanding
Current Industrial Reports
Author :
Publisher :
Page : 24 pages
File Size : 32,26 MB
Release : 1972
Category : Clothing trade
ISBN :
