Jacques Calmet: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (32)
Най-популярни
Списък
- Списък
- Таблица

1

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Springer-Verlag Berlin Heidelberg

Giovanni Di Crescenzo (auth.), Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.)

Година:

2008

Език:

english

Файл:

PDF, 2.75 MB

0 / 0

english, 2008

2

Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Springer International Publishing

Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos (eds.)

Година:

2014

Език:

english

Файл:

PDF, 9.34 MB

0 / 0

english, 2014

3

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Springer-Verlag Berlin Heidelberg

Arnold Schönhage (auth.), Jacques Calmet (eds.)

Година:

1982

Език:

english

Файл:

DJVU, 2.45 MB

0 / 0

english, 1982

4

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Luc De Raedt (auth.), Jacques Calmet, Jan Plaza (eds.)

Година:

1998

Език:

english

Файл:

PDF, 8.23 MB

0 / 0

english, 1998

5

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Springer Science & Business Media

Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade

Година:

2008

Език:

english

Файл:

PDF, 3.59 MB

0 / 4.0

english, 2008

6

Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings

Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

J. Calmet, J. A. Campbell (auth.), Jacques Calmet, John A. Campbell (eds.)

Година:

1993

Език:

english

Файл:

DJVU, 2.71 MB

0 / 0

english, 1993

7

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.)

Година:

1995

Език:

english

Файл:

DJVU, 2.52 MB

0 / 0

english, 1995

8

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)

Година:

1996

Език:

english

Файл:

DJVU, 4.16 MB

0 / 0

english, 1996

9

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, D. Korn, C. Kreitz, S. Schmitt (auth.), Jacques Calmet, Carla Limongelli (eds.)

Година:

1996

Език:

english

Файл:

DJVU, 4.10 MB

0 / 0

english, 1996

10

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Springer-Verlag Berlin Heidelberg

Arnold Schönhage (auth.), Jacques Calmet (eds.)

Година:

1982

Език:

english

Файл:

PDF, 6.20 MB

0 / 0

english, 1982

11

Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings

Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

J. Calmet, J. A. Campbell (auth.), Jacques Calmet, John A. Campbell (eds.)

Година:

1993

Език:

english

Файл:

DJVU, 2.73 MB

0 / 0

english, 1993

12

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Springer-Verlag Berlin Heidelberg

Arnold Schönhage (auth.), Jacques Calmet (eds.)

Година:

1982

Език:

english

Файл:

PDF, 6.20 MB

0 / 0

english, 1982

13

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.)

Година:

1995

Език:

english

Файл:

DJVU, 2.58 MB

0 / 0

english, 1995

14

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Springer-Verlag Berlin Heidelberg

Giovanni Di Crescenzo (auth.), Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.)

Година:

2008

Език:

english

Файл:

PDF, 3.33 MB

0 / 0

english, 2008

15

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Springer-Verlag Berlin Heidelberg

Giovanni Di Crescenzo (auth.), Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.)

Година:

2008

Език:

english

Файл:

PDF, 2.90 MB

0 / 5.0

english, 2008

16

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Springer International Publishing

Jacques Fleuriot, Dongming Wang, Jacques Calmet

Година:

2018

Език:

english

Файл:

PDF, 11.22 MB

0 / 0

english, 2018

17

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.)

Година:

2002

Език:

english

Файл:

PDF, 2.58 MB

0 / 0

english, 2002

18

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.)

Година:

2002

Език:

english

Файл:

PDF, 4.25 MB

0 / 0

english, 2002

19

Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings

Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

Jacques Calmet (eds.)

Година:

1986

Език:

english

Файл:

DJVU, 3.18 MB

0 / 0

english, 1986

20

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Springer-Verlag Berlin Heidelberg

Giovanni Di Crescenzo (auth.), Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.)

Година:

2008

Език:

english

Файл:

PDF, 4.10 MB

0 / 0

english, 2008

21

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)

Година:

1996

Език:

english

Файл:

PDF, 9.36 MB

0 / 0

english, 1996

22

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)

Година:

2006

Език:

english

Файл:

PDF, 2.70 MB

0 / 0

english, 2006

23

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)

Година:

2006

Език:

english

Файл:

PDF, 3.01 MB

0 / 0

english, 2006

24

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Springer-Verlag Berlin Heidelberg

Arnold Schönhage (auth.), Jacques Calmet (eds.)

Година:

1982

Език:

english

Файл:

DJVU, 2.43 MB

0 / 0

english, 1982

25

Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010

Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010

Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton

Година:

2010

Език:

english

Файл:

PDF, 4.60 MB

0 / 0

english, 2010

26

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

James H. Davenport (auth.), Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.)

Година:

2010

Език:

english

Файл:

PDF, 7.53 MB

0 / 0

english, 2010

27

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)

Година:

1996

Език:

english

Файл:

DJVU, 4.20 MB

0 / 0

english, 1996

28

Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings

Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

Jacques Calmet (eds.)

Година:

1986

Език:

english

Файл:

PDF, 7.28 MB

0 / 0

english, 1986

29

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Luc De Raedt (auth.), Jacques Calmet, Jan Plaza (eds.)

Година:

1998

Език:

english

Файл:

PDF, 8.23 MB

0 / 0

english, 1998

30

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ...

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ...

Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton

Година:

2010

Език:

english

Файл:

PDF, 8.02 MB

0 / 0

english, 2010

31

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

James H. Davenport (auth.), Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.)

Година:

2010

Език:

english

Файл:

PDF, 10.56 MB

0 / 0

english, 2010

32

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

James H. Davenport (auth.), Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (eds.)

Година:

2010

Език:

english

Файл:

PDF, 7.57 MB

0 / 0

english, 2010