pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: INFORMATIK UND MATHEMATIK
By: Manfred Broy (Editor)
Format: Paperback

List price: £59.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3642766781
ISBN 13: 9783642766787
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 23 December, 2011
Edition: Softcover reprint of the original 1st ed. 1991
Pages: 464
Synopsis: Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik". Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anlasslich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beitrage spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenhange fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik, des Rechnerentwurfs, aber auch Fragen der Programmierung und allgemein Fragen der Logik und der Algebra miteinander verknupft sind. Im Schnittbereich dieser Themengebiete erscheint der Kern der Informatik als eine Grundlagendisziplin fur die Beschreibung von System- und Algorithmen strukturen, die sich Methoden der Logik und der Algebra zunutze macht.Die Vielfalt der Einzelprobleme in der Numerischen Mathematik, in der Schaltalgebra und der Relationentheorie, bei Zerteilungs- und Erkennungsproblemen, in der Algebraischen Logik, in der Programmiertechnik und im Ubersetzerbau, und schliesslich in der Programmtransformation und der Methodik der Programmierung lassen gemeinsame Grundfragestellungen erkennen. Der asthetische und kulturelle Gehalt dieser Themengebiete erschliesst sich uber technische Einzelaspekte hinaus besonders durch den Beitrag von Prof. Roland Bulirsch, der gleichermassen vom Nutzen und von der Schonheit der Formeln in der Mathematik und in der Informatik handelt.
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)
CALCULATIONAL SYSTEM DESIGN (HB)
CONSTRUCTIVE METHODS IN COMPUTING SCIENCE (HB)
CONTROL FLOW AND DATA FLOW CONCEPTS OF (HB)
CONTROL FLOW AND DATA FLOW: CONCEPTS OF DISTRIBUTED PROGRAMMING (PB)
DEDUCTIVE PROGRAM DESIGN (HB)
DEDUCTIVE PROGRAM DESIGN (PB)
EINFUHRUNG IN DIE SOFTWARETECHNIK (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (HB)
ENGINEERING THEORIES OF SOFTWARE INTENSIVE SYSTEMS (PB)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
FORMAL SYSTEMS SPECIFICATION (PB)
INDUSTRIE 4.0 (HB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
INFORMATIK. EINE GRUNDLEGENDE EINFUHRUNG (PB)
KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE (PB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (HB)
LOGIC OF PROGRAMMING AND CALCULI OF DISCRETE DESIGN (PB)
LOGISCHE UND METHODISCHE GRUNDLAGEN DER PROGRAMM- UND SYSTEMENTWICKLUNG (PB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (HB)
MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT (PB)
METHODS OF PROGRAMMING (PB)
MODEL-BASED TESTING OF REACTIVE SYSTEMS (PB)
MODEL-DRIVEN DEVELOPMENT OF RELIABLE AUTOMOTIVE SERVICES (PB)
MODELLBILDUNG IN DER INFORMATIK (HB)
MODELLBILDUNG IN DER INFORMATIK (PB)
MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE (HB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEMS INFORMATICS (PB)
PROGRAM CONSTRUCTION (PB)
PROGRAM DESIGN CALCULI (HB)
PROGRAM DESIGN CALCULI (PB)
PROGRAMMING AND MATHEMATICAL METHOD (PB)
PROJEKTORGANISATION UND MANAGEMENT IM SOFTWARE ENGINEERING (HB)
REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING (PB)
SOFTWARE PIONEERS
SOFTWARE PIONEERS (PB)
SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)
UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)
VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK

TOP SELLERS IN THIS CATEGORY
Clean Code (Paperback)
Pearson Education (US)
Our Price : £35.09
more details
Designing Data-Intensive Applications (Paperback)
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
Agile Project Management with Kanban (Paperback)
Microsoft Press,U.S.
Our Price : £21.44
more details
Clean Architecture (Paperback)
Pearson Education (US)
Our Price : £25.19
more details
User Story Mapping (Paperback)
O'Reilly Media, Inc, USA
Our Price : £23.35
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket