Net

Results: 528699



#Item
141Theoretical computer science / Mathematics / Graph theory / Formal languages / Logic in computer science / Graph rewriting / Mathematical logic / Rewriting / Graph / KnuthBendix completion algorithm / Abstract semantic graph / Tree

From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a

Add to Reading List

Source URL: www.maria-a-schett.net

Language: English - Date: 2016-12-11 09:11:57
142Contract law / Brand management / Brands / Intangible assets / Product management / Law / Economy / Property / Indemnity / Terms of service / Korn Ferry / Copyright infringement

TERMS OF USE FOR KORNFERRY.COM DATE OF LAST MODIFICATION: January 25, 2012 Korn/Ferry International operates the www.kornferry.com web site (the “Site”) to provide online access to information regarding products and

Add to Reading List

Source URL: dsqapj1lakrkc.cloudfront.net

Language: English - Date: 2017-08-08 19:17:25
143Theoretical computer science / Mathematics / Formal languages / Discrete mathematics / Graph theory / Graph rewriting / Logic in computer science / Rewriting / Rewrite order / Confluence / Graph / Abstract semantic graph

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Add to Reading List

Source URL: www.maria-a-schett.net

Language: English - Date: 2016-12-11 09:15:03
144Computing / Hacking / Human behavior / Information and communications technology / Telephone tapping / Computer programming / Hacker / Internet security / Wargame / Security hacker

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Add to Reading List

Source URL: afnom.net

Language: English - Date: 2018-10-16 09:54:50
145Mathematics / Algebra / Lambda calculus / Category / Function / Monad / Arrow / Morphism / Sheaf / Combinatory logic / Functor / Commutative property

c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011.  467 doi:S0956796811000153 First published online 29 June 2011

Add to Reading List

Source URL: thev.net

Language: English - Date: 2012-04-02 13:21:01
146Theoretical computer science / Programming language theory / Mathematics / Formal languages / Mathematical logic / Logic in computer science / Computability theory / Rewriting / Normal form / Graph rewriting / Pure / Term

Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011

Add to Reading List

Source URL: www.maria-a-schett.net

Language: English - Date: 2016-12-11 09:15:55
147XBRL / EDGAR / SEC filings / Business / Information

EDGAR Services Full-Service, In-House Edgar Conversion and Filing Dedicated professionals, fast turnaround and accurate formatting. A commitment to service unmatched in the industry. Innovative 8-K/6-K ComboPacks

Add to Reading List

Source URL: cdn2.hubspot.net

Language: English - Date: 2018-01-30 13:29:33
148Economy / Finance / Money / Credit / Credit freeze / Identity theft / Credit history / Credit bureau / Equifax / Fair Credit Reporting Act / Experian / AnnualCreditReport.com

Return Mail Processing PO BoxLivonia, MIDATE]

Add to Reading List

Source URL: www.databreaches.net

Language: English - Date: 2018-10-24 11:20:41
149Software / Computer access control / Federated identity / Instant messaging clients / Computing / Identity management / Identity / Telegram / Information Card / Online identity

Global ID Roadmap Mapping out the Future Direction for the Global ID System Version 0.2 This document is intended to lay out our thinking on a number of areas where the current Global ID

Add to Reading List

Source URL: www.globalid.net

Language: English - Date: 2018-06-28 10:17:43
150Concurrent computing / Distributed algorithms / Concurrency / Mathematics / Computing / Algorithm / Mathematical logic / Theoretical computer science / Distributed computing / Deadlock / Chandy-Lamport algorithm / Virtual synchrony

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Add to Reading List

Source URL: lamport.azurewebsites.net

Language: English - Date: 2002-05-21 20:47:59
UPDATE