ISBNs for computer programming congresses

ISBN.nu

search for books and compare prices

computer programming congresses matches 150 work(s)

< previous 25 | displaying 26 to 50 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

Term Rewriting And Applications: 16th International Conference, Rta 2005, Nara, Japan, April 19-21, 2005, Proceedings

Product Description: This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19â 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan...read more

By Jurgen Giesl (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540255963 | Springer Verlag, June 1, 2005, cover price $149.00 | About this edition: This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19â 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan.

Theoretical Aspects of Computing--ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004

Product Description: This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement...read more

By Keijiro Araki (editor) and Zhiming Liu (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540253044 | Springer Verlag, May 31, 2005, cover price $149.00 | About this edition: This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004.

Machines, Computations, And Universality: 4th International Conference, Mcu 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Product Description: In this volume, the reader will ?rst?nd the invited talks givenatthe conference. Then, in a second part, he/she will ?nd the contributions which were presented attheconferenceafterselection.Inbothcases,papersaregiveninthealphabetic order of the authors...read more

By Maurice Margenstern and McU 200 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540252610 | Springer Verlag, May 1, 2005, cover price $109.00 | About this edition: In this volume, the reader will ?

Programming Multi-Agent Systems: Second International Workshop Promas 2004, New York, Ny, July 20, 2004, Selected Revised And Invited Papers

By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jnrgen Dix (editor) and Amal El Fallah Seghrouchni (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540245599 | Springer Verlag, April 1, 2005, cover price $99.00

Automata, Languages And Programming: 31st International Colloquium, Icalp 2004, Turku, Finland, July 12-16, 2004, Proceedings

Product Description: This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. talks were carefully reviewed and selected from 379 submissions...read more

By Josep Diaz (editor), Juhani Karhumaki (editor), Arto Lepisto (editor) and Donald Sannella (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540228493 | Springer-Verlag New York Inc, January 30, 2005, cover price $239.00 | About this edition: This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004.

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

By Roberto Giacobazzi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540227915 | Springer-Verlag New York Inc, January 1, 2005, cover price $119.00

Global Computing: Ist/fet International Workshop, Gc 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Product Description: This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Computing held in Rovereto, Italy (9-12 March, 2004). The workshop involved all the thirteen projects funded under the IST/FET proactive initiative on GLOBAL COMPUTING: AGILE; CRESCCO; DART; DBGLOBE;DEGAS;FLAGS;MIKADO;MRG;MYTHS;PEPITO;PROFUN- DIS; SECURE; SOCS...read more

By Corrado Priami (editor) and Paola Quaglia (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540241010 | Springer Verlag, January 1, 2005, cover price $109.00 | About this edition: This volume collects revised versions of some of the papers presented at the S- ond IST/FET International Workshop on Global Computing held in Rovereto, Italy (9-12 March, 2004).

Rewriting Techniques And Applications: 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings

Product Description: This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research on all aspects of rewriting...read more

By INTERNATIONAL CONFERENCE ON REWRITING TE and Vincent Van Oostrom (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540221531 | Springer Verlag, November 30, 2004, cover price $99.00 | About this edition: This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany.

Global Computing: Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003 Rovereto, Italy, February 9-14, 2003,

Product Description: The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?exible, dependable, secure, robust and e?cient. The dominant concerns are those of handling the co-ordination and interaction, security, reliability, robustness, fa- uremodes,andcontrolofriskoftheentitiesinthesystemandtheoveralldesign, descriptionandperformanceofthesystemitself...read more

By Gc 200 (other contributor) and Corrado Priami

See complete details on each edition (1 edition listed)

Paperback:

9783540205838 | Springer-Verlag New York Inc, September 15, 2004, cover price $89.99 | About this edition: The goal of the IST/FET proactive initiative on Global Computing is to - tain models, frameworks, methods, algorithms to build systems that are ?

Programming Multi-Agent Systems: First International Workshop, Promas 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers

Product Description: Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm...read more

By Mehdi Dastani, Jurgen Dix (editor), Amal EL Fallah-Seghrouchni (editor) and Vic Promas 2003 Melbourne (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540221807 | Springer-Verlag New York Inc, August 15, 2004, cover price $89.99 | About this edition: Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems.

Mathematics of Program Construction: 7th International Conference, Mpc 2004, Stirling, Scotland, Uk, July 12-14, 2004, Proceedings

Product Description: This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware...read more

By INTERNATIONAL CONFERENCE ON THE MATHEMAT, Dexter Kozen and Carron Shankland (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540223801 | Springer Verlag, August 5, 2004, cover price $119.00 | About this edition: This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction.

Proceedings Of The Fifteenth Annual Acm-siam Symposium On Discrete Algorithsm

See complete details on each edition (1 edition listed)

Paperback:

9780898715583 | Society for Industrial & Applied, April 30, 2004, cover price $144.50

Programming Languages And Systems: 13th European Symposium on Programming, ESOP 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcel

By Etaps 200 (other contributor), European Symposium on Programming 2004 and David A. Schmidt (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540213130 | Springer-Verlag New York Inc, April 28, 2004, cover price $129.00

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003 Akademgorodok, Novosibirsk, Russia, July 2003 Revised Papers

Product Description: This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement...read more

By Manfred Broy, INTERNATIONAL ANDREI ERSHOV MEMORIAL CON, Manfredbroy (editor) and A. V. Zamulin

See complete details on each edition (1 edition listed)

Paperback:

9783540208136 | Springer-Verlag New York Inc, March 5, 2004, cover price $139.00 | About this edition: This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.

Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings

Product Description: The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions...read more

By International Conference on Rewriting Techniques and Applications (other contributor) and Robert Nieuwenhuis

See complete details on each edition (2 editions listed)

Paperback:

9783540402541 | Springer-Verlag New York Inc, August 1, 2003, cover price $139.00 | About this edition: The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.

Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 11-13, 2003 : Proceedings

By Radhia Cousot and International Static Analysis Symposium 2003 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540403258 | Springer-Verlag New York Inc, August 1, 2003, cover price $139.00

Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers

By Herman Geuvers and Freek Wiedijk

See complete details on each edition (1 edition listed)

Paperback:

9783540140313 | Springer-Verlag New York Inc, June 1, 2003, cover price $109.00

Programming Languages and Systems: 12th European Symposium on Programming, Esop 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003

Product Description: Â This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presentedÂ together with two invited papers were carefully reviewed and selected from 99 submissions...read more

By Pierpaolo Degano, Etaps 200 (other contributor) and European Symposium on Programming 2003 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540008866 | Springer Verlag, March 1, 2003, cover price $129.00 | About this edition: Â This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.

Static Analysis: 9th International Symposium, Sas 2002, Madrid, Spain, September 17-20, 2002 : Proceedings

Product Description: Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri?cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area...read more

By Manuel Hermenegildo (editor), International Static Analysis Symposium 2002 (other contributor) and German Puebla

See complete details on each edition (1 edition listed)

Paperback:

9783540442356 | Springer Verlag, October 1, 2002, cover price $139.00 | About this edition: Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri?

Trends in Network and Pervasive Computing-Arcs 2002: International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 2002 : Proceedings

(view table of contents)

By Arcs 200 (other contributor), Theo Ungerer (editor) and Lars Christian Wolf (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540434092 | Springer Verlag, July 1, 2002, cover price $99.00

Mathematics of Program Construction: 6th International Conference, Mpc 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : Proceedings

Product Description: ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software)...read more (view table of contents, read Amazon.com's description)

By Bernhard Moller (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540438571 | Springer Verlag, July 1, 2002, cover price $99.00 | About this edition: ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.

Rewriting Techniques and Applications: 13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002. Proceedings

By International Conference on Rewriting Techniques and Applications (other contributor) and Sophie Tison

See complete details on each edition (1 edition listed)

Paperback:

9783540439165 | Springer-Verlag New York Inc, June 1, 2002, cover price $109.00

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures

Product Description: Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory...read more (view table of contents, read Amazon.com's description)

By Roy L. Crole (editor), Jeremy Gibbons (editor) and School on Algebraic and Co-Algebraic Methods in the Mathematics of pro

See complete details on each edition (1 edition listed)

Paperback:

9783540436133 | Springer Verlag, June 1, 2002, cover price $89.95 | About this edition: Program construction is about turning specifications of computer software into implementations.

Programming Languages and Systems: 11th European Symposium on Programming, Esop 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2002

Product Description: ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials...read more (view table of contents, read Amazon.com's description)

By European Symposium on Programming 2002 (other contributor), D. Le Metayer and Daniel Le Metayer (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540433637 | Springer Verlag, May 1, 2002, cover price $99.00 | About this edition: ETAPS2002wasthe?

Persectives on System Informatics: Revised Papers of the 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001

Product Description: This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement...read more (view table of contents, read Amazon.com's description)

By Dines Bjorner (editor), Manfred Broy (editor) and A. V. Zamulin (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540430759 | Springer Verlag, April 1, 2002, cover price $139.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.

< previous 25 | displaying 26 to 50 | next 25 >