Beispielbild für diese ISBNComputer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACS…
Verlag: Springer
2002 Kartoniert, 640 Seiten, 235mm x 155mm x 35mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
121,78 EUR
Beispielbild für diese ISBNParallel Problem Solving from Nature - PPSN XIV - 14th International Conference, Edinburgh, UK, Se…
Verlag: Springer
2016 Kartoniert, 1048 Seiten, 235mm x 155mm x 56mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
121,78 EUR
Beispielbild für diese ISBNThe Science of Quantitative Information Flow
von Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith Verlag: Springer
2020 Gebunden, 508 Seiten, 241mm x 160mm x 33mm, Sprache(n): eng Computer systems that process sensitive information should preserve that information's confidentiality, but our current cyber-infrastructure is failing to achieve this goal: reports of massive-scale information disclosures are dist…
71,89 EUR
Beispielbild für diese ISBNAutomata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland…
Verlag: Springer
2008 Kartoniert, 760 Seiten, 235mm x 155mm x 41mm, Sprache(n): eng
121,78 EUR
Beispielbild für diese ISBNSDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, German…
Verlag: Springer
2015 Kartoniert, 300 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
58,45 EUR
Beispielbild für diese ISBNFormal Methods in Programming and Their Applications - International Conference, Academgorodok, No…
Verlag: Springer
1993 Kartoniert, 452 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNLogic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Cant…
Verlag: Springer
2015 Kartoniert, 348 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNPractical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK,…
Verlag: Springer
2024 Kartoniert, 240 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
79,15 EUR
Beispielbild für diese ISBNPartial Evaluation: Practice and Theory - DIKU 1998 International Summer School, Copenhagen, Denma…
Verlag: Springer
1999 Kartoniert, 452 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNPrograms as Diagrams - From Categorical Computability to Computable Categories
von Dusko Pavlovic Verlag: Springer
2023 Gebunden, 272 Seiten, 241mm x 160mm x 21mm, Sprache(n): eng Provides a diagrammatic programming language, based on and supporting the geometric algorithmic intuitionsGuided exercises (workouts) soften the demarcation line between passive and active use of the bookCategorical approach opens…
