Tobias - PDFSEARCH.IO - Document Search Engine

Tobias
Results: 2429

#	Item
1	Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-02-25 19:48:09 Internet architecture Computing Network architecture Information and communications technology Computer networking Routing Internet Standards Networking hardware Router Forwarding plane Multiprotocol Label Switching NetFlow
2	Stroboscope: Declarative Network Monitoring on a Budget † ‡ § * Olivier Tilmans , Tobias Bühler , Ingmar Poese , Stefano Vissicchio Add to Reading List Source URL: stroboscope.ethz.ch Language: English - Date: 2018-04-09 16:37:14 Computing Internet architecture Information and communications technology Computer networking NetFlow Data transmission Port mirroring Router
3	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:25 Computer programming Software engineering Computing Fold Recursion LaTeX
4	Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2018-03-05 06:59:18 Internet architecture Computing Network architecture Information and communications technology Computer networking Routing Internet Standards Networking hardware Router Forwarding plane Multiprotocol Label Switching NetFlow
5	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: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
6	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:23 Type theory Theoretical computer science Proof assistants Mathematical logic Programming language theory Formal methods Lambda calculus Logic in computer science Isabelle HOL HindleyMilner type system Automated theorem proving
7	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:42 Mathematics Logic Mathematical logic Recursion Theoretical computer science Mathematical proofs Type theory Mathematical induction Structural induction Recursive definition Automated theorem proving Natural deduction
8	Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c Add to Reading List Source URL: homes.sice.indiana.edu Language: English - Date: 2015-05-11 18:45:51
9	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:25 Computer programming Software engineering Computing Fold Recursion LaTeX
10	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:23 Type theory Theoretical computer science Proof assistants Mathematical logic Programming language theory Formal methods Lambda calculus Logic in computer science Isabelle HOL HindleyMilner type system Automated theorem proving

UPDATE