常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
Wiley电子期刊(5)SpringerLink电子期刊(44)GSW全文库(6)ACS电子期刊(16)
Springer电子图书(1)NATURE电子期刊(29)Elsevier电子期刊(276)
在“SpringerLink电子期刊”中，命中：44条，耗时：0.0979512 秒

在所有数据库中总计命中：377条

1. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)
刊名：International Journal on Software Tools for Technology Transfer
出版年：2017
3. Refinement Selection
刊名：Lecture Notes in Computer Science
出版年：2015
9. Technical design report for the $\overline{P}$ ANDA (Anti
作者：W. Erni (1) <br> I. Keshelashvili (1) <br> B. Krusche (1) <br> M. Steinacher (1) <br> Y. Heng (2) <br> Z. Liu (2) <br> H. Liu (2) <br> X. Shen (2) <br> Q. Wang (2) <br> H. Xu (2) <br> A. Aab (3) <br> M. Albrecht (3) <br> J. Becker (3) <br> A. Csapó (3) <br> F. Feldbauer (3) <br> M. Fink (3) <br> P. Friedel (3) <br> F. H. Heinsius (3) <br> T. Held (3) <br> L. Klask (3) <br> H. Koch (3) <br> B. Kopf (3) <br> S. Leiber (3) <br> M. Leyhe (3) <br> C. Motzko (3) <br> M. Peliz?us (3) <br> J. Pychy (3) <br> B. Roth (3) <br> T. Schr?der (3) <br> J. Schulze (3) <br> C. Sowa (3) <br> M. Steinke (3) <br> T. Trifterer (3) <br> U. Wiedner (3) <br> J. Zhong (3) <br> R. Beck (4) <br> S. Bianco (4) <br> K. T. Brinkmann (4) <br> C. Hammann (4) <br> F. Hinterberger (4) <br> D. Kaiser (4) <br> R. Kliemt (4) <br> M. Kube (4) <br> A. Pitka (4) <br> T. Quagli (4) <br> C. Schmidt (4) <br> R. Schmitz (4) <br> R. Schnell (4) <br> U. Thoma (4) <br> P. Vlasov (4) <br> D. Walther (4) <br> C. Wendel (4) <br> T. Würschig (4) <br> H. G. Zaunick (4) <br> A. Bianconi (5) <br> M. Bragadireanu (6) <br> M. Caprini (6) <br> D. Pantea (6) <br> D. Pantelica (6) <br> D. Pietreanu (6) <br> L. Serbina (6) <br> P. D. Tarta (6) <br> D. Kaplan (7) <br> T. Fiutowski (8) <br> M. Idzik (8) <br> B. Mindur (8) <br> D. Przyborowski (8) <br> K. Swientek (8) <br> B. Czech (9) <br> M. Kistryn (9) <br> S. Kliczewski (9) <br> A. Kozela (9) <br> P. Kulessa (9) <br> P. Lebiedowicz (9) <br> K. Pysz (9) <br> W. Sch?fer (9) <br> R. Siudak (9) <br> A. Szczurek (9) <br> S. Jowzaee (10) <br> M. Kajetanowicz (10) <br> B. Kamys (10) <br> S. Kistryn (10) <br> G. Korcyl (10) <br> K. Korcyl (10) <br> W. Krzemien (10) <br> A. Magiera (10) <br> P. Moskal (10) <br> M. Palka (10) <br> Z. Rudy (10) <br> P. Salabura (10) <br> J. Smyrski (10) <br> A. Wrońska (10) <br> I. Augustin (11) <br> I. Lehmann (11) <br> D. Nimorus (11) <br> G. Schepers (11) <br> M. Al-Turany (12) <br> R. Arora (12) <br> H. Deppe (12) <br> H. Flemming (12) <br> A. Gerhardt (12) <br> K. G?tzen (12) <br> A. F. Jordi (12) <br> G. Kalicy (12) <br> R. Karabowicz (12) <br> D. Lehmann (12) <br> B. Lewandowski (12) <br> J. Lühning (12) <br> F. Maas (12) <br> H. Orth (12) <br> M. Patsyuk (12) <br> K. Peters (12) <br> T. Saito (12) <br> G. Schepers (12) <br> C. J. Schmidt (12) <br> L. Schmitt (12) <br> C. Schwarz (12) <br> J. Schwiening (12) <br> M. Traxler (12) <br> B. Voss (12) <br> P. Wieczorek (12) <br> A. Wilms (12) <br> M. Zühlsdorf (12) <br> V. M. Abazov (13) <br> G. Alexeev (13) <br> A. Arefiev (13) <br> V. I. Astakhov (13) <br> M. Yu. Barabanov (13) <br> B. V. Batyunya (13) <br> Yu. I. Davydov (13) <br> V. Kh. Dodokhov (13) <br> A. A. Efremov (13) <br> A. G. Fedunov (13) <br> A. A. Festchenko (13) <br> A. S. Galoyan (13) <br> S. Grigoryan (13) <br> A. Karmokov (13) <br> E. K. Koshurnikov (13) <br> V. I. Lobanov (13) <br> Yu. Yu. Lobanov (13) <br> A. F. Makarov (13) <br> L. V. Malinina (13) <br> V. L. Malyshev (13) <br> G. A. Mustafaev (13) <br> A. Olshevskiy (13) <br> M. A. Pasyuk (13) <br> E. A. Perevalova (13) <br> A. A. Piskun (13) <br> T. A. Pocheptsov (13) <br> G. Pontecorvo (13) <br> V. K. Rodionov (13) <br> Yu. N. Rogov (13) <br> R. A. Salmin (13) <br> A. G. Samartsev (13) <br> M. G. Sapozhnikov (13) <br> G. S. Shabratova (13) <br> A. N. Skachkova (13) <br> N. B. Skachkov (13) <br> E. A. Strokovsky (13) <br> M. K. Suleimanov (13) <br> R. Sh. Teshev (13) <br> V. V. Tokmenin (13) <br> V. V. Uzhinsky (13) <br> A. S. Vodopyanov (13) <br> S. A. Zaporozhets (13) <br> N. I. Zhuravlev (13) <br> A. G. Zorin (13) <br> D. Branford (14) <br> D. Glazier (14) <br> D. Watts (14) <br> P. Woods (14) <br> A. Britting (15) <br> W. Eyrich (15) <br> A. Lehmann (15) <br> F. Uhlig (15) <br> S. Dobbs (16) <br> Z. Metreveli (16) <br> K. Seth (16) <br> A. Tomaradze (16) <br> T. Xiao (16) <br> D. Bettoni (17) <br> V. Carassiti (17) <br> A. Cotta Ramusino (17) <br> P. Dalpiaz (17) <br> A. Drago (17) <br> E. Fioravanti (17) <br> I. Garzia (17) <br> M. Savriè (17) <br> G. Stancari (17) <br> N. Bianchi (18) <br> P. Gianotti (18) <br> C. Guaraldo (18) <br> V. Lucherini (18) <br> D. Orecchini (18) <br> E. Pace (18) <br> A. Bersani (19) <br> G. Bracco (19) <br> M. Macri (19) <br> R. F. Parodi (19) <br> D. Bremer (20) <br> V. Dormenev (20) <br> P. Drexler (20) <br> M. Düren (20) <br> T. Eissner (20) <br> K. F?hl (20) <br> M. Galuska (20) <br> T. Gessler (20) <br> A. Hayrapetyan (20) <br> J. Hu (20) <br> P. Koch (20) <br> B. Kr?ck (20) <br> W. Kühn (20) <br> S. Lange (20) <br> Y. Liang (20) <br> O. Merle (20) <br> V. Metag (20) <br> M. Moritz (20) <br> D. Münchow (20) <br> M. Nanova (20) <br> R. Novotny (20) <br> B. Spruck (20) <br> H. Stenzel (20) <br> T. Ullrich (20) <br> M. Werner (20) <br> H. Xu (20) <br> C. Euan (21) <br> M. Hoek (21) <br> D. Ireland (21) <br> T. Keri (21) <br> R. Montgomery (21) <br> D. Protopopescu (21) <br> G. Rosner (21) <br> B. Seitz (21) <br> M. Babai (22) <br> A. Glazenborg-Kluttig (22) <br> M. Kavatsyuk (22) <br> P. Lemmens (22) <br> M. Lindemulder (22) <br> H. L?hner (22) <br> J. Messchendorp (22) <br> H. Moeini (22) <br> P. Schakel (22) <br> F. Schreuder (22) <br> H. Smit (22) <br> G. Tambave (22) <br> J. C. van der Weele (22) <br> R. Veenstra (22) <br> H. Sohlbach (23) <br> M. Büscher (24) <br> D. Deermann (24) <br> R. Dosdall (24) <br> S. Esch (24) <br> A. Gillitzer (24) <br> F. Goldenbaum (24) <br> D. Grunwald (24) <br> S. Henssler (24) <br> A. Herten (24) <br> Q. Hu (24) <br> G. Kemmerling (24) <br> H. Kleines (24) <br> V. Kozlov (24) <br> A. Lehrach (24) <br> R. Maier (24) <br> M. Mertens (24) <br> H. Ohm (24) <br> S. Orfanitski (24) <br> D. Prasuhn (24) <br> T. Randriamalala (24) <br> J. Ritman (24) <br> M. R?der (24) <br> S. Schadmand (24) <br> V. Serdyuk (24) <br> G. Sterzenbach (24) <br> T. Stockmanns (24) <br> P. Wintz (24) <br> P. Wüstner (24) <br> H. Xu (24) <br> J. Kisiel (25) <br> S. Li (26) <br> Z. Li (26) <br> Z. Sun (26) <br> H. Xu (26) <br> V. Rigato (27) <br> S. Fissum (28) <br> K. Hansen (28) <br> L. Isaksson (28) <br> M. Lundin (28) <br> B. Schr?der (28) <br> P. Achenbach (29) <br> S. Bleser (29) <br> U. Cahit (29) <br> M. Cardinali (29) <br> A. Denig (29) <br> M. Distler (29) <br> M. Fritsch (29) <br> P. Jasinski (29) <br> D. Kangh (29) <br> A. Karavdina (29) <br> W. Lauth (29) <br> H. Merkel (29) <br> M. Michel (29) <br> M. C. Mora Espi (29) <br> U. Müller (29) <br> J. Pochodzalla (29) <br> S. Sanchez (29) <br> A. Sanchez-Lorente (29) <br> S. Schlimme (29) <br> C. Sfienti (29) <br> M. Thiel (29) <br> T. Weber (29) <br> V. I. Dormenev (30) <br> A. A. Fedorov (30) <br> M. V. Korzhik (30) <br> O. V. Missevitch (30) <br> V. Balanutsa (31) <br> V. Chernetsky (31) <br> A. Demekhin (31) <br> A. Dolgolenko (31) <br> P. Fedorets (31) <br> A. Gerasimov (31) <br> V. Goryachev (31) <br> V. Varentsov (31) <br> A. Boukharov (32) <br> O. Malyshev (32) <br> I. Marishev (32) <br> A. Semenov (32) <br> F. B?hmer (33) <br> S. D?rheim (33) <br> B. Ketzer (33) <br> S. Paul (33) <br> A. K. Hergem?ller (34) <br> A. Khoukaz (34) <br> E. K?hler (34) <br> A. T?schner (34) <br> J. Wessels (34) <br> R. Varma (35) <br> A. Chaterjee (36) <br> V. Jha (36) <br> S. Kailas (36) <br> B. J. Roy (36) <br> Y. Yan (37) <br> K. Chinorat (37) <br> K. Khanchai (37) <br> L. Ayut (37) <br> S. Pomrad (37) <br> E. Baldin (38) <br> K. Kotov (38) <br> S. Peleganchuk (38) <br> Yu. Tikhonov (38) <br> J. Boucher (39) <br> V. Chambert (39) <br> A. Dbeyssi (39) <br> M. Gumberidze (39) <br> T. Hennino (39) <br> M. Imre (39) <br> R. Kunne (39) <br> C. Le Galliard (39) <br> B. Ma (39) <br> D. Marchand (39) <br> A. Maroni (39) <br> S. Ong (39) <br> B. Ramstein (39) <br> P. Rosier (39) <br> E. Tomasi-Gustafsson (39) <br> J. Van de Wiele (39) <br> G. Boca (40) <br> A. Braghieri (40) <br> S. Costanza (40) <br> P. Genova (40) <br> L. Lavezzi (40) <br> P. Montagna (40) <br> A. Rotondi (40) <br> V. Abramov (41) <br> N. Belikov (41) <br> A. Davidenko (41) <br> A. Derevschikov (41) <br> Y. Goncharenko (41) <br> V. Grishin (41) <br> V. Kachanov (41) <br> D. Konstantinov (41) <br> V. Kormilitsin (41) <br> Y. Melnik (41) <br> A. Levin (41) <br> N. Minaev (41) <br> V. Mochalov (41) <br> D. Morozov (41) <br> L. Nogach (41) <br> S. Poslavskiy (41) <br> A. Ryazantsev (41) <br> S. Ryzhikov (41) <br> P. Semenov (41) <br> I. Shein (41) <br> A. Uzunian (41) <br> A. Vasiliev (41) <br> A. Yakutin (41) <br> T. B?ck (42) <br> B. Cederwall (42) <br> K. Makónyi (43) <br> P. E. Tegnér (43) <br> K. M. von Würtemberg (43) <br> S. Belostotski (44) <br> G. Gavrilov (44) <br> A. Itzotov (44) <br> A. Kashchuk (44) <br> A. Kisselev (44) <br> P. Kravchenko (44) <br> O. Levitskaya (44) <br> S. Manaenkov (44) <br> O. Miklukho (44) <br> Y. Naryshkin (44) <br> D. Veretennikov (44) <br> V. Vikhrov (44) <br> A. Zhadanov (44) <br> D. Alberto (45) <br> A. Amoroso (45) <br> M. P. Bussa (45) <br> L. Busso (45) <br> F. De Mori (45) <br> M. Destefanis (45) <br> L. Fava (45) <br> L. Ferrero (45) <br> M. Greco (45) <br> M. Maggiora (45) <br> S. Marcello (45) <br> S. Sosio (45) <br> S. Spataro (45) <br> L. Zotti (45) <br> D. Calvo (46) <br> S. Coli (46) <br> P. De Remigis (46) <br> A. Filippi (46) <br> G. Giraudo (46) <br> S. Lusso (46) <br> G. Mazza (46) <br> O. Morra (46) <br> A. Rivetti (46) <br> R. Wheadon (46) <br> F. Iazzi (47) <br> A. Lavagno (47) <br> H. Younis (47) <br> R. Birsa (48) <br> F. Bradamante (48) <br> A. Bressan (48) <br> A. Martin (48) <br> H. Clement (49) <br> B. Galander (50) <br> L. Caldeira Balkest?hl (51) <br> H. Calén (51) <br> K. Fransson (51) <br> T. Johansson (51) <br> A. Kupsc (51) <br> P. Marciniewski (51) <br> E. Thomé (51) <br> M. Wolke (51) <br> J. Zlomanczuk (51) <br> J. Díaz (52) <br> A. Ortiz (52) <br> K. Dmowski (53) <br> P. Duda (53) <br> R. Korzeniewski (53) <br> B. Slowinski (53) <br> A. Chlopik (54) <br> Z. Guzik (54) <br> K. Kosinski (54) <br> D. Melnychuk (54) <br> A. Wasilewski (54) <br> M. Wojciechowski (54) <br> S. Wronka (54) <br> A. Wysocka (54) <br> B. Zwieglinski (54) <br> P. Bühler (55) <br> O. N. Hartman (55) <br> P. Kienle (55) <br> J. Marton (55) <br> K. Suzuki (55) <br> E. Widmann (55) <br> J. Zmeskal (55) <br>
刊名：The European Physical Journal A - Hadrons and Nuclei
出版年：2013
1
2
3
4
5
按检索点细分(44)
作者(10)
文摘(3)
按出版年细分(44)
2017年(1)
2015年(2)
2014年(4)
2013年(4)
2012年(1)
2011年(2)
2010年(2)
2008年(3)
2007年(2)
2006年(2)
2005年(3)
2004年(2)
2003年(4)
2002年(5)
2001年(1)
2000年及以前(6)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700