本文に飛ぶ

年 〜
年

検索結果 10 件

Transactions on Petri nets and other models of concurrency 5 : 31st international conference on application and theory of Petri nets and other models of concurrency : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2010, Braga, Portugal. (Lecture Notes in Computer Science ; 6900. Journal Subline)

Transactions on Petri nets and other models of concurrency 5 : 31st international conference on application and theory of Petri nets and other models of concurrency : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2010, Braga, Portugal. (Lecture Notes in Computer Science ; 6900. Journal Subline)
紙図書
Springerc2012.<M17-13-59>
国立国会図書館
  • 件名...er simulation. Models and Principles. Theory of Computation. Algori...

Fundamentals of software engineering : 4th IPM international conference, FSEN 2011 : Tehran, Iran, April 20-22, 2011 : revised selected papers : Apr 2011, Tehran, Iran. (Lecture Notes in Computer Science ; 7141)

Fundamentals of software engineering : 4th IPM international conference, FSEN 2011 : Tehran, Iran, April 20-22, 2011 : revised selected papers : Apr 2011, Tehran, Iran. (Lecture Notes in Computer Science ; 7141)
紙図書
Springerc2012.<M17-13-65>
国立国会図書館
  • 件名...ng Techniques. Models and Principles. Programming Languages, Compil...

Conceptual modelling and its theoretical foundations : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday (Lecture notes in computer science ; 7260. Festschrift)

Conceptual modelling and its theoretical foundations : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday (Lecture notes in computer science ; 7260. Festschrift)
紙図書
Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).Springerc2012.<X>
国立国会図書館
  • 件名...mal Languages. Models and Principles. Artificial Intelligence (incl...

Declarative agent languages and technologies 9 : 9th international workshop, DALT 2011 : Taipei, Taiwan, May 3, 2011 : revised selected and invited papers : DALT2011 : 1st international spring school on declarative agent languages and technologies : May 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 7169. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 9 : 9th international workshop, DALT 2011 : Taipei, Taiwan, May 3, 2011 : revised selected and invited papers : DALT2011 : 1st international spring school on declarative agent languages and technologies : May 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 7169. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2012.<M17-13-69>
国立国会図書館
  • 件名... intelligence. Models and Principles. Programming Languages, Compil...

Computer architecture : ISCA 2010 international workshops : A4MMC, AMAS-BT, EAMA, WEED, WIOSCA : Saint-Malo, France, June 19-23, 2010 : revised selected papers : ACM IEEE international symposium on computer architecture : ISCA 37 : Jun 2010, Saint-Malo, France. (Lecture Notes in Computer Science ; 6161)

Computer architecture : ISCA 2010 international workshops : A4MMC, AMAS-BT, EAMA, WEED, WIOSCA : Saint-Malo, France, June 19-23, 2010 : revised selected papers : ACM IEEE international symposium on computer architecture : ISCA 37 : Jun 2010, Saint-Malo, France. (Lecture Notes in Computer Science ; 6161)
紙図書
Springerc2011.<M17-12-1881>
国立国会図書館
  • 件名...ating Systems. Models and Principles. Programming Techniques.

Testing software and systems : 23rd IFIP WG 6.1 international conference, ICTSS 2011 : Paris, France, November 7-10, 2011 : proceedings : Nov 2011, Paris, France. (Lecture Notes in Computer Science ; 7019)

Testing software and systems : 23rd IFIP WG 6.1 international conference, ICTSS 2011 : Paris, France, November 7-10, 2011 : proceedings : Nov 2011, Paris, France. (Lecture Notes in Computer Science ; 7019)
紙図書
Springerc2011.<M17-12-1537>
国立国会図書館

Algorithmic game theory : 4th international symposium, SAGT 2011 : Amalfi, Italy, October 17-19, 2011 : proceedings : Oct 2011, Amalfi, Italy. (Lecture Notes in Computer Science ; 6982)

Algorithmic game theory : 4th international symposium, SAGT 2011 : Amalfi, Italy, October 17-19, 2011 : proceedings : Oct 2011, Amalfi, Italy. (Lecture Notes in Computer Science ; 6982)
紙図書
Springerc2011.<M17-12-1323>
国立国会図書館

Graph drawing : 19th international symposium, GD 2011 : Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers : Sep 2011, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7034)

Graph drawing : 19th international symposium, GD 2011 : Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers : Sep 2011, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7034)
紙図書
Springerc2012.<M17-12-2115>
国立国会図書館

Transactions on rough sets 9. : 1st conference on rough sets and intelligent systems paradigms : int. conf. on rough sets and emerging intelligent systems paradigms : international conference on rough sets and emerging intelligent systems paradigms in memoriam Zdzislaw Pawlak (RSEISP'2007) : RSEISP07 international conference : 2007, Warsaw, Poland. (Lecture Notes in Computer Science ; 5390. Journal Subline)

Transactions on rough sets 9. : 1st conference on rough sets and intelligent systems paradigms : int. conf. on rough sets and emerging intelligent systems paradigms : international conference on rough sets and emerging intelligent systems paradigms in memoriam Zdzislaw Pawlak (RSEISP'2007) : RSEISP07 international conference : 2007, Warsaw, Poland. (Lecture Notes in Computer Science ; 5390. Journal Subline)
紙図書
Springerc2008.<M17-10-92>
国立国会図書館
  • 件名...dge Discovery. Models and Principles. Database Management. Electron...

Bio-inspired systems: computational and ambient intelligence : 10th international work-conference on artificial neural networks, IWANN 2009 : Salamanca, Spain, June 10-12, 2009 : proceedings, part 1. : IWANN conference "international work-conference on artificial neural networks" : Jun 2009, Salamanca, Spain. (Lecture Notes in Computer Science ; 5517)

Bio-inspired systems: computational and ambient intelligence : 10th international work-conference on artificial neural networks, IWANN 2009 : Salamanca, Spain, June 10-12, 2009 : proceedings, part 1. : IWANN conference "international work-conference on artificial neural networks" : Jun 2009, Salamanca, Spain. (Lecture Notes in Computer Science ; 5517)
紙図書
Springerc2009.<M17-10-955>
国立国会図書館
  • 件名...n Recognition. Models and Principles. Data Mining and Knowledge Dis...

検索結果は以上です。

RSS