Тема, жанр, tags: Computing Methodologies,Programming Languages Compilers Interpreters,Software Engineering/Programmin » Page 7 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computing Methodologies,Programming Languages Compilers Interpreters,Software Engineering/Programmin » Page 7

book Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

pdf

Author: Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Innovation (CAI): IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Computer-Aided Innovation (CAI): IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

pdf

Author: Albert Albers Noel Leon Rovira Humberto Aguayo Thomas Maier (auth.) Gaetano Cascini (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book An Introduction to Network Programming with Java

An Introduction to Network Programming with Java

pdf

Author: Jan Graba BA PGCE MSc (auth.)
Language: English
Year: 2007

00

27.01.2024

1

0

book An Introduction to Network Programming with Java: Java 7 Compatible

An Introduction to Network Programming with Java: Java 7 Compatible

pdf

Author: Jan Graba (auth.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Production and Inventory Management with Substitutions

Production and Inventory Management with Substitutions

pdf

Author: J. Christian Lang (auth.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

pdf

Author: Claudio A. Ardagna Marco Cremonini (auth.) Gilles Barthe Benjamin Grégoire Marieke Huisman Jean-Louis Lanet (eds.)
Language: English
Year: 2006

00

27.01.2024

1

0

book Formal Development of Reactive Systems: Case Study Production Cell

Formal Development of Reactive Systems: Case Study Production Cell

pdf

Author: Claus Lewerentz Thomas Lindner (auth.) Claus Lewerentz Thomas Lindner (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Supercomputer ’89: Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings

Supercomputer ’89: Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings

pdf

Author: Enrico Clementi (auth.) Hans W. Meuer (eds.)
Language: German
Year: 1989

00

27.01.2024

0

0

book Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

pdf

Author: Herman Geuvers (auth.) Ana Bove Luís Soares Barbosa Alberto Pardo Jorge Sousa Pinto (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0