VIAF

Virtual International Authority File

Search

Leader 00000nz a2200037n 45 0
001 DNB|133193489 (VIAF cluster) (Authority/Source Record)
003 DNB
005 20080406113738.0
008 070720n||aznnnabbn | aaa |c
035 ‎‡a (DNB)133193489‏
024 7 ‎‡a http://d-nb.info/gnd/133193489‏ ‎‡2 uri‏
035 ‎‡a (DE-101)133193489‏
035 ‎‡a (DE-588)133193489‏
035 ‎‡z (DE-588a)133193489‏ ‎‡9 v:zg‏
040 ‎‡a DE-101‏ ‎‡9 r:DE-101‏ ‎‡b ger‏ ‎‡d 1240‏
043 ‎‡c XA-DE‏
079 ‎‡a g‏ ‎‡b p‏ ‎‡c 1‏ ‎‡q f‏ ‎‡u v‏ ‎‡v piz‏
100 1 ‎‡a Schneider, Klaus‏ ‎‡d 1967-‏
510 2 ‎‡0 (DE-101)007110391‏ ‎‡0 (DE-588)2059099-4‏ ‎‡a Universität Kaiserslautern‏ ‎‡b Fachbereich Informatik‏ ‎‡9 4:affi‏ ‎‡w r‏ ‎‡i Affiliation‏ ‎‡e Affiliation‏
548 ‎‡a 1967-‏ ‎‡9 4:datl‏ ‎‡w r‏ ‎‡i Lebensdaten‏
548 ‎‡a 04.02.1967-‏ ‎‡9 4:datx‏ ‎‡w r‏ ‎‡i Exakte Lebensdaten‏
550 ‎‡a Prof., Dr. rer. nat.‏ ‎‡9 4:akad‏ ‎‡w r‏ ‎‡i Akademischer Grad‏
550 ‎‡0 (DE-101)041393953‏ ‎‡0 (DE-588)4139395-8‏ ‎‡a Informatiker‏ ‎‡9 4:berc‏ ‎‡w r‏ ‎‡i Charakteristischer Beruf‏
551 ‎‡0 (DE-101)040292614‏ ‎‡0 (DE-588)4029261-7‏ ‎‡a Kaiserslautern‏ ‎‡9 4:ortw‏ ‎‡w r‏ ‎‡i Wirkungsort‏
670 ‎‡a LCAuth‏
901 ‎‡a 978354000296‏ ‎‡9 1‏
901 ‎‡a 978354074590‏ ‎‡9 1‏
901 ‎‡a 978354074591‏ ‎‡9 1‏
901 ‎‡a 978380074945‏ ‎‡9 1‏
901 ‎‡a 978366210778‏ ‎‡9 1‏
910 ‎‡a towardscodegenerationforthesynchronouscontrolasynchronousdataflowscadarchitectures‏ ‎‡A Towards code generation for the synchronous control asynchronous dataflow (SCAD) architectures‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a verificationofreactivesystemsformalmethodsandalgorithms‏ ‎‡A Verification of reactive systems‏ ‎‡b formal methods and algorithms‏ ‎‡l eng‏ ‎‡9 2‏
910 ‎‡a theoremprovinginhigherorderlogics20internationalconferenceproceedings‏ ‎‡A Theorem proving in higher order logics‏ ‎‡b 20th international conference; proceedings‏ ‎‡l eng‏ ‎‡9 2‏
910 ‎‡a routingpartialpermutationsingeneralinterconnectionnetworksbasedonradixsorting‏ ‎‡A Routing Partial Permutations in General Interconnection Networks based on Radix Sorting‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a verificationofbehaviorbasedcontrolsystemsintheirphysicalenvironment‏ ‎‡A Verification of behavior-based control systems in their physical environment‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a mbmv201922workshopmethodenundbeschreibungssprachenzurmodellierungundverifikationvonschaltungenundsystemen89aprilinkaiserlautern‏ ‎‡A MBMV 2019‏ ‎‡b 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”: 8.-9. April in Kaiserlautern‏ ‎‡l ger‏ ‎‡9 2‏
920 ‎‡a 978-35400‏ ‎‡9 1‏
920 ‎‡a 978-35407‏ ‎‡9 2‏
920 ‎‡a 978-38007‏ ‎‡9 1‏
920 ‎‡a 978-36621‏ ‎‡9 1‏
921 ‎‡a universitat‏ ‎‡b Universität‏ ‎‡9 2‏
921 ‎‡a springer‏ ‎‡b Springer‏ ‎‡9 3‏
921 ‎‡a universitatsbibliothek tubingen‏ ‎‡b Universitätsbibliothek Tübingen‏ ‎‡9 1‏
921 ‎‡a vde verlag gmbh‏ ‎‡b VDE VERLAG GMBH‏ ‎‡9 1‏
921 ‎‡a springer berlin heidelberg‏ ‎‡b Springer Berlin Heidelberg‏ ‎‡9 1‏
921 ‎‡a deutsche nationalbibliothek‏ ‎‡b Deutsche Nationalbibliothek‏ ‎‡9 1‏
922 ‎‡a gw‏ ‎‡b de‏ ‎‡9 9‏
930 ‎‡a klaus schneider‏ ‎‡c Klaus Schneider‏ ‎‡9 6‏
940 ‎‡a eng‏ ‎‡9 12‏
940 ‎‡a ger‏ ‎‡9 6‏
941 ‎‡a aut‏ ‎‡4 aut‏ ‎‡9 3‏
941 ‎‡a verfasser‏ ‎‡e Verfasser‏ ‎‡9 3‏
941 ‎‡a hrsg‏ ‎‡e Hrsg.‏ ‎‡9 1‏
941 ‎‡a edt‏ ‎‡4 edt‏ ‎‡9 3‏
941 ‎‡a mitwirkender‏ ‎‡e Mitwirkender‏ ‎‡9 1‏
941 ‎‡a ctb‏ ‎‡4 ctb‏ ‎‡9 1‏
941 ‎‡a herausgeber‏ ‎‡e Herausgeber‏ ‎‡9 2‏
943 ‎‡a 201x‏ ‎‡9 4‏
943 ‎‡a 200x‏ ‎‡9 4‏
944 ‎‡a am‏ ‎‡9 9‏
947 ‎‡a DE‏ ‎‡9 1‏
950 ‎‡a wimmer ralf‏ ‎‡A Wimmer, Ralf‏ ‎‡9 2‏
950 ‎‡a jain tripti‏ ‎‡A Jain, Tripti‏ ‎‡9 2‏
950 ‎‡a bhagyanath anoop‏ ‎‡A Bhagyanath, Anoop‏ ‎‡9 1‏
950 ‎‡a ropertz thorsten‏ ‎‡A Ropertz, Thorsten‏ ‎‡9 1‏
950 ‎‡a li xian‏ ‎‡A Li, Xian‏ ‎‡9 1‏
950 ‎‡a berns karsten‏ ‎‡A Berns, Karsten‏ ‎‡9 1‏
950 ‎‡a zivkovic carna‏ ‎‡A Zivkovic, Carna‏ ‎‡9 2‏
950 ‎‡a grimm christoph‏ ‎‡A Grimm, Christoph‏ ‎‡9 2‏
993 ‎‡a Universität Kaiserslautern‏ ‎‡b Fachbereich Informatik‏ ‎‡2 DNB|007110391‏ ‎‡3 x500‏
996 ‎‡2 BNF|13617233‏
996 ‎‡2 WKP|Q88144488‏
996 ‎‡2 N6I|vtls000322283‏
996 ‎‡2 SUDOC|224526235‏
996 ‎‡2 LC|n 85246663‏
996 ‎‡2 NTA|067557694‏
996 ‎‡2 NKC|jo20191039888‏
996 ‎‡2 NII|DA14582265‏
996 ‎‡2 NII|DA13838705‏
996 ‎‡2 NII|DA07407899‏
996 ‎‡2 RERO|A017008162‏
996 ‎‡2 NUKAT|n 2004019713‏
996 ‎‡2 BNF|14135834‏
996 ‎‡2 SUDOC|262645955‏
996 ‎‡2 ISNI|0000000409660697‏
996 ‎‡2 NUKAT|n 2010091232‏
996 ‎‡2 DBC|87097947990068‏
996 ‎‡2 LC|n 79033655‏
996 ‎‡2 LC|n 2010007470‏
996 ‎‡2 RERO|A003803250‏
996 ‎‡2 BNF|12179086‏
996 ‎‡2 J9U|987007314987705171‏
996 ‎‡2 J9U|987012502708805171‏
996 ‎‡2 PLWABN|9810662958005606‏
996 ‎‡2 ISNI|0000000381916717‏
996 ‎‡2 NUKAT|n 2015168101‏
996 ‎‡2 RERO|A003803380‏
996 ‎‡2 LC|n 92114925‏
996 ‎‡2 RERO|A003803385‏
996 ‎‡2 RERO|A012311540‏
996 ‎‡2 BIBSYS|90888590‏
996 ‎‡2 ISNI|0000000024214872‏
996 ‎‡2 BNF|15694555‏
996 ‎‡2 NTA|151504849‏
996 ‎‡2 NTA|070906793‏
996 ‎‡2 ISNI|0000000355982710‏
996 ‎‡2 RERO|A003803276‏
996 ‎‡2 RERO|A003803274‏
996 ‎‡2 RERO|A003803275‏
996 ‎‡2 RERO|A003803273‏
996 ‎‡2 RERO|A012340252‏
996 ‎‡2 LC|n 90726959‏
996 ‎‡2 SUDOC|067228615‏
996 ‎‡2 ISNI|0000000117553267‏
996 ‎‡2 RERO|A003802862‏
996 ‎‡2 BIBSYS|98053282‏
996 ‎‡2 NTA|285636928‏
996 ‎‡2 ISNI|0000000022044398‏
996 ‎‡2 NTA|388651679‏
996 ‎‡2 RERO|A003802903‏
996 ‎‡2 RERO|A003802902‏
996 ‎‡2 PLWABN|9810606862005606‏
996 ‎‡2 LC|no2016050962‏
996 ‎‡2 SUDOC|198227116‏
996 ‎‡2 SUDOC|077038053‏
996 ‎‡2 ISNI|0000000117261619‏
996 ‎‡2 RERO|A012457712‏
996 ‎‡2 NSK|000745783‏
996 ‎‡2 NUKAT|n 2013186723‏
996 ‎‡2 ISNI|0000000001662381‏
996 ‎‡2 BIBSYS|90956444‏
996 ‎‡2 RERO|A003803606‏
996 ‎‡2 NUKAT|n 2020205446‏
996 ‎‡2 RERO|A014111131‏
996 ‎‡2 LC|n 80163402‏
996 ‎‡2 DE633|pe197364‏
996 ‎‡2 LC|n 81145673‏
996 ‎‡2 ISNI|0000000072616307‏
996 ‎‡2 ISNI|000000004981580X‏
996 ‎‡2 SUDOC|108535134‏
996 ‎‡2 DE633|pe30105377‏
996 ‎‡2 LC|n 2004151059‏
996 ‎‡2 NTA|072282800‏
996 ‎‡2 SUDOC|069755124‏
996 ‎‡2 BIBSYS|4044052‏
996 ‎‡2 ISNI|0000000116560035‏
996 ‎‡2 SUDOC|132426994‏
996 ‎‡2 BIBSYS|1512647515011‏
996 ‎‡2 ISNI|0000000425569519‏
996 ‎‡2 NSK|000426178‏
996 ‎‡2 NUKAT|n 2005012137‏
996 ‎‡2 NTA|183076168‏
996 ‎‡2 NTA|12695609X‏
996 ‎‡2 SUDOC|23620999X‏
996 ‎‡2 NII|DA12769378‏
996 ‎‡2 NUKAT|n 2004035747‏
996 ‎‡2 ISNI|0000000117774561‏
996 ‎‡2 WKP|Q104639071‏
996 ‎‡2 ISNI|0000000081192358‏
996 ‎‡2 NUKAT|n 2008059250‏
996 ‎‡2 RERO|A012344905‏
996 ‎‡2 NUKAT|n 2010075759‏
996 ‎‡2 CAOONL|ncf11872785‏
996 ‎‡2 NII|DA10304613‏
996 ‎‡2 RERO|A003803612‏
996 ‎‡2 BNC|981060981535506706‏
996 ‎‡2 LC|n 2009078562‏
996 ‎‡2 NUKAT|n 2017215228‏
996 ‎‡2 LC|no2018173777‏
996 ‎‡2 LC|n 79143693‏
996 ‎‡2 NUKAT|n 2006044531‏
996 ‎‡2 ISNI|0000000068488672‏
996 ‎‡2 NUKAT|n 2013052460‏
996 ‎‡2 WKP|Q87755367‏
996 ‎‡2 SUDOC|273883356‏
996 ‎‡2 SIMACOB|80361571‏
996 ‎‡2 NTA|370129695‏
996 ‎‡2 BAV|495_391520‏
996 ‎‡2 NSK|000070526‏
996 ‎‡2 DBC|87097919477843‏
996 ‎‡2 DE633|pe41001870‏
996 ‎‡2 NTA|261608304‏
996 ‎‡2 BNF|12198435‏
996 ‎‡2 ISNI|0000000027854576‏
996 ‎‡2 BNF|12638254‏
996 ‎‡2 LC|n 2024057973‏
996 ‎‡2 NTA|075198037‏
996 ‎‡2 PLWABN|9810632817105606‏
996 ‎‡2 SUDOC|181717565‏
996 ‎‡2 LC|n 50004593‏
996 ‎‡2 LC|no2016010836‏
996 ‎‡2 RERO|A012448046‏
996 ‎‡2 NII|DA10847743‏
996 ‎‡2 LC|nb2006023858‏
996 ‎‡2 ICCU|CUBV059797‏
996 ‎‡2 J9U|987007393788805171‏
996 ‎‡2 NUKAT|n 2004005779‏
996 ‎‡2 NUKAT|n 2008086577‏
996 ‎‡2 NUKAT|n 2004253931‏
996 ‎‡2 PLWABN|9810545883005606‏
996 ‎‡2 ISNI|0000000394731674‏
996 ‎‡2 ISNI|000000050743743X‏
996 ‎‡2 CAOONL|ncf11209051‏
996 ‎‡2 BIBSYS|90071978‏
996 ‎‡2 NTA|138768129‏
996 ‎‡2 NTA|098866672‏
996 ‎‡2 LC|n 79112199‏
996 ‎‡2 RERO|A012384124‏
996 ‎‡2 RERO|A006130321‏
996 ‎‡2 NKC|stk2008428876‏
996 ‎‡2 ISNI|0000000003340028‏
996 ‎‡2 ISNI|0000000020894428‏
996 ‎‡2 RERO|A011254246‏
996 ‎‡2 RERO|A016655823‏
996 ‎‡2 LC|n 2024050407‏
996 ‎‡2 WKP|Q64991461‏
996 ‎‡2 NUKAT|n 2002012081‏
996 ‎‡2 SUDOC|187748950‏
996 ‎‡2 ISNI|0000000032130687‏
996 ‎‡2 WKP|Q47502782‏
996 ‎‡2 ISNI|0000000397200123‏
996 ‎‡2 SUDOC|087808129‏
996 ‎‡2 PLWABN|9812080273705606‏
996 ‎‡2 LC|nb2003094258‏
996 ‎‡2 SUDOC|076003477‏
996 ‎‡2 ISNI|0000000423863853‏
996 ‎‡2 LC|n 82012852‏
996 ‎‡2 NTA|068986009‏
996 ‎‡2 PTBNP|1276878‏
996 ‎‡2 NYNYRILM|232164‏
996 ‎‡2 SUDOC|079165591‏
996 ‎‡2 WKP|Q102970168‏
996 ‎‡2 PLWABN|9810704897605606‏
996 ‎‡2 SUDOC|253257565‏
997 ‎‡a 1967 0 lived 0 0‏ ‎‡9 1‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 NKC|stk2008428876‏ ‎‡3 exact name‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 SUDOC|089817524‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 RERO|A016871352‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 J9U|987007434122805171‏ ‎‡3 title: (0.84, 'verificationofreactivesystemsformalmethodsandalgorithms', 'verificationofreactivesystems')‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 LC|n 2003015228‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 NUKAT|n 2006124084‏ ‎‡3 viafid‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 BIBSYS|4072868‏ ‎‡3 viafid‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 CAOONL|ncf11457162‏ ‎‡3 title: (0.84, 'verificationofreactivesystems', 'verificationofreactivesystemsformalmethodsandalgorithms')‏
998 ‎‡a Schneider‏ ‎‡b Klaus‏ ‎‡2 BNF|15026423‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus,‏ ‎‡2 BNC|981058516596006706‏ ‎‡3 standard number‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 ISNI|0000000110600980‏ ‎‡3 partial date, publisher‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 ISNI|0000000110600980‏ ‎‡3 partial date, publisher‏
998 ‎‡a Schneider, Klaus‏ ‎‡2 ISNI|0000000110600980‏ ‎‡3 partial date, publisher‏
998 ‎‡a Klaus Schneider‏ ‎‡2 WKP|Q102970168‏ ‎‡3 suggested‏
999 ‎‡2 DDB|1264794169‏
999 ‎‡2 DDB|111971785X‏
999 ‎‡2 DDB|119900944X‏
999 ‎‡2 DDB|985291613‏
999 ‎‡2 DDB|1119717930‏
999 ‎‡2 DDB|966197895‏
999 ‎‡2 DDB|102975019X‏
999 ‎‡2 DDB|987339036‏
999 ‎‡2 DDB|1184166579‏