Search


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 611-620 of 4843 (Search time: 0.0 seconds).
Item hits:
PreviewIssue DateTitleContributor(s)
9783319997247.pdf.jpg2018Static AnalysisPodelski, Andreas. ;
9783319929934.pdf.jpg2018Tests and ProofsDubois, Catherine. ;; Wolff, Burkhart. ;
9783319914695.pdf.jpg2018Augmented Cognition: Intelligent TechnologiesSchmorrow, Dylan D. ;; Fidopiastis, Cali M
9781484237595.pdf.jpg2018Beginning SVGLibby, Alex. ;
9781484227695.pdf.jpg2017Beginning Windows Mixed Reality ProgrammingOng, Sean. ;
9781498787772.pdf.jpg2018Simulation of dynamic systems with MATLAB and Simulink /Klee, Harold. ;; Allen, Randal, ; 1964- ;
9783030034238.pdf.jpg2018Leveraging Applications of Formal Methods, Verification and Validation. Distributed SystemsMargaria, Tiziana. ;; Steffen, Bernhard. ;
9783319998398.pdf.jpg2018Rewriting Logic and Its ApplicationsRusu, Vlad. ;
9783319916286.pdf.jpg2018A First Introduction to Quantum Computing and InformationZygelman, Bernard. ;
9783319924076.pdf.jpg2018Coordination Models and LanguagesDi Marzo Serugendo, Giovanna. ;; Loreti, Michele. ;

Discover & Search