1
منشور في 2007
جدول المحتويات: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2008
جدول المحتويات: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
جدول المحتويات: ... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
بواسطة Cooke, D. John., Cooke, D. John.
منشور في 2005
جدول المحتويات: ...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
بواسطة Gries, David., Gries, David., Gries, Paul.
منشور في 2005
جدول المحتويات: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2005
جدول المحتويات: ... Environment for Interactive Proof Development -- A First Order Extension of Stålmarck’s Method -- Regular...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2006
جدول المحتويات: ... for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2015
جدول المحتويات: ... -- The Potential of Logic Programming as a Computational Tool to Model Morality....
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2012
جدول المحتويات: ...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
بواسطة Troelsen, Andrew., Troelsen, Andrew.
منشور في 2006
جدول المحتويات: ... Basic 2005 Applications -- Visual Basic 2005 Language Fundamentals -- VB 2005 Programming Constructs...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
بواسطة Troelsen, Andrew., Troelsen, Andrew.
منشور في 2007
جدول المحتويات: ... with .NET 3.0 Extensions -- Establishing a .NET 3.0 Programming Environment -- Introducing Windows...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
بواسطة Tiwari, Shashank., Tiwari, Shashank., Elrom, Elad.
منشور في 2008
جدول المحتويات: ...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
جدول المحتويات: ...Interactive Flash -- Making Plans -- Movies that Remember -- Movies that Decide for Themselves...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
بواسطة Meyer, Jeanine., Meyer, Jeanine.
منشور في 2010
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
بواسطة Ben-Ari, Mordechai., Ben-Ari, Mordechai.
منشور في 2008
جدول المحتويات: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
بواسطة Brown, Charles., Brown, Charles.
منشور في 2008
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
بواسطة Dooley, John., Dooley, John.
منشور في 2011
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
بواسطة Koohi, Sina Zangbari
منشور في 2020
الموضوعات: ...Parallel programming (Computer science) - Research...
احصل على النص الكامل
أطروحة