search for books and compare prices
computer programming congresses matches 150 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780373734115 Cover for 9780387170824 Cover for 9781934309544 Cover for 9783642297083 Cover for 9783642289385 Cover for 9783764330934 Cover for 9781461257936 Cover for 9783764330675 Cover for 9781461257936 Cover for 9780387139197 Cover for 9781616086657 Cover for 9781845395650 Cover for 9783642052002 Cover for 9783642032363 Cover for 9780155017504 Cover for 9783642029264 Cover for 9783642029295 Cover for 9783540787389 Cover for 9783540734192 Cover for 9783540740605 Cover for 9783540734505 Cover for 9783540734475 Cover for 9783540719557 Cover for 9783540713142 Cover for 9783540359043 Cover for 9783540285847 Cover for 9783540254355 Cover for 9783540278849 Cover for 9783540275800
Product Description: The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of cheap computing power in a society increasingly dependent on the availability of error-free programs...read more
By Marvel Comics (corporate author)

Hardcover:

9780444702234, titled "Program Specification and Transformation" | Elsevier Science Ltd, May 1, 1987, cover price $145.75 | also contains Program Specification and Transformation | About this edition: The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation.

cover image for 9780373734115

Hardcover:

9780444875709, titled "Tools, Methods and Languages for Scientific and Engineering Computation" | Elsevier Science Ltd, December 1, 1984, cover price $108.00 | also contains Tools, Methods and Languages for Scientific and Engineering Computation

Paperback:

9780373734115 | Harlequin Books, September 1, 2015, cover price $5.25

cover image for 9781934309544
Product Description: Textbook for learning Modern Hebrew. This communicatively inspired textbook is structured around functional goals.

Paperback:

9781934309544 | Csm edition (Univ Pr of Maryland, August 15, 2014), cover price $35.00 | About this edition: Textbook for learning Modern Hebrew.
9780387170824, titled "Control Flow and Data Flow: Concepts of Distributed Programming" | Reprint edition (Springer Verlag, October 1, 1986), cover price $40.00 | also contains Control Flow and Data Flow: Concepts of Distributed Programming | About this edition: Book by Broy, Manfred

cover image for 9783642289385
Product Description: This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems...read more
By Peter Novak (editor)

Paperback:

9783642289385 | Springer-Verlag New York Inc, April 3, 2012, cover price $69.99 | About this edition: This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems.

cover image for 9781461257936
Product Description: These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in Applied Probability of ORSA and THlS. This meeting, which took place January 5-7, 1981 at Florida Atlantic University in Boca Raton, Florida, had the same name as these Proceedings: Applied Probability-Computer Science, the Interface...read more

Hardcover:

9783764330934 | Birkhauser, October 1, 1982, cover price $69.50

Paperback:

9781461257936, titled "Applied Probability-Computer Science: The Interface" | Reprint edition (Birkhauser, October 17, 2011), cover price $79.95 | also contains Applied Probability: Computer Science, the Interface | About this edition: These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in Applied Probability of ORSA and THlS.

cover image for 9781461257936
Product Description: These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in Applied Probability of ORSA and THlS. This meeting, which took place January 5-7, 1981 at Florida Atlantic University in Boca Raton, Florida, had the same name as these Proceedings: Applied Probability-Computer Science, the Interface...read more

Hardcover:

9783764330675 | Birkhauser, October 1, 1982, cover price $69.50 | About this edition: Book by Ott, Teunis J.

Paperback:

9781461257936, titled "Applied Probability-Computer Science: The Interface" | Reprint edition (Birkhauser, October 17, 2011), cover price $79.95 | also contains Applied Probability: Computer Science, the Interface | About this edition: These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in Applied Probability of ORSA and THlS.

One of the townspeople in Cuckooville talks nothing but gobbledygook and the Mayor has had enough! “This has got to stop!” he demands. But has the Mayor spoken too soon? One day, disaster strikes the town. Strange foreigners have invaded and no one can understand a word of what they are saying—no one, that is, except for the Gobbledygook-speaking Mrs. Gobbledygook! Will she be the hero of the day and finally interpret what these newcomers are requesting? Renowned illustrator Delphine Durand and Kate Greenaway Medal–nominated author Susan Chandler have created a hilarious and entertaining collaboration in this jaunty book about acceptance, diversity, and neighborliness.
By Delphine Durand (illustrator)

Hardcover:

9781632204301 | Perseus Distribution Services, August 18, 2015, cover price $16.99
9781616086657 | Reprint edition (Perseus Distribution Services, August 1, 2012), cover price $16.95 | About this edition: One of the townspeople in Cuckooville talks nothing but gobbledygook and the Mayor has had enough!
9781845395650 | Gardners Books, March 15, 2011, cover price $17.00 | About this edition: In the town of Cuckooville, Mrs.
9780387139197, titled "Control Flow and Data Flow: Concepts of Distributed Programming" | Springer Verlag, December 1, 1985, cover price $113.00 | also contains Control Flow and Data Flow: Concepts of Distributed Programming

cover image for 9783642032363
Product Description: This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science...read more
By Zhendong Su (editor)

Paperback:

9783642032363 | Springer-Verlag New York Inc, August 1, 2009, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

cover image for 9783642029295
Product Description: ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6–10, 2009. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972...read more
By W. Thomas (editor)

Paperback:

9783642029264 | Springer-Verlag New York Inc, July 31, 2009, cover price $179.00
9783642029295 | Springer-Verlag New York Inc, July 31, 2009, cover price $149.00 | About this edition: ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6–10, 2009.
9780155017504, titled "Twentieth-Century Social Thought" | 5th edition (Harcourt College Pub, December 1, 1994), cover price $65.95 | also contains Twentieth-Century Social Thought | About this edition: This mainstream text for sociology and humanity introductory classes focuses on controversial social philosophers and theorists in the context of Western social thought and culture.

cover image for 9783540787389
Product Description: This proceedings volume of the 17th European Symposium on Programming examines fundamental issues in the specification, analysis and implementation of programming languages and systems, including static analysis, security, concurrency and program verification.

Paperback:

9783540787389 | Springer-Verlag New York Inc, May 20, 2008, cover price $119.00 | About this edition: This proceedings volume of the 17th European Symposium on Programming examines fundamental issues in the specification, analysis and implementation of programming languages and systems, including static analysis, security, concurrency and program verification.

cover image for 9783540734192
Product Description: This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July 2007. Seventy-six full papers are presented, together with four invited lectures...read more
By Andrzej Tarlecki (editor)

Paperback:

9783540734192 | Springer-Verlag New York Inc, October 4, 2007, cover price $209.00 | About this edition: This volume features the refereed proceedings from the 34th International Colloquium on Automata, Languages and Programming, held in Wroclaw, Poland in July 2007.

cover image for 9783540740605
Product Description: This volume presents the refereed proceedings from the 14th International Symposium on Static Analysis. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type-based analysis, and verification systems...read more
By Gilberto File (editor)

Paperback:

9783540740605 | Springer-Verlag New York Inc, September 14, 2007, cover price $129.00 | About this edition: This volume presents the refereed proceedings from the 14th International Symposium on Static Analysis.

cover image for 9783540734505
Product Description: This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, held in Warsaw, Poland in June 2007. The conference was dedicated to the memory of Professor Zdzislaw Pawlak...read more
By Andrzej Skowron (editor)

Paperback:

9783540734505 | Springer-Verlag New York Inc, August 3, 2007, cover price $159.00 | About this edition: This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, held in Warsaw, Poland in June 2007.

cover image for 9783540734475
Product Description: The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting...read more
By Franz Baader (editor)

Paperback:

9783540734475 | Springer-Verlag New York Inc, July 31, 2007, cover price $119.00 | About this edition: The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field.

cover image for 9783540719557
Product Description: This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Multi-Agent Systems, ProMAS 2006, held in Hakodate, Japan, May 2006. Coverage includes uncertainty of agents; lightweight devices for business and e-commerce applications; component-based agents for MAS simulation; creation, execution, mobility and communication of agents; as well as multi-agent platforms and organization...read more
By Rafael H. Bordini (editor), Mehdi Dastani (editor), Jnrgen Dix (editor) and Amal EL Fallah-Seghrouchni (editor)

Paperback:

9783540719557 | Springer-Verlag New York Inc, June 1, 2007, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Multi-Agent Systems, ProMAS 2006, held in Hakodate, Japan, May 2006.

cover image for 9783540713142
Product Description: This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties...read more
By Rocco De Nicola (editor)

Paperback:

9783540713142 | Springer-Verlag New York Inc, April 12, 2007, cover price $149.00 | About this edition: This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007.

cover image for 9783540359043
Product Description: The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures...read more
By Michele Bugliesi (editor), Bart Preneel (editor), Vladimiro Sassone (editor) and Ingo Wegener (editor)

Paperback:

9783540359043 | Springer-Verlag New York Inc, August 15, 2006, cover price $179.00 | About this edition: The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006.

cover image for 9783540285847
Product Description: Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation...read more
By Chris Hankin (editor) and Igor Siveroni (editor)

Paperback:

9783540285847 | Springer-Verlag New York Inc, October 16, 2005, cover price $109.00 | About this edition: Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them.

cover image for 9783540254355
Product Description: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials...read more
By Mooly Sagiv (editor)

Paperback:

9783540254355 | Springer Verlag, September 30, 2005, cover price $129.00 | About this edition: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.

cover image for 9783540275800
Product Description: The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin (Toronto), John C...read more

Paperback:

9783540275800 | Springer Verlag, August 15, 2005, cover price $159.00 | About this edition: The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005.

at beginning | displaying 1 to 25 | next 25 >