Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher
Year
Medium
Type:
Article (7)
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 – 7 of 7
1
On tracing reactive systems
Shahar Maoz
;
David Harel
In: http://www.wisdom.weizmann.ac.il/%7Emaozs/tracer/tracer-sosym-online.pdf (2010)
BASE
Show details
2
Crafting Game-Models Using . . .
David Harel
;
Itai Segall
In: http://www.wisdom.weizmann.ac.il/~dharel/papers/Game.Models.pdf (2008)
BASE
Show details
3
The STATEMATE Semantics of Statecharts
David Harel
;
Amnon Naamad
In: http://www.wisdom.weizmann.ac.il/Papers/CSreports/reps95/95-31.ps.Z (1996)
BASE
Show details
4
ACM Trans. Soft. Eng. Method.
Od Oct
;
David Harel
;
Amnon Naamad
In: http://www.cs.ucr.edu/~vahid/courses/269_f98/statecharts_sem.ps (1996)
BASE
Show details
5
Dynamic Logic
David Harel
In: http://semarch.linguistics.fas.nyu.edu/barker/Dynamics/harel-84-dynamic-logic.pdf
BASE
Show details
6
IOS Press Executable Modeling of Morphogenesis:
Irun R. Cohen
;
David Harel
In: http://www.wisdom.weizmann.ac.il/%7Edharel/papers/Turing%20Morphogenesis.pdf
BASE
Show details
7
Design, Languages
David Harel
;
Itai Segall
;
Hillel Kugler
...
In: http://www.wisdom.weizmann.ac.il/%7Eitais/research/FP08.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
7
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern