Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer 241 - 260 von 2.058

241

A Survey of Moving Frames.
Hongbo Li ; Olver, Peter ; Sommer, Gerald ; et al.
Computer Algebra & Geometric Algebra with Applications. 2005, p105-138. 34p.

Buch
Zu den Favoriten
242

A review of FaultrEASE version 1.0.
Youngblood RW
Publisher: Blackwell Publishers Country of Publication: United States NLM ID: 8109978 Publication Model: Print Cited Medium: Print ISSN: 0272-4332 (Print) Linking ISSN: 02724332 NLM ISO Abbreviation: Risk Anal Subsets: MEDLINE

Computer Graphics Decision Trees Microcomputers User-Computer Interface Mathematical Computing Risk
Fachzeitschrift
Zu den Favoriten
243

A discrete, geometrically exact method for simulating nonlinear, elastic or non-elastic beams
Lestringant, Claire ; Audoly, Basile ; Kochmann, Dennis ; et al.
Computer Methods in Applied Mechanics and Engineering. 361:112741-112741

non-linear beam theory finite element method constitutive model variational calculus [SPI.MECA.SOLID]Engineer... Mechanics [physics.med-p...
Zeitschrift
Zu den Favoriten
244

On asynchrony in name-passing calculi.
Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan ; et al.
Automata, Languages & Programming (9783540647812). 1998, p856-867. 12p.

Buch
Zu den Favoriten
245

Time-Discrete Geodesics in the Space of Shells.
Heeren, B. ; Rumpf, M. ; Wardetzky, M. ; et al.
Computer Graphics Forum. Aug2012, Vol. 31 Issue 5, p1755-1764. 10p. 11 Color Photographs, 1 Black and White Photograph, 1 Diagram, 2 Charts.

GEODESICS DIFFERENTIAL geometry GEOMETRY BOCHNER technique CALCULUS of tensors PROJECTIVE differential...
Fachzeitschrift
Zu den Favoriten
246

A hierarchy of equivalences for asynchronous calculi.
Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan ; et al.
Automata, Languages & Programming (9783540647812). 1998, p844-855. 12p.

Buch
Zu den Favoriten
247
248

Explicit substitutitions for constructive necessity.
Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan ; et al.
Automata, Languages & Programming (9783540647812). 1998, p743-754. 12p.

Buch
Zu den Favoriten
249

Reasoning about the past with two-way automata.
Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan ; et al.
Automata, Languages & Programming (9783540647812). 1998, p628-641. 14p.

Buch
Zu den Favoriten
250

The regular real-time languages.
Goos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan ; et al.
Automata, Languages & Programming (9783540647812). 1998, p580-591. 12p.

Buch
Zu den Favoriten
251

Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods.
Lichtblau, Daniel ; Hoon Hong ; Dongming Wang
Automated Deduction in Geometry. 2006, p70-91. 22p.

Buch
Zu den Favoriten
252

Skeletons of 3D Shapes.
Kimmel, Ron ; Sochen, Nir ; Weickert, Joachim ; et al.
Scale Space & PDE Methods in Computer Vision. 2005, p339-350. 12p.

Buch
Zu den Favoriten
253

Representation and Refinement of Visual Specifications in Pegasys.
SRI INTERNATIONAL MENLO PARK CA COMPUTER SCIENCE LAB ; Moriconi,M S ; SRI INTERNATIONAL MENLO PARK CA COMPUTER SCIENCE LAB ; et al.
DTIC AND NTIS

E-Ressource
Zu den Favoriten
254

Dieses Ergebnis kann Gästen nicht angezeigt werden.

255

Regular Expressions with Timed Dominoes.
Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; et al.
Discrete Mathematics & Theoretical Computer Science. 2003, p141-154. 14p.

Buch
Zu den Favoriten
256

3D Graphics with Spreadsheets
Jan Benacka
Spreadsheets in Education, Vol 3, Iss 1 (2008)

Special aspects of educa... LC8-6691
Fachzeitschrift
Zu den Favoriten
257

Comorphism-Based Grothendieck Logics.
Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; et al.
Mathematical Foundations of Computer Science 2002. 2002, p593-604. 12p.

Buch
Zu den Favoriten
258

Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems.
Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; et al.
Mathematical Foundations of Computer Science 2002. 2002, p519-531. 13p.

Buch
Zu den Favoriten
259

Small Progress Measures for Solving Parity Games.
Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; et al.
STACS 2000. 2000, p290-301. 12p.

Buch
Zu den Favoriten
260

Modelling Dynamic Spatial Systems in the Situation Calculus
Bhatt, Mehul ; Loke, Seng ; Bhatt, Mehul ; et al.

E-Ressource
Zu den Favoriten

Filter