1st Edition.
Paperback (11 Sep 1997) | German
Not available for sale
Out of stock
As of 1996, the Workshops in Computing series has been published on-line. This booklet provides the passwords needed to access the papers from the 1st Irish Workshop on Formal Methods. The workshop attracted a global spread of researchers and practitioners and the papers presented cover a wide range of topics within the general area of formal methods, theoretical computer science and mathematics.
| ISBN: | 9783540761969 |
| Publisher: | Springer London |
| Imprint: | Springer |
| Pub date: | 11 Sep 1997 |
| Edition: | 1st Edition. |
| DEWEY: | 005.1015113 |
| DEWEY edition: | 21 |
| Language: | German |
| Number of pages: | 7 |
| Weight: | 40g |
Machine Learning
Hardback
Published 24 Aug 2012
$20.09off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $20.09
$25.06off
Hands-On Generative AI With Tra...
Paperback
Published 10 Dec 2024
Save $25.06
$21.04off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $21.04
$5.89off
Foundations of Cryptography
Paperback
Published 18 Jan 2007
Save $5.89
$36.33off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $36.33
$4.37off
Linear Algebra for Data Science...
Hardback
Published 16 May 2024
Save $4.37
$11.28off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.28
$31.88off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $31.88
$78.66off
Beyond Planar Graphs
Hardback
Published 01 Oct 2020
Save $78.66