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 – 5 of 5
1
Formal and informal software specifications
Kristofer Johannisson
;
C Kristofer Johannisson
In: http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf (2005)
BASE
Show details
2
Multilingual Syntax Editing for Software Specifications
Hans-joachim Daniels
;
Universität Karlsruhe (th
;
Fakultät Für Informatik
...
In: http://i12www.iti.uni-karlsruhe.de/~key/oclnl/daniels05.pdf (2005)
BASE
Show details
3
An authoring tool for informal and formal requirements specifications
Reiner Hähnle
;
Kristofer Johannisson
;
Aarne Ranta
In: http://www.cs.chalmers.se/~krijo/wm02/papers/johannisson.pdf (2002)
BASE
Show details
4
An Authoring Tool for Informal and Formal Requirements Specifications
Reiner Hähnle
;
Kristofer Johannisson
;
Aarne Ranta
In: http://i12www.ira.uka.de/~key/doc/2001/HaeJohRan02.ps.gz (2001)
BASE
Show details
5
Formal Verification of Multilingual Instructions
Kristofer Johannisson And
;
Kristofer Johannisson
;
Aarne Ranta
In: http://www.cs.chalmers.se/~aarne/./doc/./articles/aarne+krijo.ps.gz
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
5
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern