ヘルプ
ヘルプ

検索結果 19 件

Algebra of synchronization with application to deadlock and semaphores (Special issue on selected papers from the first International Conference Networking and Computing)

Algebra of synchronization with application to deadlock and semaphores (Special issue on selected papers from the first International Conference Networking and Computing)
紙デジタル記事
Ernesto Gomez, Keith Schubert<Z78-A690>International journal of networking and computing1(2) 2011.7p.144～156
国立国会図書館全国の図書館
  • 要約等...le semaphores, one of the most basic synchronization primitives, pr...... mutual exclusion. Practical implementation of the concept has, howev......res that are prone to deadlock, ......iginal definition is theoretical......formal definition and new genera......heory of synchronization. We illustrate......mple modifications to semaphores...... future directions for deadlock resolution that also avoi......source starvation.</p>
  • 件名synchronization deadlock algebra semaphore
  • 参照Synchronization Problems Solva......es and starvation-free mutual exclusion Synchronization with eventcoun......un-time detection of potential d......maphores, and condition variables Algebra of Synchronization with Application to Deadlock an......cesses Limitations of Dijkstra's......nd Petri nets Monitors

On algebraic geometry, including correspondence with Grothendieck

On algebraic geometry, including correspondence with Grothendieck
紙図書
David Mumford ; eidtors, Amnon Neeman, Ching-Li Chai, Takahiro ShiotaSpringer2019
全国の図書館
  • 一般注記"Reprint of the 2010 edition"--T.p. Includes bibliographic...
  • 並列タイトル等（連結）Selected papers II
  • 並列タイトル等Selected papers II

Operator algebras and their applications : Workshops : ------. (Fields Institute Communications ; 13,20)

Operator algebras and their applications : Workshops : ------. (Fields Institute Communications ; 13,20)
紙図書
American Mathematical Societyc1997-c1998.<M17-01-1486>
国立国会図書館
  • 一般注記Selected papers. In 2 parts. Selected papers based on seminars and w......term: operator algebras.
  • 並列タイトル等（連結）In 2 parts. Selected papers based on seminars and w......itute operator algebras
  • 並列タイトル等In 2 parts. Selected papers based on seminars and w......itute operator algebras

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004 : Barcelona, Spain, March 27-29, 2004 : revised selected papers. : 17th international workshop on algebraic development techniques : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 3423)

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004 : Barcelona, Spain, March 27-29, 2004 : revised selected papers. : 17th international workshop on algebraic development techniques : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 3423)
紙図書
Springerc2005.<M17-05-1166>
国立国会図書館
  • 一般注記Revised selected papers. "The workshop......G 1.3 (Foundations of System Specification) , (...) " -- preface.

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002 : Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. : 16th international workshop on algebraic development techniques : Sep 2002, Frauenchiemsee, Germany. (Lecture Notes in Computer Science ; 2755)

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002 : Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. : 16th international workshop on algebraic development techniques : Sep 2002, Frauenchiemsee, Germany. (Lecture Notes in Computer Science ; 2755)
紙図書
Springer-Verlagc2003.<M17-04-2562>
国立国会図書館
  • 件名...evelopment -- Congresses. Comput......athematics -- Congresses. Abstra......r science) -- Congresses.
  • 一般注記Revised selected papers.
  • 著者標目IFIP. WG 1.3. (Foundations of System Specification) Wirsing, M. (Martin) Pattinson, Dirk, 1970- Hennicker, Rolf,...

Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004 : Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004 : Xian, China, May 24-28, 2004 : revised selected papers. : international workshop on mathematics mechanization : May 2004, Shanghai, China. (Lecture Notes in Computer Science ; 3519)

Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004 : Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004 : Xian, China, May 24-28, 2004 : revised selected papers. : international workshop on mathematics mechanization : May 2004, Shanghai, China. (Lecture Notes in Computer Science ; 3519)
紙図書
Springerc2005.<M17-05-1727>
国立国会図書館
  • 一般注記Revised selected papers. Also held at ......he first was 'Constructive and I......ant Methods in Algebraic and Differential Equations, ' (...) . The second was 'Geometri......e and Applications in Engineering' (GIAE) , (.....

Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)

Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)
紙図書
Springerc2004.<M17-04-3132>
国立国会図書館
  • 件名Relation algebras -- Congresses.
  • 一般注記Revised selected papers.
  • 著者標目...eorg. International Seminar on Relational Methods in C......many) International Workshop on Applications of Kleene Algebra (2nd : 2003 ; Bad Malente, Ge...

Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)

Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)
紙図書
Springerc2006.<M17-06-1895>
国立国会図書館
  • 件名Computer science -- Congresses. Relationism -- Congresses. Algebra -- Computer programs -- Congresses. Relation algebras -- Congresses.
  • 一般注記Revised selected papers.
  • 著者標目... Ivo. International Seminar on Relational Methods in C......t. Catharines, Ont.) International Workshop on Applications of Kleene Algebra (3rd : 2005 : ......t. Catharines, Ont.)

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 : joint with the CoFI WG meeting : Genova, Italy, April 1-3, 2001 : selected papers. : 15th international workshop on algebraic development techniques (WADT 2001) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2267)

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 : joint with the CoFI WG meeting : Genova, Italy, April 1-3, 2001 : selected papers. : 15th international workshop on algebraic development techniques (WADT 2001) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2267)
紙図書
Springerc2001.<M17-03-2458>
国立国会図書館
  • 件名...evelopment -- Congresses. Comput......athematics -- Congresses. Abstra......r science) -- Congresses.
  • 一般注記Selected papers.
  • 著者標目Cerioli, Maura. Reggio, Gianna, 1957- WADT 2001 Conference (2001 : Genoa, Italy)

Selected papers on algebra and topology : Boston : Basel : [pbk.]

Selected papers on algebra and topology : Boston : Basel : [pbk.]
紙図書
by Garrett Birkhoff ; edited by Gian-Carlo Rota, Joseph S. OliveiraBirkhäuser1987
全国の図書館
  • 件名Algebra, Universal -- Collected works...
  • 件名（識別子）Algebra, Universal -- Collected works...
  • 一般注記"Bibliography of Garrett Birkhoff's books and papers, 1933-1986": p. ix-xv

Symbolic dynamics and C^*-algebras, in Selected Papers on Analysis and Differential Equations

Symbolic dynamics and C^*-algebras, in Selected Papers on Analysis and Differential Equations
記事
2003Amer. Math. Soc. Transl. (2) 211p.47-70
全国の図書館

Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
紙図書
Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)Springerc2004
全国の図書館
  • 著者標目...lMiCS International Workshop on Applications of Kleene Algebra

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers
紙図書
Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.)Springerc2006
全国の図書館
  • 著者標目International Workshop on Applications of Kleene Algebra Workshop of COST Action 274 TARSKI MacCaull, Wendy Wi...

Selected papers on number theory and algebraic geometry

Selected papers on number theory and algebraic geometry
紙図書
Katsumi Nomizu, editor ; [translation edited by Katsumi Nomizu]American Mathematical Societyc1996
全国の図書館
  • 件名Number theory Geometry, Algebraic
  • 件名（識別子）Number theory Geometry, Algebraic
  • 一般注記"A collection of five papers that originally appeared in t...

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
紙図書
edited by Xavier Caicedo, Carlos H. MontenegroMarcel Dekkerc1999
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses
  • 著者標目Latin-American Symposium on Mathematical Logic Caicedo, Xavier Montenegro, Carlos H.

Selected papers on number theory, algebraic geometry, and differential geometry

Selected papers on number theory, algebraic geometry, and differential geometry
紙図書
Katsumi Nomizu, editorAmerican Mathematical Societyc1994
全国の図書館
  • 件名Number theory Geometry, Algebraic Geometry, Differential
  • 件名（識別子）Number theory Geometry, Algebraic Geometry, Differential
  • 一般注記...s is a collection of several papers that originall......Sugaku Expositions'"--Preface

Selected papers on algebra

Selected papers on algebra
紙図書
selected and arranged by an editorial committee consisting of Susan Montgomery and Elizabeth W. Ralston, co-chairmen, S. Robert Gordon ... [et al.]Mathematical Association of Americac1977
全国の図書館
  • 件名Algebra -- Addresses, essays, lectures Algebra, Abstract -- Addresses, essay...
  • 件名（識別子）Algebra -- Addresses, essays, lectures Algebra, Abstract -- Addresses, essay...
  • 一般注記... mathematical monthly (volumes 1-80) and from t...

Selected papers, by S. Lefschetz.

Selected papers, by S. Lefschetz.
紙図書
Chelsea Pub. Co.[1971]<MA21-87>
国立国会図書館
  • 内容細目... autobiography On certain numeri...... invariants of algebraic varieties, with application to Abelian var......ties Intersections and transformations of complexes ......ir transformations L'analysis si......rique Locally connected sets and......their applications Singular and continuous complex......periodic solutions of differential equations On singular chains and cycles On generalized ma......Chain-deformations in topology C......sed point sets on a manifold On transformations of closed sets On compact spaces On separable spaces On locally connected and related sets On the fixed-point formula Bibli...
  • 件名Topology. Geometry, Algebraic.
  • 著者標目Lefschetz, Solomon, 1884-1972

n-fold positive implicative BCK-algebras, Selected Papers on Fourth National BCK- and BIK-algebraic Academic Conference

n-fold positive implicative BCK-algebras, Selected Papers on Fourth National BCK- and BIK-algebraic Academic Conference
記事
1989Fuzhou
全国の図書館

検索結果は以上です。