×

找到57个文档(结果1-57)

并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际,为他撰写的论文。 (英语) Zbl 1416.68004号

计算机科学课堂讲稿11665.查姆:施普林格(ISBN 978-3-030-21484-5/pbk;978-3-0030-21485-2/电子书)。xiii,498页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构化面向对象形式语言和方法。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构化的面向对象的形式语言和方法。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构化面向对象形式语言和方法。2015年11月6日,法国巴黎,第五届SOFL+MSVL国际研讨会。修订了选定的论文。 (英语) Zbl 1460.68010号

计算机科学课堂讲稿9559.查姆:施普林格(ISBN 978-3-319-31219-4/pbk;978-3-3169-31220-0/电子书)。viii,第219页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通用和索引编程。2010年3月22日至26日,英国牛津,2010年SSGIP国际春季学校。修订的讲座。 (英语) Zbl 1251.68013号

计算机科学课堂讲稿7470.柏林:施普林格出版社(ISBN 978-3-642-32201-3/pbk)。vii,259页。(2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP 2012–面向对象编程。第26届欧洲会议,中国北京,2012年6月11-16日。诉讼程序。 (英语) Zbl 1245.68018号

计算机科学课堂讲稿7313.柏林:施普林格出版社(ISBN 978-3-642-31056-0/pbk)。xiii,766页。(2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP 2011–面向对象编程。第25届欧洲会议,英国兰卡斯特,2011年7月25日至29日。诉讼程序。 (英语) Zbl 1220.68017号

计算机科学课堂讲稿6813.柏林:施普林格出版社(ISBN 978-3-642-22654-0/pbk)。xiii,660页。(2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多计算机并行编程的方法和工具。2010年5月16日至19日,俄罗斯海参崴,第二届俄罗斯-台湾研讨会,MTPP 2010。修订了选定的论文。 (英语) Zbl 1198.68041号

计算机科学课堂讲稿6083.柏林:施普林格出版社(ISBN 978-3-642-14821-7/pbk)。xiv,302页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP 2010–面向对象编程。第24届欧洲会议,2010年6月21日至25日,斯洛文尼亚马里博尔。诉讼程序。 (英语) Zbl 1194.68022号

计算机科学课堂讲稿6183.柏林:施普林格出版社(ISBN 978-3-642-14106-5/pbk)。xiii,599页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP 2009–面向对象编程。第23届欧洲会议,意大利热那亚,2009年7月6日至10日。诉讼程序。 (英语) Zbl 1168.68002号

计算机科学课堂讲稿5653.柏林:施普林格出版社(ISBN 978-3-642-03012-3/pbk)。xvii,第631页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP 2008–面向对象编程。第22届欧洲会议,2008年7月7日至11日,塞浦路斯帕福斯。诉讼程序。 (英语) 兹比尔1168.68324

计算机科学课堂讲稿5142.柏林:施普林格出版社(ISBN 978-3-540-70591-8/pbk)。xiii,694页。(2008).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。 (英语) Zbl 1118.68002号

计算机科学课堂讲稿4468.柏林:施普林格出版社(ISBN 978-3-540-72919-8/pbk)。x、 第317页。(2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于并行计算的语言和编译器。第15次研讨会,LCPC 2002。美国马里兰州College Park,2002年7月25日至27日。修订论文。 (英语) Zbl 1084.68500号

计算机科学课堂讲稿2481.柏林:施普林格(ISBN 3-540-30781-8/pbk)。xi,第377页。(2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

遗传编程。2004年4月5日至7日在葡萄牙科因布拉举行的第七届欧洲会议,EuroGP 2004。诉讼程序。 (英语) Zbl 1051.68011号

计算机科学课堂讲稿3003.柏林:施普林格出版社(ISBN 3-540-21346-5/pbk)。xi,第410页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于并行计算的语言和编译器。2003年10月2日至4日,第16届国际研讨会,LCPC 2003,美国德克萨斯州大学站。修订论文。 (英语) Zbl 1049.68830号

计算机科学课堂讲稿2958.柏林:施普林格出版社(ISBN 3-540-21199-3/pbk)。xi,第556页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式Java应用程序的科学工程。2003年11月27日至28日,第三届国际研讨会,FIDJI 2003,卢森堡-基什堡。修订论文。 (英语) Zbl 1049.68785号

计算机科学课堂讲稿2952.柏林:施普林格出版社(ISBN 3-540-21091-1/pbk)。x、 157页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

协调模型和语言。2004年2月24日至27日在意大利比萨举行的2004年第六届国际协调会议。诉讼程序。 (英语) Zbl 1049.68004号

计算机科学课堂讲稿2949.柏林:施普林格出版社(ISBN 3-540-21044-X/pbk)。x、 323页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对象、代理和功能。2003年2月16日至21日,德国达格斯图尔城堡国际研讨会。修改并邀请论文。 (英语) Zbl 1046.68013号

计算机科学课堂讲稿2975.柏林:施普林格出版社(ISBN 3-540-21989-7/pbk)。vii,227页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

生成性编程和组件工程。第二届国际会议,2003年GPCE,德国埃尔福特,2003年9月22日至25日。诉讼程序。 (英语) Zbl 1045.68866号

计算机科学课堂讲稿2830.柏林:施普林格出版社(ISBN 3-540-20102-5/pbk)。ix,第397页。(2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

OpenMP共享内存并行编程。OpenMP应用程序和工具国际研讨会,WOMPAT 2003,加拿大多伦多,2003年6月26日至27日。诉讼程序。 (英语) Zbl 1029.68921号

计算机科学课堂讲稿. 2716. 柏林:斯普林格。viii,271页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

ECOOP 2003:面向对象编程,第17届欧洲会议,德国达姆施塔特,2003年7月21日至25日,会议记录。 (英语) Zbl 1028.68209号

计算机科学课堂讲稿. 2743. 柏林:斯普林格。x、 第501页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

约束编程的原则和实践–CP 2003。2003年9月29日至10月3日,第九届国际会议,CP 2003,爱尔兰金赛尔。诉讼程序。 (英语) Zbl 1024.00062号

计算机科学课堂讲稿. 2833. 柏林:斯普林格。xix,1005页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

遗传编程。2003年4月14日至16日在英国埃塞克斯举行的第六届欧洲会议,EuroGP 2003。诉讼程序。 (英语) Zbl 1017.00042号

计算机科学课堂讲稿.2610。柏林:斯普林格。xii,486页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

分布式Java应用程序的科学工程。2002年11月28日至29日,卢森堡基什堡,FIDJI 2002国际研讨会。修订论文。 (英语) Zbl 1015.68867号

计算机科学课堂讲稿. 2604. 柏林:斯普林格。x、 204页(2003年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

约束编程的原理和实践–CP 2002。2002年9月9日至13日,第八届国际会议,CP 2002,美国纽约州伊萨卡。诉讼程序。 (英语) Zbl 1049.68016号

计算机科学课堂讲稿2470.柏林:施普林格出版社(ISBN 3-540-44120-4/pbk)。十六、794页。(2002).
PDF格式BibTeX公司 XML格式引用

生成性编程和组件工程。ACM SIGPLAN/SIGSOFT会议,GPCE 2002,匹兹堡,宾夕法尼亚州,美国,2002年10月6日至8日。诉讼程序。 (英语) Zbl 1013.68913号

计算机科学课堂讲稿. 2487. 柏林:斯普林格。viii,第335页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

实验算法。从算法设计到健壮高效的软件。 (英语) Zbl 1011.68694号

计算机科学课堂讲稿. 2547. 柏林:斯普林格。第十七章,第278页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

面向对象技术。ECOOP 2002车间读取器。ECOOP 2002年研讨会和海报,西班牙马拉加,2002年6月10日至14日。诉讼程序。 (英语) Zbl 1009.68822号

计算机科学课堂讲稿. 2548. 柏林:斯普林格。xiii,223页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

ECOOP 2002:面向对象编程。第十六届欧洲会议,2002年6月10日至14日,西班牙马拉加。诉讼程序。 (英语) Zbl 0997.68676号

计算机科学课堂讲稿. 2374. 柏林:斯普林格。xi,637页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向对象技术。ECOOP 2001车间读取器。小组和海报,匈牙利布达佩斯,2001年6月18日至22日。诉讼程序。 (英语) Zbl 0992.68517号

计算机科学课堂讲稿. 2323. 柏林:斯普林格。ix,225页(2002年)。
PDF格式BibTeX公司 XML格式引用

遗传编程。2002年4月3日至5日,第五届欧洲会议,EuroGP 2002,爱尔兰金赛尔。诉讼程序。 (英语) Zbl 0988.00080号

计算机科学课堂讲稿. 2278. 柏林:斯普林格。xi,337页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用OCL进行对象建模。对象约束语言背后的基本原理。 (英语) Zbl 0983.68680号

计算机科学课堂讲稿. 2263. 柏林:斯普林格。viii,第281页(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束编程的原理和实践–CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。 (英语) Zbl 0984.00059号

计算机科学课堂讲稿.2239。柏林:斯普林格。xiv,788页(2001年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

遗传编程。第四届欧洲会议,EuroGP 2001,意大利科摩湖,2001年4月18日至20日。诉讼程序。 (英语) Zbl 0978.68728号

计算机科学课堂讲稿. 2038. 柏林:斯普林格。xi,384页(2001)。
PDF格式BibTeX公司 XML格式引用

面向代理的编程。从序言到保护性定语从句。 (英语) Zbl 1044.68002号

计算机科学课堂讲稿1630.人工智能讲义。柏林:施普林格出版社(ISBN 3-540-66683-4/pbk)。xiv,第386页。(1999).
PDF格式BibTeX公司 XML格式引用

约束编程的原理和实践——CP 1999。第五届国际会议,1999年10月11日至14日,美国弗吉尼亚州亚历山大市。诉讼程序。 (英语) Zbl 0929.00071号

计算机科学课堂讲稿.1713。柏林:斯普林格。xii,493页(1999年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

声明式编程的原理和实践。国际会议PPDP’99。1999年9月29日至10月1日,法国巴黎。诉讼程序。 (英语) Zbl 0929.00069号

计算机科学课堂讲稿. 1702. 柏林:斯普林格。x、 第434页(1999年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP’97-面向对象编程。第十一届欧洲会议。Jyväskylä,芬兰;1997年6月9日至13日。诉讼程序。 (英语) Zbl 0872.00048号

计算机科学课堂讲稿1241.柏林:施普林格(ISBN 3-540-63089-9)。xi,531页(1997)。
PDF格式BibTeX公司 XML格式引用

ECOOP’97-面向对象编程。第十一届欧洲会议。Jyväskylä,芬兰;1997年6月9日至13日。诉讼程序。 (英语) Zbl 0889.68037号

计算机科学课堂讲稿. 1241. 柏林:斯普林格。xi,531页(1997)。
PDF格式BibTeX公司 XML格式引用

分布式软件代理和应用程序。1994年8月3日至5日,丹麦欧登塞,MAAMAW'94,第六届多智能体世界中自主智能体建模欧洲研讨会。诉讼程序。 (英语) Zbl 0851.68105号

计算机科学课堂讲稿1069.人工智能课堂讲稿。柏林:斯普林格。viii,219页(1996年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP’95–面向对象编程。第九届欧洲会议,丹麦奥胡斯,1995年8月7日至11日。诉讼程序。 (英语) Zbl 0840.68025号

计算机科学课堂讲稿952.柏林:施普林格出版社(ISBN 978-3-540-60160-9/pbk)。xi,第471页。(1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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格式引用
全文: 内政部

ECOOP’93–面向对象编程。第七届欧洲会议,德国凯泽斯劳滕,1993年7月26日至30日。诉讼程序。 (英语) Zbl 0825.00121号

计算机科学课堂讲稿707.柏林:施普林格出版社。十一、 531 p.DM 96.00/sc(1993)。
MSC公司:00B25型 68-06
PDF格式BibTeX公司 XML格式引用
全文: 内政部

条件重写和类型重写系统。第二届国际CTRS研讨会,加拿大蒙特利尔,1990年6月11-14日。诉讼程序。 (英语) Zbl 0756.68010号

计算机科学课堂讲稿516.柏林等:施普林格出版社。十、 第461页(1991年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向对象语言的基础。1990年5月28日至6月1日,荷兰诺德威克霍特REX学校/研讨会。诉讼程序。 (英语) 邮编:0875.00080

计算机科学课堂讲稿. 489. 柏林:Springer-Verlag。八、 第442页(1991年)。
MSC公司:00B25型 68-06 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP’91,面向对象编程欧洲会议。1991年7月15日至19日,瑞士日内瓦。诉讼程序。 (英语) Zbl 0875.00128号

计算机科学课堂讲稿. 512. 柏林等:Springer-Verlag。十、 第396页(1991年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于对象的并发编程。ECOOP’91,研讨会,瑞士日内瓦,1991年7月15日至16日,会议记录。 (英语) Zbl 0770.68028号

计算机科学课堂讲稿. 612. 柏林等:Springer-Verlag。十、 264页(1991年)。
PDF格式BibTeX公司 XML格式引用

符号计算系统的设计与实现。1990年4月10日至12日,意大利卡普里,DISCO’90国际研讨会。诉讼程序。 (英语) Zbl 0757.68013号

计算机科学课堂讲稿. 429. 柏林等:Springer-Verlag。十二、 第284页(1990年)。
PDF格式BibTeX公司 XML格式引用

88年LOGLAN。报告编程语言。 (英语) 兹比尔0703.68029

计算机科学课堂讲稿, 414. 柏林等:Springer-Verlag。十、 133 p.DM 28.00(1990)。
MSC公司:68甲15 68号01 68-01
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP’88。面向对象编程欧洲(第二届)会议,奥斯陆/挪威,1988年8月15日至17日。诉讼程序。 (英语) Zbl 1087.68501号

计算机科学课堂讲稿322.柏林等:Springer-Verlag(ISBN 3-540-50053-7)。六、 第410页(1988年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

全部的 前5名

作者

全部的 前5名

出版年份

主字段

传记参考