Title: Programming Languages and Operational Semantics: A Concise Overview, Author: Maribel Fernández
Title: Type-Driven Development with Idris, Author: Edwin Brady
Title: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, Author: Sharon Shoham
Title: Web Database Applications with PHP and MySQL: Building Effective Database-Driven Web Sites, Author: Hugh E. Williams
Title: Python Programming with Design Patterns, Author: James Cooper
Title: Grails in Action, Author: Peter Ledbrook
Title: Algorithmic Game Theory: 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings, Author: Berthold Vöcking
Title: Android Studio Meerkat Essentials - Java Edition: Developing Android Apps Using Android Studio Meerkat and Java, Author: Smyth
Title: AspectJ in Action: Enterprise AOP with Spring Applications, Author: Ramnivas Laddad
Title: Android Studio Electric Eel Essentials - Java Edition: Developing Android Apps Using Android Studio 2022.1.1 and Java, Author: Neil Smyth
Title: Directions in Human Factors for Interactive Systems, Author: H. Ledgard
Title: Understanding the Digital World: Modeling with HERAKLIT, Author: Peter Fettke
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Author: Alexandra Silva
Title: iOS Development with Swift, Author: Craig Grummitt
Title: Object-Oriented Software Design in C++, Author: Ronald Mak
Title: Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, Author: Michael Felderer
Title: UML Applied: A .NET Perspective, Author: Martin L. Shoemaker
Title: Erstellen modularer Software: Mit Pascal zur objektorientierten Programmierung, Author: Eberhard Bappert
Title: Programming with Types, Author: Vlad Riscutia
Title: Fundamental Approaches to Software Engineering: 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Author: Artur Boronat

Pagination Links