Тема, жанр, tags: Computer science,Logic design,Software engineering,Programming languages (Electronic computers),Oper » Page 13 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer science,Logic design,Software engineering,Programming languages (Electronic computers),Oper » Page 13

book Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

pdf

Author: Menzies Tim, Petke Justyna
Language: English
Year: 2017

00

29.01.2024

0

0

book Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

pdf

Author: Chapman Barbara M., De Supinski Bronis R., Müller Matthias S., Olivier Stephen L., Terboven Christian
Language: English
Year: 2017

00

29.01.2024

0

0

book Dag Prawitz on Proofs and Meaning

Dag Prawitz on Proofs and Meaning

pdf

Author: Prawitz Dag, Prawitz Dag, Wansing Heinrich (eds.)
Language: English
Year: 2015

00

29.01.2024

0

0

book Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

pdf

Author: Holger Giese Barbara König
Language: English
Year: 2014

00

29.01.2024

0

0

book Computation Structures

Computation Structures

djvu

Author: Stephen A Ward Robert H Halstead
Language: English
Year: 1999

00

29.01.2024

0

0

book Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

djvu

Author: Lloyd John W (eds.)
Language: English
Year: 1990

00

29.01.2024

1

0

book Digital Systems Design Using Verilog

Digital Systems Design Using Verilog

pdf

Author: Charles Roth Lizy K. John Byeong Kil Lee
Language: English
Year: 2015

00

29.01.2024

0

0

book Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

pdf

Author: Esther Guerra Mark van den Brand (eds.)
Language: English
Year: 2017

00

29.01.2024

0

0

book Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

pdf

Author: Iain Phillips Hafizur Rahaman (eds.)
Language: English
Year: 2017

00

29.01.2024

0

0

book Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

pdf

Author: Eric Bodden Mathias Payer Elias Athanasopoulos (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0