Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 18 of 18
1
Checking Type Safety of Foreign Function Calls
Michael Furr
;
Jeffrey S. Foster
In: http://www.cs.umd.edu/~furr/papers/toplas-ffi.pdf (2008)
BASE
Show details
2
Checking type safety of foreign function calls
Michael Furr
;
Jeffrey S. Foster
In: http://www.cs.umd.edu/~jfoster/papers/toplas-ffi.pdf (2005)
BASE
Show details
3
EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment
Deepak Mathaikutty
;
Hiren Patel
;
Sandeep Shukla
...
In: http://web.it.kth.se/~axel/papers/2007/ACMTODAES-MathaikuttyEWD.pdf (2004)
BASE
Show details
4
Trainable News Broadcast Boundary Identification Using Feature Density
Advay V. Mengle
;
David Palmer
In: http://web.mit.edu/advay/www/pub/siemens04-ref.pdf (2004)
BASE
Show details
5
An Ontology of Time for the Semantic Web
Jerry R. Hobbs
;
Feng Pan
In: http://www.isi.edu/~hobbs/time/pub/hobbs-pan-TALIP04.pdf (2004)
BASE
Show details
6
Syntactic Type Abstraction
Dan Grossman
;
Greg Morrisett
;
Steve Zdancewic
In: http://www-2.cs.cmu.edu/~rwh/courses/modules/papers/grossman-etal00/paper.pdf (2000)
BASE
Show details
7
A Graphical Environment for the Design of Concurrent Real-Time Systems
L. E. Moser
;
Y. S. Ramakrishna
;
G. Kutty
...
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
BASE
Show details
8
Authentication in distributed systems: Theory and practice
Butler Lampson
;
Martin Abadi
;
Michael Burrows
...
In: http://people.cs.vt.edu/~gracanin/qualifier/2003/Lampson-1992.pdf (1992)
BASE
Show details
9
Complete inverted files for efficient text retrieval and analysis
A. Blumer
;
J. Blumer
;
D. Haussler
...
In: http://www.cs.colostate.edu/~rmm/invertedFiles.pdf (1987)
BASE
Show details
10
Complete inverted files for efficient text retrieval and analysis
A. Blumer
;
J. Blumer
;
D. Haussler
...
In: http://www.cbse.ucsc.edu/staff/haussler_pubs/complete-inverted-files.pdf (1987)
BASE
Show details
11
A Modular Verifiable Exception-Handling Mechanism
Shaula Yemini
;
Daniel M. Berry
In: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf (1985)
BASE
Show details
12
Persistent Queries in the Behavioral Theory of Algorithms
Andreas Blass
;
Yuri Gurevich
In: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf
BASE
Show details
13
Theory—Syntax; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Algebraic
Andrew M. Pitts
In: http://www.cl.cam.ac.uk/users/ap/papers/alpsri/alpsri.pdf
BASE
Show details
14
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions
Marco Bernardo
In: http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf
BASE
Show details
15
A Game-Theoretic Model of Referential Coherence and Its Empirical Verification Using Large Japanese and English Corpora
Shun Shiramatsu
;
Kazunori Komatani
;
Tetsuya Ogata
...
In: http://winnie.kuis.kyoto-u.ac.jp/members/okuno/paper/ACMTSLT-0503-Shiramatsu.pdf
BASE
Show details
16
9Tool for Testing Bad Student Programs
In: http://ceur-ws.org/Vol-1266/SQAMIA2014_Paper9.pdf
BASE
Show details
17
AA Rule-based Design Specification Language for Synthetic Biology
Ernst Oberortner
;
Swapnil Bhatia
;
Erik Lindgren
In: http://people.bu.edu/ernstl/pubs/journals/acm-jetc.pdf
BASE
Show details
18
Verified interoperable implementations of security protocols
Cédric Fournet
;
Andrew D. Gordon
;
Stephen Tse
In: http://research.microsoft.com/%7Ekarthb/pubs/verified-interoperable-implementations-toplas08.pdf
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
18
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern