ورود به حساب کاربری

Gerhard Goos; Juris Hartmanis; Jan Van Leeuwen

کتاب های Gerhard Goos; Juris Hartmanis; Jan Van Leeuwen

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98 Manchester, UK, June 15-19, 1998 Selected Papers.

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98 Manchester, UK, June 15-19, 1998 Selected Papers.

Gerhard Goo...
20
هزار تومان
Advances in Web-Age Information Management : 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003. Proceedings.

Advances in Web-Age Information Management : 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003. Proceedings.

Gerhard Goo...
20
هزار تومان
Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings.

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings.

Gerhard Goo...
20
هزار تومان
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings.

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings.

Gerhard Goo...
20
هزار تومان
Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21-23, 2001 Proceedings.

Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21-23, 2001 Proceedings.

Gerhard Goo...
20
هزار تومان
Algorithms - ESA' 99 : 7th Annual European Symposium Prague, Czech Republic, July 16-18, 1999 Proceedings.

Algorithms - ESA' 99 : 7th Annual European Symposium Prague, Czech Republic, July 16-18, 1999 Proceedings.

Gerhard Goo...
20
هزار تومان
Advances in Spatial Databases : 6th International Symposium, SSD'99 Hong Kong, China, July 2023, 1999 Proceedings.

Advances in Spatial Databases : 6th International Symposium, SSD'99 Hong Kong, China, July 2023, 1999 Proceedings.

Gerhard Goo...
20
هزار تومان
Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 Proceedings.

Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 Proceedings.

Gerhard Goo...
20
هزار تومان
Fundamental Approaches to Software Engineering : Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings.

Fundamental Approaches to Software Engineering : Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings.

Gerhard Goo...
20
هزار تومان
Theory and Practice of Informatics : 28th Conference on Current Trends in Theory and Practice of Informatics Pies̆t'any, Slovak Republic, November 24 - December 1, 2001 Proceedings.

Theory and Practice of Informatics : 28th Conference on Current Trends in Theory and Practice of Informatics Pies̆t'any, Slovak Republic, November 24 - December 1, 2001 Proceedings.

Gerhard Goo...
20
هزار تومان
Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16-18, 1999 Proceedings.

Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16-18, 1999 Proceedings.

Gerhard Goo...
20
هزار تومان
Interactive Multimedia on Next Generation Networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003. Proceedings.

Interactive Multimedia on Next Generation Networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003. Proceedings.

Gerhard Goo...
20
هزار تومان
Computing and Combinatorics : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings.

Computing and Combinatorics : 9th Annual International Conference, COCOON 2003 Big Sky, MT, USA, July 25-28, 2003 Proceedings.

Gerhard Goo...
20
هزار تومان
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19-23, 2000 Revised Tutorial Lectures.

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19-23, 2000 Revised Tutorial Lectures.

Gerhard Goo...
20
هزار تومان
Algorithms - ESA 2000 : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings.

Algorithms - ESA 2000 : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings.

Gerhard Goo...
20
هزار تومان
CONCUR'99 Concurrency Theory : 10th International Conference Eindhoven, The Netherlands, August 2427, 1999 Proceedings.

CONCUR'99 Concurrency Theory : 10th International Conference Eindhoven, The Netherlands, August 2427, 1999 Proceedings.

Gerhard Goo...
20
هزار تومان
Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings.

Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings.

Gerhard Goo...
20
هزار تومان
Cryptography and Lattices : International Conference, CaLC 2001 Providence, RI, USA, March 29-30, 2001 Revised Papers.

Cryptography and Lattices : International Conference, CaLC 2001 Providence, RI, USA, March 29-30, 2001 Revised Papers.

Gerhard Goo...
20
هزار تومان
Mathematical Methods for Protein Structure Analysis and Design : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000. Advanced Lectures.

Mathematical Methods for Protein Structure Analysis and Design : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000. Advanced Lectures.

Gerhard Goo...
20
هزار تومان
Machines, Computations, and Universality : Third International Conference, MCU 2001 ChişinÄ‚u, Moldova, May 23-27, 2001 Proceedings.

Machines, Computations, and Universality : Third International Conference, MCU 2001 ChişinÄ‚u, Moldova, May 23-27, 2001 Proceedings.

Gerhard Goo...
20
هزار تومان
Advances in Cryptology - CRYPTO 2003 : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings.

Advances in Cryptology - CRYPTO 2003 : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings.

Gerhard Goo...
20
هزار تومان
Computational Science and Its Applications ICCSA 2003 : International Conference Montreal, Canada, May 18-21, 2003 Proceedings, Part 2.

Computational Science and Its Applications ICCSA 2003 : International Conference Montreal, Canada, May 18-21, 2003 Proceedings, Part 2.

Gerhard Goo...
20
هزار تومان
Algorithmic Number Theory : 5th International Symposium, ANTS-V Sydney, Australia, July 7-12, 2002 Proceedings.

Algorithmic Number Theory : 5th International Symposium, ANTS-V Sydney, Australia, July 7-12, 2002 Proceedings.

Gerhard Goo...
20
هزار تومان
Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings.

Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings.

Gerhard Goo...
20
هزار تومان
Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings.

Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings.

Gerhard Goo...
20
هزار تومان
Computer Safety, Reliability and Security : 17th International Conference, SAFECOMP'98 Heidelberg, Germany, October 5-7, 1998 Proceedings.

Computer Safety, Reliability and Security : 17th International Conference, SAFECOMP'98 Heidelberg, Germany, October 5-7, 1998 Proceedings.

Gerhard Goo...
20
هزار تومان
Development and Evolution of Software Architectures for Product Families : Second International ESPRIT ARES Workshop Las Palmas de Gran Canaria, Spain February 26-27, 1998 Proceedings.

Development and Evolution of Software Architectures for Product Families : Second International ESPRIT ARES Workshop Las Palmas de Gran Canaria, Spain February 26-27, 1998 Proceedings.

Gerhard Goo...
20
هزار تومان
Software Process Technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003. Proceedings.

Software Process Technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003. Proceedings.

Gerhard Goo...
20
هزار تومان
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن