Search Results - Software/Program Verification—Programming by con- tract General Terms Languages

Space-Efficient Manifest Contracts

Authors: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Contributors: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

Source: http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf.

Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory, D.2.4 [Software Engi- neering, Software/Program Verification—Programming by con- tract General Terms Languages, Theory

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573; http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.564.8573
http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

Assessing Listening and Spoken Language in Children with Hearing Loss

Authors: Bradham, Tamala S. Houston, K. Todd

Resource Type: eBook.

Subjects: Auditory perception, Children, Auditory perception--Testing, Language acquisition

Categories: MEDICAL / Surgery / General

Foundations of Computational Linguistics : Human-Computer Communication in Natural Language

Authors: Roland Hausser

Resource Type: eBook.

Subjects: Computational linguistics, Computerlinguistik

Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI), LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Principles of Systems Design

Authors: Jean-François Raskin Krishnendu Chatterjee Laurent Doyen et al.

Resource Type: eBook.

Subjects: Computer science, Machine theory, Artificial intelligence, Software engineering

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General

Springer Handbook of Model-Based Science

Authors: Lorenzo Magnani Tommaso Bertolotti

Resource Type: eBook.

Subjects: Science--Simulation methods

Categories: COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Logic, PSYCHOLOGY / Cognitive Psychology & Cognition, SCIENCE / Physics / General, SCIENCE / Philosophy & Social Aspects, TECHNOLOGY & ENGINEERING / Engineering (General)

Clinical Audiology: An Introduction, Third Edition

Authors: Brad A. Stach Virginia Ramachandran

Resource Type: eBook.

Subjects: Hearing disorders, Audiology, Hearing disorders--Treatment

Categories: MEDICAL / Audiology & Speech Pathology

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Gale Research Inc

Resource Type: eBook.

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

Developing Management Skills, Global Edition

Authors: David A. Whetten Kim S. Cameron

Resource Type: eBook.

Subjects: Management--Study and teaching, Management--Problems, exercises, etc

Categories: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Industrial Management

Computer Aided Design in Control and Engineering Systems : Advanced Tools for Modern Technology

Authors: P. Martin Larsen N. E. Hansen

Resource Type: eBook.

Subjects: Computer-aided design--Congresses, Automatic control--Data processing--Congresses

Categories: COMPUTERS / Business & Productivity Software / Business Intelligence, COMPUTERS / Design, Graphics & Media / Graphics Tools

Digital Planet: Tomorrow's Technology and You : Pearson New International Edition

Authors: George Beekman Ben Beekman

Resource Type: eBook.

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Social Aspects

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Authors: Kalte, Pamela M. Nemeh, Katherine H.

Resource Type: eBook.

Subjects: Scientists--Canada--Directories, Scientists--Canada--Biography, Scientists--United States--Directories, Science, Scientists--United States--Biography

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology