Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Wiedijk, F
22
Ergebnisse:
Personensuche
X
Format
Online (21)
Print (1)
Medientypen
Artikel (Online) (6)
OpenAccess-Volltexte (15)
Dissertation (1)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Variability in the occurence of the sugar cane froghopper, ..
Mededelingen / Landbouwhogeschool ; 82,7
Wiedijk, F
, 1982
Exemplar:
Zentrale:Magazin
bf 8138
?
2
An accessory skull suture mimicking a skull fracture:
Wiedijk, J.E.F.
;
Soerdjbalie-Maikoe, V.
;
Maat, G.J.R.
...
Forensic Science International. 260 (2016) - p. e11-e13 , 2016
Link:
https://doi.org/10.1016/..
?
3
A probabilistic analysis of the Game of the Goose:
Groote, J.F
;
Wiedijk, F
;
Zantema, H
Groote , J F , Wiedijk , F & Zantema , H 2016 , ' A probabilistic analysis of the Game of the Goose ' , SIAM Review , vol. 58 , no. 1 , pp. 143-155 . https://doi.org/10.1137/140983781. , 2016
Link:
https://research.tue.nl/..
?
4
A probabilistic analysis of the Game of the Goose:
Groote, JF Jan Friso
;
Wiedijk, F
;
Zantema, H Hans
ISSN:0036-1445. , 2016
Link:
http://repository.tue.nl..
?
5
Explicit convertibility proofs in pure type systems:
Doorn, F van
;
Geuvers, JH Herman
;
Wiedijk, F
, 2013
Link:
http://repository.tue.nl..
?
6
Pure type systems without explicit contexts:
Geuvers, JH Herman
;
Krebbers, R
;
McKinna, J
. , 2010
Link:
http://repository.tue.nl..
?
7
A logical framework with explicit conversions:
Geuvers, JH Herman
;
Wiedijk, F
, 2008
Link:
http://repository.tue.nl..
?
8
A real semantic web for mathematics deserves a real semanti..:
Corbineau, P
;
Geuvers, JH Herman
;
Kaliszyk, C
.. , 2008
Link:
http://repository.tue.nl..
?
9
Constructive analysis, types and exact real numbers:
Geuvers, JH Herman
;
Niqui, M
;
Spitters, BAW Bas
.
ISSN:0960-1295. , 2007
Link:
http://repository.tue.nl..
?
10
Preface (Special issue on Constructive analysis, types and ..:
Spitters, BAW Bas
;
Geuvers, JH Herman
;
Niqui, M
.
ISSN:0960-1295. , 2007
Link:
http://repository.tue.nl..
?
11
A constructive algebraic hierarchy in Coq:
Geuvers, JH Herman
;
Pollack, R
;
Wiedijk, F
.
ISSN:0747-7171. , 2002
Link:
http://repository.tue.nl..
?
12
Equational reasoning via partial reflection:
Geuvers, JH Herman
;
Wiedijk, F
;
Zwanenburg, J Jan
, 2000
Link:
http://repository.tue.nl..
?
13
Uniform algebraic specifications of finite sets with equali..:
Bergstra, JA Jan
;
Mauw, S Sjouke
;
Wiedijk, F
ISSN:0129-0541. , 1991
Link:
http://repository.tue.nl..
?
14
Uniform algebraic specifications of finite sorts with equal..:
Bergstra, J.A
;
Mauw, S
;
Wiedijk, F
0129-0541. , 1991
Link:
https://dspace.library.u..
?
15
Variability in the occurrence of the sugar cane froghopper,..:
Wiedijk, F
https://edepot.wur.nl/202973. , 1982
Link:
https://research.wur.nl/..
1-15
Mehr Literatur finden
Homoptera Gleichflügler, Pflanzensauger
Hemipteroidea. Wanzen. Zikaden. Pflanzenläuse
Zuckerrohr