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: SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
43RD INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE, LIMERICK, IRELAND, JANUARY 16-20, 2017, PROCEEDINGS
By: Bernhard Steffen (Editor), Christel Baier (Editor), Mark Van den Brand (Editor)
Format: Paperback

List price: £44.99
Our price: £39.37
Discount:
12.5% off
You save: £5.62
ISBN 10: 331951962X
ISBN 13: 9783319519623
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: SPRINGER INTERNATIONAL PUBLISHING AG
Pub. date: 11 January, 2017
Edition: 1st ed. 2017
Series: Lecture Notes in Computer Science 10139
Pages: 526
Synopsis: This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.
Illustrations: 109 black & white illustrations, biography
Publication: Switzerland
Imprint: Springer International Publishing AG
Returns: Returnable
Some other items by this author:
CODE GENERATION WITH TEMPLATES (HB)
CODE GENERATION WITH TEMPLATES (PB)
CONCUR 2006 CONCURRENCY THEORY (PB)
CORRECT SYSTEM DESIGN (PB)
GRUNDLAGEN DER HOHEREN INFORMATIK (HB)
KARTEN VON MYKENAI
KARTEN VON MYKENAI
LEVERAGING APPLICATIONS OF FORMAL METHODS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION (PB)
PRINCIPLES OF MODEL CHECKING (HB)
SERVICES AND VISUALIZATION, TOWARDS USER-FRIENDLY DESIGN (PB)
SOFTWARE LANGUAGE ENGINEERING (PB)
SOFTWARE LANGUAGE ENGINEERING (PB)
THEORY AND PRACTICE OF MODEL TRANSFORMATION (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (HB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
TRANSACTIONS ON FOUNDATIONS FOR MASTERING CHANGE I (PB)
VALIDATION OF STOCHASTIC SYSTEMS (PB)
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (PB)

TOP SELLERS IN THIS CATEGORY
Programming in Haskell (Paperback)
Cambridge University Press
Our Price : £31.49
more details
Cryptography Made Simple (Hardback)
Springer International Publishing AG
Our Price : £38.24
more details
Basic Elements of Computational Statistics (Hardback)
Springer International Publishing AG
Our Price : £24.00
more details
Essential Maths Skills for AS/A Level Computer Science (Paperback)
Hodder Education
Our Price : £11.37
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