Leader
|
|
|
00000nz a2200037nc 45 0 |
001
|
|
|
DNB|12391356X
(VIAF cluster)
|
003
|
|
|
DNB |
005
|
|
|
20241028142735.0 |
008
|
|
|
020705n||aznnnaabn | aaa |c |
035
|
|
|
‡a
(DNB)12391356X
|
024
|
7 |
|
‡a
12391356X
‡0
http://d-nb.info/gnd/12391356X
‡2
gnd
|
024
|
7 |
|
‡a
0000-0001-7001-2566
‡2
orcid
|
035
|
|
|
‡a
(DE-101)12391356X
|
035
|
|
|
‡a
(DE-588)12391356X
|
035
|
|
|
‡z
(DE-588a)12391356X
‡9
v:zg
|
040
|
|
|
‡a
DE-605
‡c
DE-605
‡9
r:DE-605
‡b
ger
‡d
8157
‡e
rda
|
042
|
|
|
‡a
gnd1
|
043
|
|
|
‡c
XA-DE
‡c
XA-CH
|
075
|
|
|
‡b
p
‡2
gndgen
|
075
|
|
|
‡b
piz
‡2
gndspec
|
079
|
|
|
‡a
g
‡q
f
‡u
v
|
100
|
1 |
|
‡a
Müller, Peter
‡d
1972-
|
375
|
|
|
‡a
1
‡2
iso5218
|
510
|
2 |
|
‡0
(DE-101)004813251
‡0
(DE-588)2023928-2
‡0
https://d-nb.info/gnd/2023928-2
‡a
Eidgenössische Technische Hochschule Zürich
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡w
r
‡i
Affiliation
‡e
Affiliation
|
510
|
2 |
|
‡0
(DE-101)050668412
‡0
(DE-588)5066841-9
‡0
https://d-nb.info/gnd/5066841-9
‡a
Max-Planck-Institut für Informatik
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡w
r
‡i
Affiliation
‡e
Affiliation
|
510
|
2 |
|
‡0
(DE-101)000194557
‡0
(DE-588)19455-4
‡0
https://d-nb.info/gnd/19455-4
‡a
FernUniversität in Hagen
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡w
r
‡i
Affiliation
‡e
Affiliation
|
548
|
|
|
‡a
1972-
‡4
datl
‡4
https://d-nb.info/standards/elementset/gnd#dateOfBirth
‡w
r
‡i
Lebensdaten
|
550
|
|
|
‡a
Prof. Dr.-Ing.
‡4
akad
‡4
https://d-nb.info/standards/elementset/gnd#academicDegree
‡w
r
‡i
Akademischer Grad
|
550
|
|
|
‡0
(DE-101)041393953
‡0
(DE-588)4139395-8
‡0
https://d-nb.info/gnd/4139395-8
‡a
Informatiker
‡4
berc
‡4
https://d-nb.info/standards/elementset/gnd#professionOrOccupation
‡w
r
‡i
Charakteristischer Beruf
|
550
|
|
|
‡0
(DE-101)041870395
‡0
(DE-588)4187039-6
‡0
https://d-nb.info/gnd/4187039-6
‡a
Unternehmensberater
‡4
beru
‡4
https://d-nb.info/standards/elementset/gnd#professionOrOccupation
‡w
r
‡i
Beruf
|
551
|
|
|
‡0
(DE-101)040269914
‡0
(DE-588)4026991-7
‡0
https://d-nb.info/gnd/4026991-7
‡a
Ingolstadt
‡4
ortg
‡4
https://d-nb.info/standards/elementset/gnd#placeOfBirth
‡w
r
‡i
Geburtsort
|
670
|
|
|
‡a
LCAuth
|
670
|
|
|
‡a
Internet
|
672
|
|
0 |
‡a
A brief study in automating proofs based on a refined Hoare logic
‡f
1996
|
901
|
|
|
‡a
978382724742
‡9
1
|
901
|
|
|
‡a
978364227705
‡9
1
|
901
|
|
|
‡a
978382726392
‡9
1
|
901
|
|
|
‡a
978382726027
‡9
1
|
901
|
|
|
‡a
978354043167
‡9
1
|
901
|
|
|
‡a
978344645194
‡9
1
|
901
|
|
|
‡a
978382724176
‡9
1
|
901
|
|
|
‡a
978382732229
‡9
1
|
901
|
|
|
‡a
978382725311
‡9
1
|
901
|
|
|
‡a
978382732465
‡9
1
|
901
|
|
|
‡a
978382732733
‡9
1
|
901
|
|
|
‡a
978382726728
‡9
1
|
901
|
|
|
‡a
978382726511
‡9
1
|
901
|
|
|
‡a
978382726844
‡9
1
|
901
|
|
|
‡a
978382726038
‡9
1
|
901
|
|
|
‡a
978364227704
‡9
1
|
901
|
|
|
‡a
978382726040
‡9
1
|
901
|
|
|
‡a
978382724715
‡9
1
|
901
|
|
|
‡a
978382724802
‡9
1
|
901
|
|
|
‡a
978382725688
‡9
1
|
901
|
|
|
‡a
978382724150
‡9
1
|
901
|
|
|
‡a
978382726271
‡9
1
|
901
|
|
|
‡a
978354045651
‡9
1
|
909
|
|
|
‡a
(gnd) 12391356x
‡9
1
|
909
|
|
|
‡a
(orcid) 0000000170012566
‡9
1
|
910
|
|
|
‡a
handbuchderberlinersoftwaredistributionbesd
‡A
Handbuch der Berliner Software-Distribution
‡b
(BeSD)
‡l
ger
‡9
2
|
910
|
|
|
‡a
homepageschuledereffektivstewegzureigenenwebsite
‡A
Die Homepage-Schule
‡b
der effektivste Weg zur eigenen Website
‡l
ger
‡9
1
|
910
|
|
|
‡a
verifiedsoftwaretheoriestoolsexperiments4internationalconferencevstte2012philadelphiapausajanuary28292012proceedings
‡A
Verified Software: Theories, Tools, Experiments
‡b
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
‡l
ger
‡9
1
|
910
|
|
|
‡a
jetztlerneichborlandjbuilder
‡A
Jetzt lerne ich Borland JBuilder
‡b
[der einfache Einstieg in die Java-Programmierung - komplettes Starterkit; aktuell bis JBuilder 6; Start ohne Vorwissen]
‡l
ger
‡9
1
|
910
|
|
|
‡a
programmingandinterfacespecificationlanguageofjivespecificationanddesignrationale
‡A
Programming and interface specification language of JIVE - specification and design rationale
‡l
eng
‡9
1
|
910
|
|
|
‡a
java2
‡A
Java 2
‡l
ger
‡9
1
|
910
|
|
|
‡a
modularspecificationandverificationofobjectorientedprograms
‡A
Modular specification and verification of object oriented programs
‡l
eng
‡9
4
|
910
|
|
|
‡a
javaeineeinfuhrungindieprogrammierung
‡A
Java
‡b
eine Einführung in die Programmierung
‡l
ger
‡9
1
|
910
|
|
|
‡a
jetztlerneichjava6komplettesstarterkitfurdenerfolgreicheneinstiegindieprogrammierung
‡A
Jetzt lerne ich Java 6
‡b
komplettes Starterkit für den erfolgreichen Einstieg in die Programmierung; [Start ohne Vorwissen]
‡l
ger
‡9
1
|
910
|
|
|
‡a
javacodebook
‡A
Das Java codebook
‡l
ger
‡9
1
|
910
|
|
|
‡a
jetztlerneichjava
‡A
Jetzt lerne ich JAVA
‡b
[der einfache Einstieg in die Internet-Programmierung; aktuell bis Version 1.1]
‡l
ger
‡9
1
|
910
|
|
|
‡a
java6codebook
‡A
Das Java 6 codebook
‡l
ger
‡9
1
|
910
|
|
|
‡a
jetztlerneichjava5komplettesstarterkitfurdenerfolgreicheneinstiegindieprogrammierung
‡A
Jetzt lerne ich Java 5
‡b
komplettes Starterkit für den erfolgreichen Einstieg in die Programmierung; [Start ohne Vorwissen]
‡l
ger
‡9
2
|
910
|
|
|
‡a
jetztlerneichjavakomplettesstarterkitfurdenerfolgreicheneinstiegindieinternetprogrammierung
‡A
Jetzt lerne ich Java
‡b
komplettes Starterkit für den erfolgreichen Einstieg in die Internetprogrammierung; [Start ohne Vorwissen]
‡l
ger
‡9
1
|
910
|
|
|
‡a
universesatypesystemforaliasanddependencycontrol
‡A
Universes: a type system for alias and dependency control
‡l
eng
‡9
1
|
910
|
|
|
‡a
java5praxisderobjektorientiertenprogrammierung
‡A
Java 5
‡b
Praxis der objektorientierten Programmierung
‡l
ger
‡9
1
|
910
|
|
|
‡a
legomindstormsroboterprogrammieren
‡A
Lego MindStorms - Roboter programmieren
‡l
ger
‡9
1
|
910
|
|
|
‡a
formaltechniquesforjavaprograms
‡A
Formal Techniques for Java Programs
‡l
eng
‡9
1
|
910
|
|
|
‡a
briefstudyinautomatingproofsbasedonarefinedhoarelogic
‡A
A brief study in automating proofs based on a refined Hoare logic
‡l
eng
‡9
2
|
910
|
|
|
‡a
verifiedsoftwaretheoriestoolsexperiments
‡A
Verified software: theories, tools, experiments
‡b
4th international conference; proceedings
‡l
eng
‡9
1
|
910
|
|
|
‡a
jetztlerneichjavadereinfacheeinstiegindieinternetprogrammierung
‡A
Jetzt lerne ich Java
‡b
der einfache Einstieg in die Internetprogrammierung; [Start ohne Vorwissen]
‡l
ger
‡9
2
|
910
|
|
|
‡a
programmingandinterfacespecificationlanguageofjive
‡A
Programming and Interface Specification Language of JIVE
‡l
eng
‡9
1
|
910
|
|
|
‡a
jetztlerneichandroidderschnelleeinstiegindieprogrammierungundentwicklungsumgebung
‡A
Jetzt lerne ich Android
‡b
der schnelle Einstieg in die Programmierung und Entwicklungsumgebung
‡l
ger
‡9
1
|
910
|
|
|
‡a
universes
‡A
Universes
‡l
eng
‡9
1
|
910
|
|
|
‡a
java2praxisderobjektorientiertenprogrammierung
‡A
Java 2
‡b
Praxis der objektorientierten Programmierung
‡l
ger
‡9
1
|
910
|
|
|
‡a
electronicvisualizationlibrary
‡A
The electronic visualization library
‡l
eng
‡9
2
|
912
|
|
|
‡a
java
‡A
Java
‡l
ger
‡9
1
|
920
|
|
|
‡a
978-38272
‡9
14
|
920
|
|
|
‡a
978-36422
‡9
2
|
920
|
|
|
‡a
978-35404
‡9
2
|
920
|
|
|
‡a
978-34464
‡9
1
|
920
|
|
|
‡a
978-38273
‡9
2
|
921
|
|
|
‡a
zib
‡b
ZIB
‡9
4
|
921
|
|
|
‡a
markt + technik
‡b
Markt + Technik
‡9
2
|
921
|
|
|
‡a
springer berlin heidelberg
‡b
Springer Berlin Heidelberg
‡9
1
|
921
|
|
|
‡a
markt und technik verl
‡b
Markt-und-Technik-Verl.
‡9
5
|
921
|
|
|
‡a
fernuniv fachbereich informatik
‡b
Fernuniv., Fachbereich Informatik
‡9
3
|
921
|
|
|
‡a
springer
‡b
Springer
‡9
3
|
921
|
|
|
‡a
hanser
‡b
Hanser
‡9
1
|
921
|
|
|
‡a
markt und technik
‡b
Markt und Technik
‡9
6
|
921
|
|
|
‡a
addison wesley
‡b
Addison-Wesley
‡9
2
|
921
|
|
|
‡a
markt und technik buch und software verl
‡b
Markt und Technik, Buch- und Software-Verl.
‡9
1
|
921
|
|
|
‡a
fernuniversitat in hagen
‡b
FernUniversität in Hagen
‡9
4
|
921
|
|
|
‡a
inst fur informatik
‡b
Inst. für Informatik
‡9
2
|
922
|
|
|
‡a
gw
‡b
de
‡9
34
|
930
|
|
|
‡a
peter muller
‡c
Peter Müller. Konrad-Zuse-Zentrum für Informationstechnik Berlin
‡9
14
|
930
|
|
|
‡a
p muller
‡c
P. Müller
‡9
1
|
940
|
|
|
‡a
ger
‡9
22
|
940
|
|
|
‡a
eng
‡9
26
|
941
|
|
|
‡a
herausgeber
‡e
Herausgeber
‡9
3
|
941
|
|
|
‡a
edt
‡4
edt
‡9
3
|
941
|
|
|
‡a
aut
‡4
aut
‡9
16
|
941
|
|
|
‡a
verfasser
‡e
Verfasser
‡9
16
|
941
|
|
|
‡a
ctb
‡4
ctb
‡9
1
|
941
|
|
|
‡a
mitwirkender
‡e
Mitwirkender
‡9
1
|
943
|
|
|
‡a
199x
‡9
8
|
943
|
|
|
‡a
201x
‡9
9
|
943
|
|
|
‡a
200x
‡9
17
|
944
|
|
|
‡a
am
‡9
34
|
946
|
|
|
‡a
b
‡9
1
|
947
|
|
|
‡a
DE
‡9
1
|
947
|
|
|
‡a
CH
‡9
1
|
950
|
|
|
‡a
joshi rajeev
‡A
Joshi, Rajeev
‡9
2
|
950
|
|
|
‡a
podelski andreas
‡A
Podelski, Andreas
‡9
2
|
950
|
|
|
‡a
louis dirk
‡A
Louis, Dirk
‡d
1965-
‡9
16
|
950
|
|
|
‡a
poetzsch heffter arnd
‡A
Poetzsch-Heffter, Arnd
‡d
1958-
‡9
7
|
950
|
|
|
‡a
meyer jorg
‡A
Meyer, Jörg
‡9
2
|
950
|
|
|
‡a
samaschke karsten
‡A
Samaschke, Karsten
‡9
1
|
950
|
|
|
‡a
leavens gary t
‡A
Leavens, Gary T.
‡9
1
|
950
|
|
|
‡a
jacobs bart
‡A
Jacobs, Bart
‡d
1963-
‡9
1
|
950
|
|
|
‡a
decker ingmar
‡A
Decker, Ingmar
‡9
2
|
951
|
|
|
‡a
fernuniversitat in hagen fachbereich informatik
‡A
FernUniversität in Hagen
‡b
Fachbereich Informatik
‡9
1
|
993
|
|
|
‡a
Ingolstadt
‡2
DNB|040269914
‡3
x500
|
993
|
|
|
‡a
Eidgenössische Technische Hochschule Zürich
‡2
DNB|004813251
‡3
x500
|
993
|
|
|
‡a
FernUniversität in Hagen
‡2
DNB|000194557
‡3
x500
|
993
|
|
|
‡a
Max-Planck-Institut für Informatik
‡2
DNB|050668412
‡3
x500
|
996
|
|
|
‡2
NUKAT|n 2011202774
|
996
|
|
|
‡2
LC|n 80104645
|
996
|
|
|
‡2
LC|no2016004753
|
996
|
|
|
‡2
SUDOC|075704455
|
996
|
|
|
‡2
RERO|A006512904
|
996
|
|
|
‡2
ISNI|0000000389563856
|
996
|
|
|
‡2
LC|n 86109630
|
996
|
|
|
‡2
DE633|pe30065404
|
996
|
|
|
‡2
NUKAT|n 2012045795
|
996
|
|
|
‡2
ISNI|0000000396865457
|
996
|
|
|
‡2
BNF|12119154
|
996
|
|
|
‡2
RERO|A018575136
|
996
|
|
|
‡2
BIBSYS|90073740
|
996
|
|
|
‡2
RERO|A012408218
|
996
|
|
|
‡2
LC|n 90661565
|
996
|
|
|
‡2
BNF|14599161
|
996
|
|
|
‡2
NKC|jcu2010616583
|
996
|
|
|
‡2
LC|no 95021948
|
996
|
|
|
‡2
RERO|A024238894
|
996
|
|
|
‡2
BNF|13921846
|
996
|
|
|
‡2
SUDOC|067018823
|
996
|
|
|
‡2
NUKAT|n 2015140642
|
996
|
|
|
‡2
NUKAT|n 2010078745
|
996
|
|
|
‡2
ISNI|0000000034499672
|
996
|
|
|
‡2
DE633|pe30043450
|
996
|
|
|
‡2
BIBSYS|90179071
|
996
|
|
|
‡2
SUDOC|273901486
|
996
|
|
|
‡2
KRNLK|KAC200902200
|
996
|
|
|
‡2
SUDOC|197626440
|
996
|
|
|
‡2
LC|no2007074393
|
996
|
|
|
‡2
ISNI|0000000079814568
|
996
|
|
|
‡2
CAOONL|ncf11541239
|
996
|
|
|
‡2
SUDOC|235898503
|
996
|
|
|
‡2
J9U|987012466772505171
|
996
|
|
|
‡2
NTA|068024010
|
996
|
|
|
‡2
BNF|12456377
|
996
|
|
|
‡2
ISNI|0000000489152245
|
996
|
|
|
‡2
NUKAT|n 2006000841
|
996
|
|
|
‡2
BIBSYS|90916053
|
996
|
|
|
‡2
NUKAT|n 2012210628
|
996
|
|
|
‡2
ISNI|0000000081546662
|
996
|
|
|
‡2
RERO|A003624778
|
996
|
|
|
‡2
ISNI|0000000018331511
|
996
|
|
|
‡2
ISNI|0000000118101043
|
996
|
|
|
‡2
NTA|069307296
|
996
|
|
|
‡2
RERO|A027457563
|
996
|
|
|
‡2
NUKAT|n 98003231
|
996
|
|
|
‡2
LC|n 90690874
|
996
|
|
|
‡2
NII|DA11923676
|
996
|
|
|
‡2
BNF|12343951
|
996
|
|
|
‡2
RERO|A025892134
|
996
|
|
|
‡2
ISNI|0000000445123768
|
996
|
|
|
‡2
WKP|Q60297278
|
996
|
|
|
‡2
NUKAT|n 97063799
|
996
|
|
|
‡2
ISNI|0000000025100770
|
996
|
|
|
‡2
SUDOC|103539840
|
996
|
|
|
‡2
ISNI|0000000051813459
|
996
|
|
|
‡2
ISNI|0000000387187981
|
996
|
|
|
‡2
CAOONL|ncf11421174
|
996
|
|
|
‡2
ISNI|0000000511665398
|
996
|
|
|
‡2
LC|n 2002113416
|
996
|
|
|
‡2
SUDOC|130033200
|
996
|
|
|
‡2
B2Q|0000403309
|
996
|
|
|
‡2
NSK|000060891
|
996
|
|
|
‡2
ISNI|0000000392490280
|
996
|
|
|
‡2
J9U|987007329975005171
|
996
|
|
|
‡2
RERO|A003624862
|
996
|
|
|
‡2
NTA|132650959
|
996
|
|
|
‡2
BIBSYS|90584820
|
996
|
|
|
‡2
WKP|Q55194282
|
996
|
|
|
‡2
ISNI|0000000023202597
|
996
|
|
|
‡2
LC|no 98095058
|
996
|
|
|
‡2
SUDOC|131096664
|
996
|
|
|
‡2
BIBSYS|3019202
|
996
|
|
|
‡2
NII|DA11209990
|
996
|
|
|
‡2
SUDOC|084432942
|
996
|
|
|
‡2
NSK|000570839
|
996
|
|
|
‡2
SUDOC|196284619
|
996
|
|
|
‡2
J9U|987007446077005171
|
996
|
|
|
‡2
J9U|987007447894805171
|
996
|
|
|
‡2
BIBSYS|98042512
|
996
|
|
|
‡2
NSK|000358161
|
996
|
|
|
‡2
SUDOC|076768902
|
996
|
|
|
‡2
ISNI|0000000458815464
|
996
|
|
|
‡2
LC|no2001069122
|
996
|
|
|
‡2
RERO|A012473826
|
996
|
|
|
‡2
NKC|pna20201093403
|
996
|
|
|
‡2
NTA|283552301
|
996
|
|
|
‡2
NII|DA1569871X
|
996
|
|
|
‡2
LC|n 91012524
|
996
|
|
|
‡2
WKP|Q57211611
|
996
|
|
|
‡2
NTA|07299889X
|
996
|
|
|
‡2
ISNI|0000000016973166
|
996
|
|
|
‡2
BIBSYS|97037055
|
996
|
|
|
‡2
NII|DA09878874
|
996
|
|
|
‡2
BIBSYS|6070381
|
996
|
|
|
‡2
RERO|A003617998
|
996
|
|
|
‡2
RERO|A003617999
|
996
|
|
|
‡2
RERO|A003617997
|
996
|
|
|
‡2
B2Q|0000403494
|
996
|
|
|
‡2
NTA|072012730
|
996
|
|
|
‡2
NUKAT|n 2019219223
|
996
|
|
|
‡2
ISNI|0000000107968987
|
996
|
|
|
‡2
ISNI|0000000418417875
|
996
|
|
|
‡2
SUDOC|11153223X
|
996
|
|
|
‡2
NDL|00931957
|
996
|
|
|
‡2
SUDOC|259378046
|
996
|
|
|
‡2
PLWABN|9810556837305606
|
996
|
|
|
‡2
BNF|12403027
|
996
|
|
|
‡2
ISNI|0000000489806739
|
996
|
|
|
‡2
RERO|A009645469
|
996
|
|
|
‡2
NSK|000581292
|
996
|
|
|
‡2
NUKAT|n 2021009039
|
996
|
|
|
‡2
NTA|381100901
|
996
|
|
|
‡2
BNF|14458092
|
996
|
|
|
‡2
ISNI|000000039150365X
|
996
|
|
|
‡2
LC|no2011078893
|
996
|
|
|
‡2
RERO|A016476137
|
996
|
|
|
‡2
NUKAT|n 2018090606
|
996
|
|
|
‡2
ISNI|0000000005280970
|
996
|
|
|
‡2
LC|no2018155284
|
996
|
|
|
‡2
BIBSYS|90248622
|
996
|
|
|
‡2
NII|DA06195911
|
996
|
|
|
‡2
BNC|981058521637506706
|
996
|
|
|
‡2
WKP|Q3388021
|
996
|
|
|
‡2
WKP|Q83957886
|
996
|
|
|
‡2
NII|DA00381254
|
996
|
|
|
‡2
WKP|Q99395370
|
996
|
|
|
‡2
RERO|A018984169
|
996
|
|
|
‡2
LC|n 82254669
|
996
|
|
|
‡2
ISNI|0000000399292471
|
996
|
|
|
‡2
CAOONL|ncf11413358
|
996
|
|
|
‡2
PTBNP|49824
|
996
|
|
|
‡2
CAOONL|ncf10010428
|
996
|
|
|
‡2
WKP|Q47453188
|
996
|
|
|
‡2
NTA|19505704X
|
996
|
|
|
‡2
BAV|495_221773
|
996
|
|
|
‡2
RERO|A023006439
|
996
|
|
|
‡2
LC|n 80016198
|
996
|
|
|
‡2
NUKAT|n 2020023527
|
996
|
|
|
‡2
SUDOC|029585465
|
996
|
|
|
‡2
PLWABN|9810689972705606
|
996
|
|
|
‡2
W2Z|1634281491829
|
996
|
|
|
‡2
SUDOC|110069498
|
996
|
|
|
‡2
WKP|Q88679895
|
996
|
|
|
‡2
ISNI|0000000032635319
|
996
|
|
|
‡2
ISNI|0000000023508668
|
996
|
|
|
‡2
NII|DA11634293
|
996
|
|
|
‡2
ISNI|0000000109699901
|
996
|
|
|
‡2
RERO|A011376990
|
996
|
|
|
‡2
NTA|303445254
|
996
|
|
|
‡2
NUKAT|n 97030630
|
996
|
|
|
‡2
WKP|Q76813310
|
996
|
|
|
‡2
NKC|hka20211129631
|
996
|
|
|
‡2
LC|nr 91001324
|
996
|
|
|
‡2
BIBSYS|90700709
|
996
|
|
|
‡2
ISNI|000000000497695X
|
996
|
|
|
‡2
ISNI|0000000395281687
|
996
|
|
|
‡2
SUDOC|199228124
|
996
|
|
|
‡2
WKP|Q39744235
|
996
|
|
|
‡2
WKP|Q11815890
|
996
|
|
|
‡2
ISNI|0000000394933436
|
996
|
|
|
‡2
PLWABN|9810615155805606
|
996
|
|
|
‡2
LC|no2023108312
|
996
|
|
|
‡2
BIBSYS|2065090
|
996
|
|
|
‡2
NTA|357312082
|
996
|
|
|
‡2
LC|n 2017033893
|
996
|
|
|
‡2
ISNI|0000000108858528
|
996
|
|
|
‡2
RERO|A017687158
|
996
|
|
|
‡2
ISNI|0000000045170055
|
996
|
|
|
‡2
RERO|A003624679
|
996
|
|
|
‡2
RERO|A003624771
|
996
|
|
|
‡2
NUKAT|n 2007100934
|
996
|
|
|
‡2
BIBSYS|7050954
|
996
|
|
|
‡2
SUDOC|131890980
|
996
|
|
|
‡2
WKP|Q89520362
|
996
|
|
|
‡2
RERO|A011053899
|
996
|
|
|
‡2
ISNI|0000000108908281
|
996
|
|
|
‡2
PLWABN|9812801969605606
|
996
|
|
|
‡2
BNF|15857194
|
996
|
|
|
‡2
RERO|A017119981
|
996
|
|
|
‡2
LC|n 2006027181
|
996
|
|
|
‡2
BIBSYS|90634416
|
996
|
|
|
‡2
LC|n 88181788
|
996
|
|
|
‡2
SUDOC|146657764
|
996
|
|
|
‡2
BLBNB|000302968
|
996
|
|
|
‡2
BLBNB|000302969
|
996
|
|
|
‡2
NII|DA00491150
|
996
|
|
|
‡2
ISNI|0000000012230533
|
996
|
|
|
‡2
BNF|15082886
|
996
|
|
|
‡2
NTA|071990836
|
996
|
|
|
‡2
NTA|109454715
|
996
|
|
|
‡2
ISNI|0000000028719122
|
996
|
|
|
‡2
ISNI|0000000393528738
|
996
|
|
|
‡2
NII|DA10070738
|
996
|
|
|
‡2
NTA|070729565
|
996
|
|
|
‡2
LIH|LNB:BW6_p_;=B_l_
|
996
|
|
|
‡2
NTA|071056068
|
996
|
|
|
‡2
BIBSYS|99014044
|
996
|
|
|
‡2
NTA|166613835
|
996
|
|
|
‡2
RERO|A012397382
|
996
|
|
|
‡2
NUKAT|n 2006143862
|
996
|
|
|
‡2
NTA|238497690
|
996
|
|
|
‡2
ISNI|0000000391180037
|
996
|
|
|
‡2
LC|no2019019003
|
996
|
|
|
‡2
SUDOC|253641381
|
996
|
|
|
‡2
NUKAT|n 99014763
|
996
|
|
|
‡2
RERO|A012317093
|
996
|
|
|
‡2
LC|n 87128973
|
996
|
|
|
‡2
BIBSYS|6053158
|
996
|
|
|
‡2
DBC|87097991642808
|
996
|
|
|
‡2
RERO|A003616857
|
996
|
|
|
‡2
ISNI|0000000451058106
|
996
|
|
|
‡2
LC|no2009103708
|
996
|
|
|
‡2
DBC|870979137565625
|
996
|
|
|
‡2
SZ|1116486547
|
996
|
|
|
‡2
LC|no 98007774
|
996
|
|
|
‡2
NII|DA08708369
|
996
|
|
|
‡2
NSK|000570821
|
996
|
|
|
‡2
NSK|000747922
|
996
|
|
|
‡2
LC|n 2001118810
|
996
|
|
|
‡2
J9U|987007274532005171
|
996
|
|
|
‡2
CAOONL|ncf10427958
|
996
|
|
|
‡2
LC|no2019145129
|
996
|
|
|
‡2
NUKAT|n 2004077492
|
996
|
|
|
‡2
BNF|14123571
|
996
|
|
|
‡2
SUDOC|255367473
|
996
|
|
|
‡2
NTA|075259354
|
996
|
|
|
‡2
LC|n 85200793
|
996
|
|
|
‡2
RERO|A011558182
|
996
|
|
|
‡2
NTA|070140057
|
996
|
|
|
‡2
ISNI|0000000449407266
|
996
|
|
|
‡2
ISNI|0000000116517256
|
996
|
|
|
‡2
BNF|14965709
|
996
|
|
|
‡2
NUKAT|n 2017001620
|
996
|
|
|
‡2
NSK|000381589
|
996
|
|
|
‡2
NII|DA01512700
|
996
|
|
|
‡2
SUDOC|135448271
|
996
|
|
|
‡2
BIBSYS|6087989
|
996
|
|
|
‡2
LC|no2023102372
|
996
|
|
|
‡2
ISNI|0000000005192073
|
996
|
|
|
‡2
RERO|A012366716
|
996
|
|
|
‡2
ISNI|0000000018972116
|
996
|
|
|
‡2
LC|n 88058466
|
996
|
|
|
‡2
ISNI|0000000491043099
|
996
|
|
|
‡2
PTBNP|244832
|
996
|
|
|
‡2
WKP|Q42849171
|
996
|
|
|
‡2
ISNI|0000000444775588
|
996
|
|
|
‡2
ISNI|0000000032770836
|
996
|
|
|
‡2
LC|no2008067621
|
997
|
|
|
‡a
1972 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Müller, Peter,
‡2
RERO|A013174248
‡3
standard number
|
998
|
|
|
‡a
Müller, Peter
‡2
BIBSYS|90052900
‡3
standard number
|
998
|
|
|
‡a
Müller, Peter
‡2
ISNI|0000000040399766
‡3
partial date, publisher
|
998
|
|
|
‡a
Müller, Peter
‡c
informatica
‡2
ISNI|0000000040399766
‡3
partial date, publisher
|
998
|
|
|
‡a
Muller, P.
‡2
ISNI|0000000040399766
‡3
partial date, publisher
|
998
|
|
|
‡a
Müller, Peter
‡2
ISNI|0000000040399766
‡3
partial date, publisher
|
998
|
|
|
‡a
Müller, Peter
‡2
ISNI|0000000040399766
‡3
partial date, publisher
|
998
|
|
|
‡a
Müller, Peter
‡c
informaticien
‡2
ISNI|0000000040399766
‡3
partial date, publisher
|
998
|
|
|
‡a
Müller
‡b
Peter
‡c
informaticien
‡2
BNF|14123917
‡3
standard number
|
998
|
|
|
‡a
Müller, Peter
‡2
SZ|12391356X
‡3
suggested
‡3
standard number
|
998
|
|
|
‡a
Müller
‡b
Peter
‡2
BNF|15023964
‡3
exact title: (1.00, 'modularspecificationandverificationofobjectorientedprograms', 'modularspecificationandverificationofobjectorientedprograms')
|
998
|
|
|
‡a
Müller, Peter,
‡c
informaticien
‡2
SUDOC|069095205
‡3
standard number
|
998
|
|
|
‡a
Müller, Peter,
‡c
informatica,
‡2
NTA|195495616
‡3
standard number
|
998
|
|
|
‡a
Müller
‡b
Peter
‡2
LIH|LNB:BA_a___;=BE
‡3
exact name
|
998
|
|
|
‡a
Müller, Peter,
‡2
J9U|987007453511205171
‡3
exact title: (1.00, 'modularspecificationandverificationofobjectorientedprograms', 'modularspecificationandverificationofobjectorientedprograms')
|
998
|
|
|
‡a
Müller, Peter
‡2
RERO|A003624246
‡3
standard number
|
998
|
|
|
‡a
Müller, Peter
‡c
informaticien
‡2
ISNI|0000000002990424
‡3
joint author: (1.00, 'louis dirk', 'louis dirk')
|
998
|
|
|
‡a
Müller, Peter,
‡2
BNC|981058528725106706
‡3
partial date, publisher
|
998
|
|
|
‡a
Müller, Peter,
‡2
LC|no2002039849
‡3
standard number
|
998
|
|
|
‡a
Müller, Peter,
‡2
CAOONL|ncf11603373
‡3
exact title: (1.00, 'modularspecificationandverificationofobjectorientedprograms', 'modularspecificationandverificationofobjectorientedprograms')
|
998
|
|
|
‡a
Peter Müller
‡c
deutscher Informatiker
‡2
WKP|Q102292653
‡3
suggested
‡3
standard number
|
999
|
|
|
‡2
DDB|1019218258
|
999
|
|
|
‡2
BVB|76213731
|
999
|
|
|
‡2
BVB|75944470
|
999
|
|
|
‡2
BVB|756366370
|
999
|
|
|
‡2
BVB|76405051
|
999
|
|
|
‡2
DDB|1127894080
|
999
|
|
|
‡2
BVB|75725268
|
999
|
|
|
‡2
DDB|960950648
|
999
|
|
|
‡2
BVB|76447840
|
999
|
|
|
‡2
DDB|947508090
|
999
|
|
|
‡2
DDB|962786659
|
999
|
|
|
‡2
BVB|258733999
|
999
|
|
|
‡2
BVB|75778088
|
999
|
|
|
‡2
BVB|162257749
|
999
|
|
|
‡2
BVB|985980662
|
999
|
|
|
‡2
BVB|160075076
|
999
|
|
|
‡2
DDB|1128158442
|
999
|
|
|
‡2
BVB|76105685
|
999
|
|
|
‡2
DDB|952262088
|
999
|
|
|
‡2
DDB|1018059717
|
999
|
|
|
‡2
BVB|163439618
|
999
|
|
|
‡2
BVB|76571158
|
999
|
|
|
‡2
DDB|1140224530
|
999
|
|
|
‡2
BVB|76619309
|
999
|
|
|
‡2
BVB|180138497
|
999
|
|
|
‡2
BVB|76673666
|
999
|
|
|
‡2
DDB|965515591
|
999
|
|
|
‡2
BVB|76194911
|
999
|
|
|
‡2
DDB|963457063
|
999
|
|
|
‡2
BVB|76207181
|
999
|
|
|
‡2
DDB|1148748601
|
999
|
|
|
‡2
BVB|767877334
|
999
|
|
|
‡2
DDB|953442837
|
999
|
|
|
‡2
DDB|953589943
|