.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
471	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:41 Software engineering Computer programming Computing Functional languages Semigroup theory Abstract data types Algebraic structures Programming language comparisons Double-ended queue Queue Monoid Semigroup
472	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:12 Mathematical logic Logic Proof theory Mathematics Proof assistants Logic in computer science Type theory Substructural logic Sequent First-order logic Isabelle Higher-order logic
473	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:32 Abstract data types Queue Double-ended queue Dequeue Statistical theory Probability and statistics Economy
474	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:33:47 Software engineering Java Pathfinder Computer programming Computing Const Obfuscation Assembly languages Programming language syntax Java P-code machine
475	Introduction Verifying a Robot Swarm Algorithm Dealing with Uncertainty Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:30:21 Aquatic ecology Behavior Crowds Fisheries Swarm behaviour Zoology Swarm robotics Robot Model checking Swarm Metaphysics Action philosophy)
476	Towards Fast Interactive Verification through Strong Higher-Order Automation Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:30 Metalogic Model theory Isabelle Admissible rule Measure theory Logic Mathematical logic Mathematics
477	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:55 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
478	This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:11:10 Drat Conjunctive normal form Constraint programming Theoretical computer science NP-complete problems Logic in computer science
479	Journal of Computer Security–657 DOIJCSIOS Press 601 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-05-01 06:38:12 Computing Computer access control Computer security Cloud standards Federated identity Internet protocols Cryptographic protocols OAuth Cross-site request forgery Social login OpenID Single sign-on
480	Programming Discrete Distributions with Chemical Reaction Networks∗ Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:21:41 Mathematical analysis Mathematics Statistical theory Poisson distribution Distribution Probability distribution Binomial distribution Markov chain Uniform distribution Random variable