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: PERSPECTIVES OF SYSTEM INFORMATICS
SECOND INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE, AKADEMGORODOK, NOVOSIBIRSK, RUSSIA, JUNE 25 - 28, 1996, PROCEEDINGS
Volume: Second International Andrei Ershov Memorial Conference, Akademgorodok,
By: Dines Bjorner (Editor), Manfred Broy (Editor)
Format: Paperback

List price: £81.00


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

ISBN 10: 3540620648
ISBN 13: 9783540620648
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 4 December, 1996
Series: Lecture Notes in Computer Science v. 1181
Pages: 472
Description: This collection of conference proceedings is divided into topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, OOP, partial evaluation, and other subjects.
Synopsis: This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ABSTRACT SOFTWARE SPECIFICATIONS (PB)
ADVANCED MODEL-BASED ENGINEERING OF EMBEDDED SYSTEMS (HB)
AUTOMOTIVE SOFTWARE-CONNECTED SERVICESIN MOBILE NETWORKS (PB)
BALTIC COMPUTER SCIENCE (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)
DOMAIN SCIENCE AND ENGINEERING
DOMAIN SCIENCE AND ENGINEERING (HB)
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 UND MATHEMATIK (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)
LOGICS OF SPECIFICATION LANGUAGES (HB)
LOGICS OF SPECIFICATION LANGUAGES (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 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 ENGINEERING 1 (HB)
SOFTWARE ENGINEERING 1 (PB)
SOFTWARE ENGINEERING 2 (HB)
SOFTWARE ENGINEERING 2 (PB)
SOFTWARE ENGINEERING 3 (HB)
SOFTWARE ENGINEERING 3 (PB)
SOFTWARE PIONEERS
SOFTWARE PIONEERS (PB)
SOFTWARE-ENTWICKLUNG FUR KOMMUNIKATIONSNETZE
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (HB)
SPECIFICATION AND DEVELOPMENT OF INTERACTIVE SYSTEMS (PB)
THE VIENNA DEVELOPMENT METHOD (PB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (HB)
THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (PB)
TOWARDS A FORMAL DESCRIPTION OF ADA (PB)
UBUNGEN ZUR EINFUHRUNG IN DIE INFORMATIK (HB)
V.D.M.AND Z. (PB)
VDI-LEXIKON INFORMATIK UND KOMMUNIKATIONSTECHNIK
VDM '87, VDM, A FORMAL METHOD AT WORK (PB)

TOP SELLERS IN THIS CATEGORY
Programming in Haskell (Paperback)
Cambridge University Press
Our Price : £31.49
more details
Basic Elements of Computational Statistics (Hardback)
Springer International Publishing AG
Our Price : £43.99
more details
An Introduction to Quantum Computing (Paperback)
Oxford University Press
Our Price : £53.38
more details
A Dictionary of Computer Science (Paperback)
Oxford University Press
Our Price : £10.94
more details
MATLAB Deep Learning (Paperback)
APress
Our Price : £48.12
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


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






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket