米歇尔·博雷尔(编辑);弗拉维奥·科拉迪尼(编辑);米歇尔·洛雷蒂(编辑);罗萨里奥·普格利泽(编辑) 并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 (英语) Zbl 1416.68004号 计算机科学课堂讲稿11665.查姆:施普林格(ISBN 978-3-030-21484-5/pbk;978-3-0030-21485-2/电子书)。xiii,498页。(2019).MSC公司:68-06 第68页第19页 68问题85 00B25型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}(ed.)等人,并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。查姆:施普林格(2019;Zbl 1416.68004) 全文: 内政部
田聪(编辑);富美子名古屋(编辑);刘少英(编辑);段振华(编辑) 结构化面向对象形式语言和方法。2017年11月16日,中国西安,2017年第七届SOFL+MSVL国际研讨会。修订了选定的论文。 (英语) Zbl 1384.68007号 计算机科学课堂讲稿10795.商会:施普林格出版社(ISBN 978-3-319-90103-9/pbk;978-3-319-90104-6/ebook)。x、 第219页。(2018).MSC公司:68-06 68甲15 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}(编辑)等,结构化面向对象形式语言和方法。2017年11月16日,中国西安,2017年第七届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:施普林格(2018;Zbl 1384.68007) 全文: 内政部
刘少英(编辑);段振华(编辑);田聪(编辑);富美子名古屋(编辑) 结构化的面向对象的形式语言和方法。2016年11月15日,第六届国际研讨会,SOFL+MSVL 2016,日本东京。修订了选定的论文。 (英语) Zbl 1460.68011号 计算机科学课堂讲稿10189.查姆:施普林格(ISBN 978-3-319-57707-4/pbk;978-3-3169-57708-1/电子书)。x、 239页。(2017).MSC公司:68-06 68甲15 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}(编辑)等,结构化面向对象形式语言和方法。2016年11月15日,第六届国际研讨会,SOFL+MSVL 2016,日本东京。修订了选定的论文。查姆:斯普林格(2017;Zbl 1460.68011) 全文: 内政部
刘少英(编辑);段振华(编辑) 结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。 (英语) Zbl 1460.68010号 计算机科学课堂讲稿9559.查姆:施普林格(ISBN 978-3-319-31219-4/pbk;978-3-3169-31220-0/电子书)。viii,第219页。(2016).MSC公司:68-06 68甲15 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}(编辑)和\textit{Z.Duan}(主编),结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。查姆:斯普林格(2016;Zbl 1460.68010) 全文: 内政部
杰里米·吉本斯(编辑) 通用和索引编程。2010年3月22日至26日,英国牛津,2010年SSGIP国际春季学校。修订的讲座。 (英语) Zbl 1251.68013号 计算机科学课堂讲稿7470.柏林:施普林格出版社(ISBN 978-3-642-32201-3/pbk)。vii,259页。(2012).MSC公司:68-06 第68页第19页 00年1月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}(编辑),通用和索引编程。2010年3月22日至26日,英国牛津,2010年SSGIP国际春季学校。修订的讲座。柏林:施普林格出版社(2012;Zbl 1251.68013) 全文: 内政部
詹姆斯·诺布尔(编辑) ECOOP 2012–面向对象编程。第26届欧洲会议,中国北京,2012年6月11-16日。诉讼程序。 (英语) Zbl 1245.68018号 计算机科学课堂讲稿7313.柏林:施普林格出版社(ISBN 978-3-642-31056-0/pbk)。xiii,766页。(2012).MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Noble}(编辑),ECOOP 2012——面向对象编程。第26届欧洲会议,中国北京,2012年6月11-16日。诉讼程序。柏林:施普林格出版社(2012;Zbl 1245.68018) 全文: 内政部
米拉·梅齐尼(编辑) ECOOP 2011–面向对象编程。第25届欧洲会议,英国兰卡斯特,2011年7月25日至29日。诉讼程序。 (英语) Zbl 1220.68017号 计算机科学课堂讲稿6813.柏林:施普林格出版社(ISBN 978-3-642-22654-0/pbk)。xiii,660页。(2011).MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mezini}(编辑),ECOOP 2011——面向对象编程。第25届欧洲会议,英国兰卡斯特,2011年7月25-29日。诉讼程序。柏林:施普林格出版社(2011;Zbl 1220.68017) 全文: 内政部
许清贤(编辑);维克托·马利什金(编辑) 多计算机并行编程的方法和工具。2010年5月16日至19日,俄罗斯海参崴,第二届俄罗斯-台湾研讨会,MTPP 2010。修订了选定的论文。 (英语) Zbl 1198.68041号 计算机科学课堂讲稿6083.柏林:施普林格出版社(ISBN 978-3-642-14821-7/pbk)。xiv,302页。(2010).MSC公司:68-06 65-06 2005年5月 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.H Hsu}(编辑)和\textit{V.Malyshkin}(编辑),多计算机并行编程的方法和工具。2010年5月16日至19日,俄罗斯海参崴,第二届俄罗斯-台湾研讨会,MTPP 2010。修订了选定的论文。柏林:施普林格出版社(2010;Zbl 1198.68041) 全文: 内政部
提奥·D’Hondt(编辑) ECOOP 2010–面向对象编程。第24届欧洲会议,2010年6月21日至25日,斯洛文尼亚马里博尔。诉讼程序。 (英语) Zbl 1194.68022号 计算机科学课堂讲稿6183.柏林:施普林格出版社(ISBN 978-3-642-14106-5/pbk)。xiii,599页。(2010).MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.D'Hondt}(编辑),ECOOP 2010——面向对象编程。第24届欧洲会议,2010年6月21日至25日,斯洛文尼亚马里博尔。诉讼程序。柏林:施普林格出版社(2010;Zbl 1194.68022) 全文: 内政部
索菲亚·德罗索波卢(编辑) ECOOP 2009–面向对象编程。第23届欧洲会议,意大利热那亚,2009年7月6日至10日。诉讼程序。 (英语) Zbl 1168.68002号 计算机科学课堂讲稿5653.柏林:施普林格出版社(ISBN 978-3-642-03012-3/pbk)。xvii,第631页。(2009).MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Drossopoulou}(编辑),ECOOP 2009——面向对象编程。第23届欧洲会议,意大利热那亚,2009年7月6日至10日。诉讼程序。柏林:施普林格出版社(2009;Zbl 1168.68002) 全文: 内政部
维泰克,简(编辑) ECOOP 2008–面向对象编程。第22届欧洲会议,2008年7月7日至11日,塞浦路斯帕福斯。诉讼程序。 (英语) 兹比尔1168.68324 计算机科学课堂讲稿5142.柏林:施普林格出版社(ISBN 978-3-540-70591-8/pbk)。xiii,694页。(2008).MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Vitek}(编辑),ECOOP 2008——面向对象编程。第22届欧洲会议,2008年7月7日至11日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(2008;Zbl 1168.68324) 全文: 内政部
马塞洛·M·邦桑格。(编辑);埃纳尔·布罗赫·约翰森(编辑) 开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。 (英语) Zbl 1118.68002号 计算机科学课堂讲稿4468.柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。x、 第317页。(2007).MSC公司:68-06 64岁以下 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsange}(编辑)和\textit{E.B.Johnsen}(编),开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP WG 6.1国际会议FMOODS 2007。诉讼程序。柏林:施普林格出版社(2007;Zbl 1118.68002) 全文: 内政部
比尔·普格(编辑);曾、周文(编辑) 用于并行计算的语言和编译器。第15次研讨会,LCPC 2002。美国马里兰州College Park,2002年7月25日至27日。修订论文。 (英语) Zbl 1084.68500号 计算机科学课堂讲稿2481.柏林:施普林格(ISBN 3-540-30781-8/pbk)。xi,第377页。(2005).MSC公司:68-06 68甲15 第68页第19页 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Pugh}(编辑)和\textit{C.-W.Tseng}(编),并行计算的语言和编译器。第15次研讨会,LCPC 2002。美国马里兰州College Park,2002年7月25日至27日。修订论文。柏林:施普林格出版社(2005;Zbl 1084.68500) 全文: 内政部
马滕·凯伊泽(编辑);乌娜·梅·奥莱利(编辑);西蒙·卢卡斯(Simon M.Lucas)。(编辑);埃内斯托·科斯塔(编辑);特伦斯·索勒(编辑) 遗传编程。2004年4月5日至7日在葡萄牙科因布拉举行的第七届欧洲会议,EuroGP 2004。诉讼程序。 (英语) Zbl 1051.68011号 计算机科学课堂讲稿3003.柏林:施普林格出版社(ISBN 3-540-21346-5/pbk)。xi,第410页。(2004).MSC公司:68-06 00B25型 第68页第19页 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Keijzer}(编辑)等人,《遗传编程》。2004年4月5-7日在葡萄牙科因布拉举行的第七届欧洲会议,EuroGP 2004。诉讼程序。柏林:施普林格出版社(2004;Zbl 1051.68011) 全文: 内政部
劳伦斯·劳希沃格(编辑) 用于并行计算的语言和编译器。2003年10月2日至4日,第16届国际研讨会,LCPC 2003,美国德克萨斯州大学站。修订论文。 (英语) Zbl 1049.68830号 计算机科学课堂讲稿2958.柏林:施普林格出版社(ISBN 3-540-21199-3/pbk)。xi,第556页。(2004).MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{L.Rauchwerger}(编辑),并行计算的语言和编译器。第16届国际研讨会,2003年LCPC,美国德克萨斯州大学站,2003年10月2-4日。修订论文。柏林:施普林格出版社(2004;Zbl 1049.68830) 全文: 内政部
尼古拉斯·盖尔菲(编辑);埃吉迪奥·阿斯泰西亚诺(编辑);吉安娜·雷吉奥(编辑) 分布式Java应用程序的科学工程。2003年11月27日至28日,第三届国际研讨会,FIDJI 2003,卢森堡-基什堡。修订论文。 (英语) Zbl 1049.68785号 计算机科学课堂讲稿2952.柏林:施普林格出版社(ISBN 3-540-21091-1/pbk)。x、 157页。(2004).MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{N.Guelfi}(ed.)等人,分布式Java应用程序的科学工程。2003年11月27日至28日,第三届国际研讨会,FIDJI 2003,卢森堡-基尔奇堡。修订论文。柏林:施普林格出版社(2004;Zbl 1049.68785) 全文: 内政部
洛科·德尼古拉(编辑);Gianluigi法拉利(编辑);格雷格·梅雷迪斯(编辑) 协调模型和语言。2004年2月24日至27日在意大利比萨举行的2004年第六届国际协调会议。诉讼程序。 (英语) Zbl 1049.68004号 计算机科学课堂讲稿2949.柏林:施普林格出版社(ISBN 3-540-21044-X/pbk)。x、 323页。(2004).MSC公司:68-06 00B25型 64岁以下 第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}(编辑)等人,《协调模型和语言》。2004年2月24日至27日在意大利比萨举行的第六届国际协调会议。诉讼程序。柏林:施普林格出版社(2004;Zbl 1049.68004) 全文: 内政部
马克·D·瑞恩。(编辑);John-Jules Ch.梅耶。(编辑);汉斯·迪特,埃里希(编辑) 对象、代理和功能。2003年2月16日至21日,德国达格斯图尔城堡国际研讨会。修改并邀请论文。 (英语) Zbl 1046.68013号 计算机科学课堂讲稿2975.柏林:施普林格出版社(ISBN 3-540-21989-7/pbk)。vii,227页。(2004).MSC公司:68-06 00B25型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Ryan}(编辑)等人,《对象、代理和功能》。2003年2月16日至21日,德国达格斯图尔城堡国际研讨会。修改并邀请论文。柏林:施普林格出版社(2004;Zbl 1046.68013) 全文: 内政部 链接
弗兰克·芬宁(编辑);亚尼斯·斯马拉格达基斯(编辑) 生成性编程和组件工程。第二届国际会议,2003年GPCE,德国埃尔福特,2003年9月22日至25日。诉讼程序。 (英语) Zbl 1045.68866号 计算机科学课堂讲稿2830.柏林:施普林格出版社(ISBN 3-540-20102-5/pbk)。ix,第397页。(2003).MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}(ed.)和\textit{Y.Smaragdakis}(edi.),生成编程和组件工程。第二届国际会议,2003年9月22日至25日,德国埃尔福特,GPCE 2003。诉讼程序。柏林:施普林格出版社(2003;Zbl 1045.68866) 全文: 内政部
迈克尔·J·沃斯。(编辑) OpenMP共享内存并行编程。OpenMP应用程序和工具国际研讨会,WOMPAT 2003,加拿大多伦多,2003年6月26日至27日。诉讼程序。 (英语) Zbl 1029.68921号 计算机科学课堂讲稿. 2716. 柏林:斯普林格。viii,271页(2003年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Voss}(编辑),OpenMP共享内存并行编程。OpenMP应用程序和工具国际研讨会,WOMPAT 2003,加拿大多伦多,2003年6月26-27日。诉讼程序。柏林:施普林格出版社(2003;Zbl 1029.68921) 全文: 内政部 链接
卢卡·卡德利(编辑) ECOOP 2003:面向对象编程,第17届欧洲会议,德国达姆施塔特,2003年7月21日至25日,会议记录。 (英语) Zbl 1028.68209号 计算机科学课堂讲稿. 2743. 柏林:斯普林格。x、 第501页(2003年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}(编辑),ECOOP 2003——面向对象编程,第17届欧洲会议,德国达姆施塔特,2003年7月21日至25日,会议记录。柏林:施普林格出版社(2003;Zbl 1028.68209) 全文: 内政部 链接
弗朗西丝卡·罗西(编辑) 约束编程的原则和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。 (英语) Zbl 1024.00062号 计算机科学课堂讲稿. 2833. 柏林:斯普林格。xix,1005页(2003年)。MSC公司:00B25型 68-06 第68页第19页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rossi}(编辑),约束编程的原理和实践——CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。柏林:施普林格(2003;Zbl 1024.0062) 全文: 内政部 链接
莱恩,康纳(编辑);特伦斯·索勒(编辑);马滕·凯伊泽(编辑);爱德华·曾荫权(编辑);里卡多·波利(编辑);埃内斯托·科斯塔(编辑) 遗传编程。2003年4月14日至16日在英国埃塞克斯举行的第六届欧洲会议,EuroGP 2003。诉讼程序。 (英语) Zbl 1017.00042号 计算机科学课堂讲稿.2610。柏林:斯普林格。xii,486页(2003年)。MSC公司:00B25型 68-06 第68页第19页 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ryan}(编辑)等人,《遗传编程》。2003年4月14日至16日在英国埃塞克斯举行的第六届欧洲会议,EuroGP 2003。诉讼程序。柏林:施普林格出版社(2003;Zbl 1017.00042) 全文: 内政部 链接
尼古拉斯·盖尔菲(编辑);埃吉迪奥·阿斯泰西亚诺(编辑);吉安娜·雷吉奥(编辑) 分布式Java应用程序的科学工程。2002年11月28日至29日,卢森堡基什堡,FIDJI 2002国际研讨会。修订论文。 (英语) Zbl 1015.68867号 计算机科学课堂讲稿. 2604. 柏林:斯普林格。x、 204页(2003年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{N.Guelfi}(ed.)等人,分布式Java应用程序的科学工程。2002年11月28日至29日,卢森堡基什堡,FIDJI 2002国际研讨会。修订论文。柏林:施普林格出版社(2003;Zbl 1015.68867) 全文: 内政部 链接
帕斯卡·范·亨特利克(编辑) 约束编程的原理和实践–CP 2002。2002年9月9日至13日,第八届国际会议,CP 2002,美国纽约州伊萨卡。诉讼程序。 (英语) Zbl 1049.68016号 计算机科学课堂讲稿2470.柏林:施普林格出版社(ISBN 3-540-44120-4/pbk)。十六、794页。(2002).MSC公司:68-06 00B25型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}(编辑),约束编程的原理和实践——CP 2002。2002年9月9日至13日,第八届国际会议,CP 2002,美国纽约州伊萨卡。诉讼程序。柏林:施普林格出版社(2002;Zbl 1049.68016)
唐·巴托里(编辑);查尔斯·康塞尔(编辑);瓦利德·塔哈(编辑) 生成性编程和组件工程。ACM SIGPLAN/SIGSOFT会议,GPCE 2002,匹兹堡,宾夕法尼亚州,美国,2002年10月6日至8日。诉讼程序。 (英语) Zbl 1013.68913号 计算机科学课堂讲稿. 2487. 柏林:斯普林格。viii,第335页(2002年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{D.Batory}(ed.)等,生成编程和组件工程。ACM SIGPLAN/SIGSOFT会议,GPCE 2002,匹兹堡,宾夕法尼亚州,美国,2002年10月6-8日。诉讼程序。柏林:施普林格出版社(2002;Zbl 1013.68913) 全文: 内政部 链接
鲁道夫·弗莱舍(编辑);伯纳德·莫雷特(编辑);埃里克·梅内切·施密特(编辑) 实验算法。从算法设计到健壮高效的软件。 (英语) Zbl 1011.68694号 计算机科学课堂讲稿. 2547. 柏林:斯普林格。第十七章,第278页(2002年)。MSC公司:68单位99 68瓦xx 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.Fleischer}(编辑)等人,《实验算法》。从算法设计到健壮高效的软件。柏林:施普林格(2002年;Zbl 1011.68694) 全文: 内政部 链接
胡安·埃尔南德斯(编辑);安娜·莫雷拉(编辑) 面向对象技术。ECOOP 2002车间读取器。ECOOP 2002年研讨会和海报,西班牙马拉加,2002年6月10日至14日。诉讼程序。 (英语) Zbl 1009.68822号 计算机科学课堂讲稿. 2548. 柏林:斯普林格。xiii,223页(2002年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.Hernández}(编辑)和\textit{A.Moreira}(主编),面向对象技术。ECOOP 2002车间读取器。ECOOP 2002讲习班和海报,2002年6月10日至14日,西班牙马拉加。诉讼程序。柏林:施普林格出版社(2002;Zbl 1009.68822) 全文: 内政部 链接
鲍里斯·马格努森(编辑) ECOOP 2002:面向对象编程。第十六届欧洲会议,2002年6月10日至14日,西班牙马拉加。诉讼程序。 (英语) Zbl 0997.68676号 计算机科学课堂讲稿. 2374. 柏林:斯普林格。xi,637页(2002年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{B.Magnusson}(编辑),ECOOP 2002-面向对象编程。第16届欧洲会议,2002年6月10日至14日,西班牙马拉加。诉讼程序。柏林:施普林格出版社(2002;Zbl 0997.68676) 全文: 内政部
阿科斯·弗罗纳(编辑) 面向对象技术。ECOOP 2001车间读取器。小组和海报,匈牙利布达佩斯,2001年6月18日至22日。诉讼程序。 (英语) Zbl 0992.68517号 计算机科学课堂讲稿. 2323. 柏林:斯普林格。ix,225页(2002年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{.Frohner}(编辑),面向对象技术。ECOOP 2001车间读取器。展板和海报,匈牙利布达佩斯,2001年6月18日至22日。诉讼程序。柏林:施普林格出版社(2002;Zbl 0992.68517)
詹姆斯·福斯特。(编辑);伊芙琳·卢顿(编辑);朱利安·米勒(编辑);莱恩,康纳(编辑);安德烈亚·特塔曼齐。(编辑) 遗传编程。2002年4月3日至5日,第五届欧洲会议,EuroGP 2002,爱尔兰金赛尔。诉讼程序。 (英语) Zbl 0988.00080号 计算机科学课堂讲稿. 2278. 柏林:斯普林格。xi,337页(2002年)。MSC公司:00B25型 68-06 第68页第19页 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Foster}(编辑)等人,《遗传编程》。2002年4月3日至5日在爱尔兰金赛尔举行的第五届欧洲会议,EuroGP 2002。诉讼程序。柏林:施普林格出版社(2002;Zbl 0988.00080) 全文: 内政部
克里斯蒂安·舒尔特 编程约束服务。标准和新约束服务的高级编程。 (英语) Zbl 0994.68038号 计算机科学课堂讲稿2302.人工智能课堂讲稿。柏林:斯普林格。xii,176页(2002年)。MSC公司:第68页第19页 68T20型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulte},编程约束服务。标准和新约束服务的高级编程。柏林:施普林格出版社(2002;Zbl 0994.68038)
克拉克,托尼(编辑);乔斯·沃默(编辑) 使用OCL进行对象建模。对象约束语言背后的基本原理。 (英语) Zbl 0983.68680号 计算机科学课堂讲稿. 2263. 柏林:斯普林格。viii,第281页(2002年)。MSC公司:68单位99 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{T.Clark}(编辑)和\textit{J.Warmer}(主编),OCL对象建模。对象约束语言背后的基本原理。柏林:施普林格出版社(2002;Zbl 0983.68680) 全文: 内政部
彼得·米勒 面向对象程序的模块化规范和验证。 (英语) Zbl 0998.68034号 计算机科学课堂讲稿. 2262. 柏林:斯普林格。xiv,292 p.(2002)。 审核人:简·弗里索·格罗特(埃因霍温) MSC公司:第68页第19页 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Müller},面向对象程序的模块化规范和验证。柏林:施普林格出版社(2002;Zbl 0998.68034)
托比·沃尔什(编辑) 约束编程的原理和实践–CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。 (英语) Zbl 0984.00059号 计算机科学课堂讲稿.2239。柏林:斯普林格。xiv,788页(2001年)。MSC公司:00B25型 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{T.Walsh}(编辑),约束编程的原理和实践——CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(2001;Zbl 0984.00059) 全文: 内政部
朱利安·米勒(编辑);马可·托马西尼(编辑);Pier Luca Lanzi(编辑);Ryan,Conor公司(编辑);Andrea G.B.Tettamanzi。(编辑);威廉·兰登。(编辑) 遗传编程。第四届欧洲会议,EuroGP 2001,意大利科摩湖,2001年4月18日至20日。诉讼程序。 (英语) Zbl 0978.68728号 计算机科学课堂讲稿. 2038. 柏林:斯普林格。xi,384页(2001)。MSC公司:68单位99 68-06 第68页第19页 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Miller}(编辑)等人,《遗传编程》。第四届欧洲会议,EuroGP 2001,意大利科摩湖,2001年4月18-20日。诉讼程序。柏林:施普林格出版社(2001;Zbl 0978.68728)
马修·亨巴赫(Matthew M.Huntbach)。;格雷姆·林伍德(Graem A.Ringwood)。 面向代理的编程。从序言到保护性定语从句。 (英语) Zbl 1044.68002号 计算机科学课堂讲稿1630.人工智能讲义。柏林:施普林格出版社(ISBN 3-540-66683-4/pbk)。xiv,第386页。(1999).MSC公司:68-02 68T01型 68T20型 68T40型 68N17号 68甲15 第68页第19页 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Huntbach}和\textit{G.A.Ringwood},面向代理的编程。从序言到保护性定语从句。柏林:施普林格出版社(1999;Zbl 1044.68002)
德克萨斯州贾法(编辑) 约束编程的原理和实践——CP 1999。第五届国际会议,1999年10月11日至14日,美国弗吉尼亚州亚历山大市。诉讼程序。 (英语) Zbl 0929.00071号 计算机科学课堂讲稿.1713。柏林:斯普林格。xii,493页(1999年)。MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaffar}(编辑),约束编程的原理和实践——CP 1999。第五届国际会议,1999年10月11-14日,美国弗吉尼亚州亚历山大市。诉讼程序。柏林:施普林格出版社(1999;Zbl 0929.00071) 全文: 内政部
戈帕兰·纳达图尔(编辑) 声明式编程的原理和实践。国际会议PPDP’99。1999年9月29日至10月1日,法国巴黎。诉讼程序。 (英语) Zbl 0929.00069号 计算机科学课堂讲稿. 1702. 柏林:斯普林格。x、 第434页(1999年)。MSC公司:00B25型 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.Nadathur}(编辑),声明式编程的原理和实践。99年PPDP国际会议。法国巴黎,1999年9月29日至10月1日。诉讼程序。柏林:施普林格出版社(1999;Zbl 0929.00069) 全文: 内政部
阿克什,穆罕默德(编辑);松冈佐治(编辑) ECOOP’97-面向对象编程。第十一届欧洲会议。Jyväskylä,芬兰;1997年6月9日至13日。诉讼程序。 (英语) Zbl 0872.00048号 计算机科学课堂讲稿1241.柏林:施普林格(ISBN 3-540-63089-9)。xi,531页(1997)。MSC公司:00B25型 68-06 68甲15 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Akšit}(ed.)和\textit{S.Matsuoka}(edi.),ECOOP’97-面向对象编程。第十一届欧洲会议。Jyväskylä,芬兰;1997年6月9日至13日。诉讼程序。柏林:施普林格(1997;Zbl 0872.00048)
阿克什,穆罕默德(编辑);松冈佐治(编辑) ECOOP’97-面向对象编程。第十一届欧洲会议。Jyväskylä,芬兰;1997年6月9日至13日。诉讼程序。 (英语) Zbl 0889.68037号 计算机科学课堂讲稿. 1241. 柏林:斯普林格。xi,531页(1997)。 审核人:U.Hahn(弗赖堡i.Br.) MSC公司:68纳米99 00B25型 68-06 68甲15 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Akşit}(编辑)和\textit{S.Matsuoka}(编辑),ECOOP’97-面向对象编程。第十一届欧洲会议。Jyväskylä,芬兰;1997年6月9日至13日。诉讼程序。柏林:施普林格出版社(1997;Zbl 0889.68037)
约翰·佩拉姆(John W.Perram)。(编辑);Jean-Pierre缪勒(编辑) 分布式软件代理和应用程序。1994年8月3日至5日,丹麦欧登塞,MAAMAW'94,第六届多智能体世界中自主智能体建模欧洲研讨会。诉讼程序。 (英语) Zbl 0851.68105号 计算机科学课堂讲稿1069.人工智能课堂讲稿。柏林:斯普林格。viii,219页(1996年)。 审核人:U.Hahn(弗赖堡i.Br.) MSC公司:68层35 2010年第68季度 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Perram}(编辑)和\textit{J.-P.Müller}(主编),分布式软件代理和应用程序。1994年8月3日至5日,丹麦欧登塞,MAAMAW'94,第六届多智能体世界中自主智能体建模欧洲研讨会。诉讼程序。柏林:施普林格(1996;Zbl 0851.68105) 全文: 内政部
沃尔特·奥尔特霍夫(编辑) ECOOP’95–面向对象编程。第九届欧洲会议,丹麦奥胡斯,1995年8月7日至11日。诉讼程序。 (英语) Zbl 0840.68025号 计算机科学课堂讲稿952.柏林:施普林格出版社(ISBN 978-3-540-60160-9/pbk)。xi,第471页。(1995). 审核人:U.Hahn(弗赖堡i.Br.) MSC公司:68纳米99 00B25型 68-06 68甲15 第68页第19页 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Olthoff}(编辑),ECOOP’95——面向对象编程。第九届欧洲会议,丹麦奥胡斯,1995年8月7日至11日。诉讼程序。柏林:施普林格(1995;Zbl 0840.68025) 全文: 内政部
拉奥,Josyula Ramachandra UNITY方法的扩展:组合性、公平性和并行概率。 (英语) Zbl 0813.68034号 计算机科学课堂讲稿. 908. 柏林:Springer-Verlag。xi,178页(1995年)。MSC公司:68-02 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Rao},UNITY方法的扩展:并行中的组合性、公平性和概率。柏林:Springer-Verlag(1995;Zbl 0813.68034) 全文: 内政部
马里奥·托科罗(编辑);雷莫·帕雷斯基(编辑) ECOOP’94–面向对象编程。第八届欧洲会议,意大利博洛尼亚,1994年7月4日至8日。诉讼程序。 (英语) Zbl 0875.00133号 计算机科学课堂讲稿柏林:施普林格。xi,535 p.96.00德国马克;öS 748.80;sFr 96.00/sc(1994)。MSC公司:00B25型 68-06 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokoro}(编辑)和\textit{R.Pareschi}(编辑),ECOOP’94——面向对象编程。第八届欧洲会议,意大利博洛尼亚,1994年7月4-8日。诉讼程序。柏林:施普林格(1994;Zbl 0875.00133) 全文: 内政部
奥斯卡·M·尼尔斯特拉斯。(编辑) ECOOP’93–面向对象编程。第七届欧洲会议,德国凯泽斯劳滕,1993年7月26日至30日。诉讼程序。 (英语) Zbl 0825.00121号 计算机科学课堂讲稿707.柏林:施普林格出版社。十一、 531 p.DM 96.00/sc(1993)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{O.M.Nierstrasz}(编辑),ECOOP'93——面向对象编程。第七届欧洲会议,德国凯泽斯劳滕,1993年7月26日至30日。诉讼程序。柏林:Springer-Verlag(1993;Zbl 0825.00121) 全文: 内政部
露丝·布鲁 面向对象编程环境中的代数规范技术。 (英语) Zbl 1293.68004号 计算机科学课堂讲稿562.柏林:施普林格出版社(ISBN 978-3-540-54972-7/pbk)。xiii,第231页。(1991).MSC公司:68-02 第68页第19页 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Breu},面向对象编程环境中的代数规范技术。柏林:施普林格出版社(1991;Zbl 1293.68004) 全文: 内政部
圣埃芬·卡普兰(编辑);M.冈田。(编辑) 条件重写和类型重写系统。第二届国际CTRS研讨会,加拿大蒙特利尔,1990年6月11-14日。诉讼程序。 (英语) Zbl 0756.68010号 计算机科学课堂讲稿516.柏林等:施普林格出版社。十、 第461页(1991年)。 审核人:D.Kövari(布库雷什蒂) MSC公司:68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kaplan}(编辑)和\textit{M.Okada}(主编),条件重写和类型重写系统。第二届国际CTRS研讨会,加拿大蒙特利尔,1990年6月11-14日。诉讼程序。柏林等:Springer-Verlag(1991;Zbl 0756.68010) 全文: 内政部
德巴克尔,J.W。(编辑);德罗弗,W.P。(编辑);G.罗森伯格。(编辑) 面向对象语言的基础。1990年5月28日至6月1日,荷兰诺德威克霍特REX学校/研讨会。诉讼程序。 (英语) 邮编:0875.00080 计算机科学课堂讲稿. 489. 柏林:Springer-Verlag。八、 第442页(1991年)。MSC公司:00B25型 68-06 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}(编辑)等人,面向对象语言的基础。1990年5月28日至6月1日,荷兰诺德威克霍特REX学校/研讨会。诉讼程序。柏林:Springer-Verlag(1991;Zbl 0875.00080) 全文: 内政部
美国,皮埃尔(编辑) ECOOP’91,面向对象编程欧洲会议。1991年7月15日至19日,瑞士日内瓦。诉讼程序。 (英语) Zbl 0875.00128号 计算机科学课堂讲稿. 512. 柏林等:Springer-Verlag。十、 第396页(1991年)。MSC公司:00B25型 68-06 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.America}(编辑),ECOOP’91,面向对象编程欧洲会议。1991年7月15日至19日,瑞士日内瓦。诉讼程序。柏林等:Springer-Verlag(1991;Zbl 0875.00128) 全文: 内政部
马里奥·托科罗(编辑);奥斯卡·尼尔斯特拉斯(编辑);彼得·韦格纳(编辑) 基于对象的并发编程。ECOOP’91,研讨会,瑞士日内瓦,1991年7月15日至16日,会议记录。 (英语) Zbl 0770.68028号 计算机科学课堂讲稿. 612. 柏林等:Springer-Verlag。十、 264页(1991年)。 审核人:C.Bársan(伊阿什) MSC公司:68-06 2010年第68季度 68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokoro}(ed.)等人,《基于对象的并发编程》。ECOOP’91,研讨会,瑞士日内瓦,1991年7月15日至16日,会议记录。柏林等:Springer-Verlag(1991;Zbl 0770.68028)
阿方索·米奥拉(编辑) 符号计算系统的设计与实现。1990年4月10日至12日,意大利卡普里,DISCO’90国际研讨会。诉讼程序。 (英语) Zbl 0757.68013号 计算机科学课堂讲稿. 429. 柏林等:Springer-Verlag。十二、 第284页(1990年)。 审核人:弗朗西斯·约翰·赖特(伦敦) MSC公司:68-06 68甲15 68瓦30 第68页第15页 68单位05 68N17号 2012年第68季度 68层35 PDF格式BibTeX公司 XML格式引用 \textit{A.Miola}(编辑),符号计算系统的设计与实现。1990年4月10日至12日,意大利卡普里,DISCO’90国际研讨会。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0757.68013)
安东尼·克雷茨马尔;安德烈·索尔维基;马雷克·沃佩霍夫斯基 88年LOGLAN。报告编程语言。 (英语) 兹比尔0703.68029 计算机科学课堂讲稿, 414. 柏林等:Springer-Verlag。十、 133 p.DM 28.00(1990)。 审核人:约瑟夫·萨伊达(布拉迪斯拉发) MSC公司:68甲15 68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Kreczmar}等人,LOGLAN’88。报告编程语言。柏林等:Springer-Verlag(1990;Zbl 0703.68029) 全文: 内政部
斯坦·格杰辛(编辑);Nygaard,K。(编辑) ECOOP’88。面向对象编程欧洲(第二届)会议,奥斯陆/挪威,1988年8月15日至17日。诉讼程序。 (英语) Zbl 1087.68501号 计算机科学课堂讲稿322.柏林等:Springer-Verlag(ISBN 3-540-50053-7)。六、 第410页(1988年)。MSC公司:68-06 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gjessing}(编辑)和\textit{K.Nygaard}(编辑),ECOOP’88。面向对象编程欧洲(第二届)会议,奥斯陆/挪威,1988年8月15日至17日。诉讼程序。柏林等:Springer-Verlag(1988;Zbl 1087.68501)
德巴克尔,J.W。(编辑);奈曼,A.J。(编辑);特雷文,P.C。(编辑) 谈判。欧洲并行体系结构和语言。荷兰埃因霍温,1987年6月15日至19日。诉讼程序。第一卷:并行架构。 (英语) Zbl 0624.68001号 计算机科学课堂讲稿, 258. 柏林等:Springer-Verlag。十二、 480页。;马克60.50(1987)。 审核人:G.E.Tseytlin(谢特林) MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
Bézivin,J。(编辑);休洛,J.-M。(编辑);科因特,P。(编辑);H.利伯曼。(编辑) 87年ECOOP。1987年6月15日至17日在法国巴黎举行的欧洲面向对象编程会议。诉讼程序。 (英语) Zbl 0622.68004号 计算机科学课堂讲稿, 276. 柏林等:Springer-Verlag。六、 273页。;DM 40.50(1987)。MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
雷达尔·康拉迪(编辑);Tor M.迪德里克森。(编辑);达格·H·万维克。(编辑) 高级编程环境。《国际研讨会论文集》,挪威特隆赫姆,1986年6月16日至18日。(IFIP)。 (英语) Zbl 0628.68003号 计算机科学课堂讲稿, 244. 柏林等:Springer-Verlag。七、 604页。;88马克(1986年)。 审核人:什米德先生 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式