UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 1.263

Sortiert nach

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [Elektronische Ressource]

2014

ABS projection algorithms : mathematical techniques for linear and nonlinear equations

Mathematics and its applications, Numerical analysis, statistics and operational research

1989

Signatur: TKZ1864

Model and Data Engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings [Elektronische Ressource]

2012

Fads and fashions in administrative technologies

Abrahamson, Eric

1989

Signatur: D13278

A case for case studies : an immigrant's journal

Abramson, Paul R

1. print, 1992

Signatur: NXZ3632

Methods in cell matrix adhesion

Methods in cell biology : 69 (Alle Bände)

Adams, Josephine C[Herausgeber]

2002

Signatur: VOJ1557-69

Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday [Elektronische Ressource]

2011

The science game : an introduction to research in the behavioral sciences

Prentice-Hall series in experimental psychology

2. ed, 1978

Signatur: HQN2583(2)

Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space [Elektronische Ressource]

Ahn, Sung Joon

2004

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Volltext
Volltext
2 weitere Links anzeigen
Weniger anzeigen

Norms and modes of thinking in Descartes

Acta philosophica Fennica : 64 (Alle Bände)

Aho, Tuomo[Herausgeber]

1999

Signatur: M38164

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Programming and Software Engineering : 12165

1st ed. 2020, 2020

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers [Elektronische Ressource]

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

A posteriori error estimation in finite element analysis

Pure and applied mathematics, A Wiley Interscience publication

2000

Signatur: TLB3420

Statistical prediction analysis

1975

Signatur: TKM1445

Carleman's formulas in complex analysis : theory and applications

Mathematics and its applications : 244 (Alle Bände)

Ajzenberg, Lev Abramovič

1993

Signatur: TJB2280

Lyapunov theorems for operator algebras

Memoirs of the American Mathematical Society : 458 (Alle Bände)

1991

Signatur: TBR1389-458

Application and implementation of finite element methods

Computational mathematics and applications

Akin, John E

1982

Signatur: TLB1567

Handbuch der Physik. 1. Mathematische Methoden ; 1

Handbuch der Physik (Alle Bände)

1956

Signatur: UAP1003-1

Handbuch der Physik. 2. Mathematische Methoden ; 2

Handbuch der Physik (Alle Bände)

1955

Signatur: UAP1003-2

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings [Elektronische Ressource]

2014

In memory of Raphael Høegh-Krohn : (1938 - 1988)

Signatur: UAKH1110-...

1 – 25 von 1.263

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKongressbericht

Autor / AutorinMitchell, John C

Spracheengl.

SpracheLatein

ErscheinungsformSerie

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(893)
Online-Ressource
(370)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(1.244)
Zeitschrift
(19)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TLB
(54)
NXZ
(45)
HQN
(27)
QFD
(27)
WCG
(27)
TLL
(20)
VOJ
(20)
TAY
(18)
TLO
(18)
TKX
(17)
TIK
(16)
NOX
(12)
TKM
(12)
PIH
(10)
TIG
(10)
TLG
(10)
TLQ
(10)
WCA
(10)
HYN
(9)
TLU
(9)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings [Elektronische Ressource]

Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [Elektronische Ressource]

ABS projection algorithms : mathematical techniques for linear and nonlinear equations

Model and Data Engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings [Elektronische Ressource]

Fads and fashions in administrative technologies

A case for case studies : an immigrant's journal

Methods in cell matrix adhesion

Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday [Elektronische Ressource]

The science game : an introduction to research in the behavioral sciences

Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space [Elektronische Ressource]

Norms and modes of thinking in Descartes

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers [Elektronische Ressource]

A posteriori error estimation in finite element analysis

Uniform Distribution and Quasi-Monte Carlo Methods : Discrepancy, Integration and Applications

Statistical prediction analysis

Carleman's formulas in complex analysis : theory and applications

Lyapunov theorems for operator algebras

Hamilton-Jacobi-Bellman Equations : Numerical Methods and Applications in Optimal Control

Application and implementation of finite element methods

Handbuch der Physik. 1. Mathematische Methoden ; 1

Handbuch der Physik. 2. Mathematische Methoden ; 2

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings [Elektronische Ressource]

In memory of Raphael Høegh-Krohn : (1938 - 1988)

Classical Archaeology in Context : Theory and Practice in Excavation in the Greek World

Aktive Filter

Suchergebnisse filtern