Jump to main content

yr 〜
yr

Search results 53

Developing Field Emitter Array Cathode systems for electrodynamic tether propulsion AIAA-2000-3867

Developing Field Emitter Array Cathode systems for electrodynamic tether propulsion AIAA-2000-3867
Paper規格・テクニカルリポート類
Morris, D, Gilchrist, B, Gallimore, A, Jensen, K2000<M-AIAA-2000-3867>
National Diet Library

Warm-gas thruster development using gaseous hydrogen and oxygen with catalytic ignition AIAA-2000-3163

Warm-gas thruster development using gaseous hydrogen and oxygen with catalytic ignition AIAA-2000-3163
Paper規格・テクニカルリポート類
Jensen, K, Heinitz, D, Humble, R. W, Carter, P, Weisberg, A, Mitlitsky, F, Myers, B2000<M-AIAA-2000-3163>
National Diet Library

ウェイト=スミス・タロット物語 : いま明かされる世紀のカードの成立事情 : 世界で最も愛されているタロットカード

ウェイト=スミス・タロット物語 : いま明かされる世紀のカードの成立事情 : 世界で最も愛されているタロットカード
Paper図書
K・フランク・イェンセン 著, 江口之隆 訳・解説ヒカルランド2019.2<Y78-M212>
National Diet LibraryOther Libraries in Japan
  • Author HeadingJensen, K. Frank, 1933-2016

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)
Paper図書
Springerc2013.<M17-13-2734>
National Diet Library
  • Author Heading...tock, Germany) Jensen, K. (Kurt), 1950-

Transactions on Petri nets and other models of concurrency 4. : 30th international conference on application and theory of Petri nets and other models of concurrency : 10th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : 2009, ------. (Lecture Notes in Computer Science ; 6550. Journal Subline)

Transactions on Petri nets and other models of concurrency 4. : 30th international conference on application and theory of Petri nets and other models of concurrency : 10th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : 2009, ------. (Lecture Notes in Computer Science ; 6550. Journal Subline)
Paper図書
Springerc2010.<M17-11-1908>
National Diet Library
  • Author HeadingJensen, K. (Kurt) , 1950- Donatelli, Sus...

Transactions on Petri nets and other models of concurrency 2 : special issue on concurrency in process-aware information systems. : "LNCS transactions on Petri nets and other models of concurrency" (ToPNoC) : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5460. Journal Subline)

Transactions on Petri nets and other models of concurrency 2 : special issue on concurrency in process-aware information systems. : "LNCS transactions on Petri nets and other models of concurrency" (ToPNoC) : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5460. Journal Subline)
Paper図書
Springerc2009.<M17-09-1677>
National Diet Library
  • Author HeadingJensen, K. (Kurt) , 1950- Aalst, Wil van...

Transactions on Petri nets and other models of concurrency 3. : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : 29th international conference on application and theory of Petri nets and other models concurrency : 8th and 9th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5800. Journal Subline)

Transactions on Petri nets and other models of concurrency 3. : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : 29th international conference on application and theory of Petri nets and other models concurrency : 8th and 9th workshop and tutorial on practical use of coloured Petri nets and the CPN tools : annual international conference on application and theory of Petri nets and other models of concurrency : ------. (Lecture Notes in Computer Science ; 5800. Journal Subline)
Paper図書
Springerc2009.<M17-10-1380>
National Diet Library
  • Author HeadingJensen, K. (Kurt) , 1950- Billington, Jo...

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)
Paper図書
Springerc2012.<M17-13-59>
National Diet Library
  • Author HeadingJensen, K. (Kurt), 1950- Donatelli, Susa...

Transactions on Petri nets and other models of concurrency 1. : 28th international conference on application and theory of Petri nets and other models of concurrency : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2007, Siedlce, Poland. (Lecture Notes in Computer Science ; 5100. Journal Subline)

Transactions on Petri nets and other models of concurrency 1. : 28th international conference on application and theory of Petri nets and other models of concurrency : LNCS transactions on Petri nets and other models of concurrency (ToPNoC) : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2007, Siedlce, Poland. (Lecture Notes in Computer Science ; 5100. Journal Subline)
Paper図書
Springerc2008.<M17-09-1088>
National Diet Library
  • Author HeadingJensen, K. (Kurt) , 1950- Aalst, Wil van...

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2988)

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2988)
Paper図書
Springerc2004.<M17-04-3043>
National Diet Library
  • Author Heading...SI Department. Jensen, K. (Kurt) , 1950- Podelski, Andr...

ELECTROCHEMICAL INVESTIGATIONS OF SPUTTERED OXIDE ELECTRODES (NEI ; NEI-DK-857)

ELECTROCHEMICAL INVESTIGATIONS OF SPUTTERED OXIDE ELECTRODES (NEI ; NEI-DK-857)
Paper図書
WEST, K.// ZACHAU-CHRISTIANSEN, B.// SKAARUP, S.// POULSEN, F.W.// JENSEN, K. (RISOE NATIONAL LAB., ROSKILDE (DENMARK). MATERIALS DEPT.// DANMARKS TEKNISKE HOEJSKOLE, LYNGBY (DENMARK). FYSIK-KEMISK INST.)1991.
Other Libraries in Japan
  • Author Heading... POULSEN, F.W. JENSEN, K. DANMARKS TEKNISKE HOEJSKOLE, ...

Evacuable guarded hot plate apparatus DTU-LV-95-24 DE96 739920

Evacuable guarded hot plate apparatus DTU-LV-95-24 DE96 739920
PaperMicroform規格・テクニカルリポート類
Ingerslev Jensen, K1995<LS-DE96/739920>
National Diet LibraryOther Libraries in Japan

Aerogelruder. (Aerogel window panes) DTU-LV-MEDD-266 DE95 717349

Aerogelruder. (Aerogel window panes) DTU-LV-MEDD-266 DE95 717349
Microform規格・テクニカルリポート類
Ingerslev Jensen, K1994<LS-DE95/717349>
National Diet Library

Grid-connection of wind turbines and wind farms NEI-DK-1943 DE95 766548

Grid-connection of wind turbines and wind farms NEI-DK-1943 DE95 766548
PaperMicroform規格・テクニカルリポート類
Koelbaek Jensen, K1993<LS-DE95/766548>
National Diet LibraryOther Libraries in Japan

Coloured petri nets : modelling and validation of concurrent systems

Coloured petri nets : modelling and validation of concurrent systems
Paper図書
Kurt Jensen, Lars M. KristensenSpringerc2009
Other Libraries in Japan
  • Author HeadingJensen, K. (Kurt) Kristensen, Lars M.

COLD NEUTRON SOURCE IN DR 3. (RISO ; RISO-M-2246)

COLD NEUTRON SOURCE IN DR 3. (RISO ; RISO-M-2246)
Paper図書
JENSEN, K.(et al.)RISO National Laboratory(RISO National Laboratory)1980.
Other Libraries in Japan
  • Author HeadingJENSEN, K.

RESEARCH ON ENERGY STORAGE AT RISO NATIONAL LABORATORY. (RISO ; RISO-M-2191)

RESEARCH ON ENERGY STORAGE AT RISO NATIONAL LABORATORY. (RISO ; RISO-M-2191)
Paper図書
JENSEN, K.(et al.)RISO National Laboratory(RISO National Laboratory)1979.
Other Libraries in Japan
  • Author HeadingJENSEN, K.

Transactions on Petri nets and other models of concurrency 1 2 3 5 7

Transactions on Petri nets and other models of concurrency 1 2 3 5 7
Paper図書
Kurt Jensen, Wil M.P. van der Aalst, Jonathan Billington (eds.)Springerc2008-
Other Libraries in Japan
  • Author HeadingJensen, K. (Kurt) Aalst, Wil van der Bil...

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings
Paper図書
Kurt Jensen, Andreas Podelski (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingTACAS Jensen, K. (Kurt) Podelski, Andreas Euro...

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 1992 : proceedings / K. Jensen (ed.). (Lecture notes in computer science)

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 1992 : proceedings / K. Jensen (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8274>
National Diet Library
  • Author HeadingJensen, K. (Kurt) , 1950- Sheffield City...
RSS