A relational theory of computing :: SCD d'Orléans

A relational theory of computing

A relational theory of computing

保存先:

書誌詳細
第一著者:	Sanderson, John G.
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 82
主題:	Informatique Algorithmes Ordinateurs Métamathématique
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• A Relational theory of computing, John G. Sanderson, Berlin, Springer, 1980, Lecture notes in computer science - LNCS, 3-540-09987-5 • A Relational Theory of Computing, Texte imprimé, 9783662199213

類似資料

Metamathematik
著者:: Lorenzen, Paul, 1915-1994
出版事項: (1962)

Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings

How to read and do proofs : an introduction to mathematical thought processes
著者:: Solow, Daniel
出版事項: (2005)

Foundations of mathematics : questions of analysis, geometry & algorithmics
著者:: Engeler, Erwin, 1930-
出版事項: (1983)

Introduction to parallel computing
著者:: Grama, Ananth
出版事項: (2003)

Les fondements de la géométrie
著者:: Hilbert, David, 1862-1943
出版事項: (1971)

Théorie métamathématique des idéaux
著者:: Robinson, Abraham, 1918-1974, mathématicien
出版事項: (1955)

Introduction to metamathematics
著者:: Kleene, Stephen Cole, 1909-1994
出版事項: (1952)

Sur la nature des mathématiques
著者:: Bruter, Claude Paul, 1937-...., mathématicien
出版事項: (1973)

Fault-tolerant distributed computing
著者:: Simons, Barbara

Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers

Evolutionary computing : AISB International Workshop, Manchester, UK, April 7-8, 1997 : proceedings

High-performance computing and networking : international conference and exhibition, Vienna, Austria, April 28-30, 1997 : proceedings

High performance computing : 5th international symposium, ISHPC 2003, Tokyo-Odaiba, Japan, october 20-22, 2003 : proceedings

Computing and combinatorics : 6th annual international conference, COCOON 2000 Sydney, Australia, July 26 28, 2000 : proceedings

Distributed computing : 15th International Conference, DISC 2001 Lisbon, Portugal, October 3 5, 2001 : proceedings

Applied parallel computing : industrial-strength computation and optimization : Third International Workshop, PARA ±96, Lyngby, Denmark, August 18-21, 1996 : proceedings

High performance computing and networking : 8th international conference, HPCN Europe, 2000, Amsterdam, The Netherlands, May 8-10, 2000 : proceedings

Grid computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003 : revised papers
著者:: Fernández Rivera, Francisco

High-Performance Computing and Networking : International Conference and Exhibition, HPCN EUROPE 1996, Brussels, Belgium, April 15-19, 1996 : proceedings

Distributed computing : 12th international symposium, DISC 98 Andros, Greece, September 24 26, 1998 : proceedings

Distributed computing : 14th International Conference, DISC 2000 Toledo, Spain, October 4 6, 2000 : proceedings

Distributed computing : 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004 : proceedings

Distributed computing : 16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings

Distributed computing : 17th international conference, DISC 2003, Sorrento, Italy, October 1-3, 2003 : proceedings

Grid computing : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004 : revised papers
著者:: Dikaiakos, Marios D., 1965

Distributed computing : 13th International Symposium, DISC 99 Bratislava, Slovak Republic September 27 29, 1999 : proceedings

Applied computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 : proceedings
著者:: Manandhar, Suresh

Network and parallel computing : IFIP international confernce, NPC 2004, Wuhan, China, October 18-20, 2004 : proceedings

The metamathematics of algebraic systems : collected papers : 1936-1967
著者:: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
出版事項: (1971)

La logique interne
著者:: Gauthier, Yvon, 1941-
出版事項: (1991)

Ecrits logiques
著者:: Herbrand, Jacques, 1908-1931, 等
出版事項: (1968)

Métamathématique
著者:: Lorenzen, Paul, 1915-1994
出版事項: (1967)

Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 2001 : proceedings

Computing and combinatorics : third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings

Parallel computing technologies : 4th international conference, PaCT-97, Yaroslavl, Russia, September 8 12, 1997 : proceedings

Parallel computing technologies : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3 7, 2001 : proceedings

Computing and combinatorics : 5th annual international conference, COCOON'99, Tokyo, Japan, July 26-28, 1999 : proceedings

Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

Computing and combinatorics : 9th annual international conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales