by
Trinder, Phil. editor.
Format:
Electronic Resources
Excerpt:
Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces
by
Liu, Zhiming. editor.
Format:
Electronic Resources
Excerpt:
and verification. The courses cover sequential programming, component- and object software, hybrid
View Other Search Results
by
Bernardo, Marco. editor.
Format:
Electronic Resources
Excerpt:
International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016
by
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Excerpt:
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer
by
Nielson, Hanne Riis. author.
Format:
Electronic Resources
Excerpt:
implementations of programming languages Verifying program analyses that are part of more advanced implementations
by
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Excerpt:
leading-edge research in methods and tools for use in computer system engineering. They have been distilled
by
Meseguer, José. editor.
Format:
Electronic Resources
Excerpt:
Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards an
by
Miculan, Marino. editor.
Format:
Electronic Resources
Excerpt:
annual workshop of the Types Working Group was formal reasoning and computer programming based on type
by
Liblit, Ben. author.
Format:
Electronic Resources
Excerpt:
computer programming,over half a century ago. In the intervening decades, the need for effective methods of
by
Zygelman, Bernard. author.
Format:
Electronic Resources
Excerpt:
, Engineering, Math and Computer Science departments. This textbook incorporates Mathematica-based examples into
by
Lindley, Sam. editor.
Format:
Electronic Resources
Excerpt:
types -- The Essence of Multi-Stage Evaluation in LMS -- 1ML with Special Effects -- The Computer
by
Roy, Peter. editor.
Format:
Electronic Resources
Excerpt:
Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher
Limit Search Results
Narrowed by: