Megjelenítés: 121 - 140 / 171 - kulcsszavak: '', keresési idő: 0.03mp Találatok szűrése
121
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
122
A compiler generator
Szerző: McKeeman, William M.
Megjelenés: 1970
könyv
Mentés a listára
Mentés helye:
123
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
124
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
125
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
126
Python for data analysis : data wrangling with Pandas, numPy, and IPython
Szerző: McKinney, Wes
Megjelenés: 2013
könyv
Mentés a listára
Mentés helye:
127
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV : Special Issue on Data Management – Principles, Technologies, and Applications
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
128
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
129
OpenMP: Portable Multi-Level Parallelism on Modern Systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
Megjelenés: 2020
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
130
Programozási nyelvek
Megjelenés: 2003
könyv
Mentés a listára
Mentés helye:
131
Domain-specific languages
Megjelenés: 2010
könyv
Mentés a listára
Mentés helye:
132
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Megjelenés: 2019
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
133
Symbol manipulation languages and techniques : Proceedings of the IFIP Working Conference on Symbol Manipulation Languages, Pisa, Italy, september 5-9, 1966
Megjelenés: 1971
könyv
Mentés a listára
Mentés helye:
134
Practical foundations for programming languages
Szerző: Harper, Robert
Megjelenés: 2016
könyv
Mentés a listára
Mentés helye:
135
Concepts of programming languages
Szerző: Sebesta, Robert W.
Megjelenés: 2002
könyv
Mentés a listára
Mentés helye:
136
Programming Language Concepts
Szerző: Sestoft, Peter
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
137
Advanced topics in types and programming languages
Megjelenés: 2005
könyv
Mentés a listára
Mentés helye:
138
Formal specification of programming languages : A panoramic primer
Szerző: Pagan, Frank G.
Megjelenés: 1981
könyv
Mentés a listára
Mentés helye:
139
The denotational description of programming languages : An introduction
Szerző: Gordon, Michael J. C.
Megjelenés: 1979
könyv
Mentés a listára
Mentés helye:
140
Foundations of Programming Languages
Szerző: Lee, Kent D.
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése