Passer au contenu principal Passer au contenu du pied de page

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Édition : John Fitch

2 septembre 1993

71,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 358 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

223

Lecture Notes In Computer Science

Publié par: Springer

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783540572725

Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

Marco A. Wehrmeister Couverture souple
145,95 $
Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Couverture souple
71,50 $
2 formats offerts
Analysis, Estimations, and Applications of Embedded Systems: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

Marco A. Wehrmeister Couverture rigide
145,95 $
2 formats offerts
Content Strategy For The Web

Kristina Halvorson Couverture souple
56,24 $
2 formats offerts
Content Strategy for the Web

Kristina Halvorson Livre numérique Kobo
42,99 $ ~~Réduction sur le prix courant 53,74 $ à~~
Systems Analysis and Simulation 1988, II: Applications Proceedings of the International Symposium held in Berlin, September 12–16, 1988

Couverture rigide
179,99 $
Trends in Applied Intelligent Systems: 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

Nicol García-Pedrajas Couverture souple
160,95 $
Artificial Intelligence Applications and Innovations: 12th International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part II

Couverture souple
142,95 $
Job Scheduling Strategies for Parallel Processing: 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

Eitan Frachtenberg Couverture souple
80,50 $
Representation and Retrieval of Visual Media in Multimedia Systems

Couverture souple
142,95 $
2 formats offerts
Applied Informatics and Communication, Part III: International Conference, ICAIC 2011, Xi'an China, August 20-21, 2011, Proceedings, Part III

Jianwei Zhang Couverture souple
160,95 $
Mobile and Wireless Communications Networks: IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004) October 25-27, 2004 Paris, France

Elizabeth M. Belding-Royer Couverture souple
160,95 $
2 formats offerts
Domain Storytelling: A Collaborative, Visual, And Agile Way To Build Domain-driven Software

Stefan Hofer Couverture souple
49,99 $
2 formats offerts
Home Networking: First IFIP WG 6.2 Home Networking Conference (IHN'2007), Paris, France, December 10-12, 2007

Khaldoun Al Agha Couverture souple
160,95 $
2 formats offerts
Computational Materials Science: Theory And Applications

Couverture rigide
179,75 $
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Stephanie Weirich Couverture souple
58,50 $
How YOU Can Use ChatGPT

Tony Eggleston Couverture souple
13,99 $
E-business and Telecommunications: 4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers

Joaquim Filipe Couverture souple
80,50 $
Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

Couverture souple
71,50 $
Network Control and Optimization: Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers

Eitan Altman Couverture souple
80,50 $

Évaluation éditoriale

john fitch

Auteur

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Couverture souple
142,95 $
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Charles Rattray Couverture souple
80,50 $
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Kim G. Larsen Couverture souple
80,50 $
Designing Privacy Enhancing Technologies: International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000. Proceedings

Couverture souple
71,50 $
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Didier Bert Couverture souple
80,50 $
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Couverture souple
71,50 $
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings

Couverture souple
142,95 $
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979

Couverture souple
64,95 $
Computational Learning Theory: 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings

Jyrki Kivinen Couverture souple
80,50 $
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Couverture souple
142,95 $
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Jos Monteiro Couverture souple
80,50 $
Distributed Computing: 12th International Symposium, DISC'98, Andros, Greece, September 24 -26, 1998, Proceedings

Couverture souple
71,50 $
Operating Systems of the 90s and Beyond: International Workshop, Dagstuhl Castle, Germany July 8-12, 1991. Proceedings

Couverture souple
90,95 $
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings

Reiner W. Hartenstein Couverture souple
58,50 $
Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings

Couverture souple
71,50 $
Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers

Couverture souple
71,50 $
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Couverture souple
71,50 $
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Couverture souple
77,95 $
Principles of Document Processing: Third International Workshop, PODP '96, Palo Alto, California, USA, September 23, 1996. Proceedings

Couverture souple
71,50 $
Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings

Lars Knudsen Couverture souple
160,95 $