1
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...-models on Test: UML vs. OPM in the SODA Case Study -- Programming an Agent as Abstract State Machine...
View full text
Electronic eBook
6
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
7
by Gault, Doug., Gault, Doug.
Published 2015
Table of Contents: .... Managing Workspaces -- 15. Team Development -- 16. Dynamic Actions -- 17. Appendix A....
View full text
Electronic eBook