Søgeresultater - process foundations https function java https

Søg alternativer:
process foundations » processing foundations , projects foundations , process functions
foundations https » equations https
https function » its function , sites function , ups function
function java » function jane , function jason , function james

Foundation Drupal 7 Learn How to Use the Drupal Framework to Quickly Build Feature-rich Websites /

af Townsend, RJ., Townsend, RJ.
Udgivet 2010

Indholdsfortegnelse: “... to Drupal Functionality....”
Få fuldtekst

Electronisk eBog

Scientific Data Analysis using Jython Scripting and Java

af Chekanov, Sergei V., Chekanov, Sergei V.
Udgivet 2010

Indholdsfortegnelse: “...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
Få fuldtekst

Electronisk eBog

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005,...

Udgivet 2005

Indholdsfortegnelse: “... Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation...”
Få fuldtekst

Electronisk eBog

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software...”
Få fuldtekst

Electronisk eBog

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Få fuldtekst

Electronisk eBog

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Udgivet 2008

Indholdsfortegnelse: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Få fuldtekst

Electronisk eBog

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Ja...

Udgivet 2015

Indholdsfortegnelse: “...Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”
Få fuldtekst

Electronisk eBog

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Få fuldtekst

Electronisk eBog

Personal Wireless Communications The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007 /

Udgivet 2007

Indholdsfortegnelse: “... Personal Networks over Heterogeneous Ad-hoc Scenarios -- Analysis of Algorithms for Radial Basis Function...”
Få fuldtekst

Electronisk eBog

Model-Driven Testing Using the UML Testing Profile /

af Baker, Paul., Baker, Paul., Dai, Zhen Ru., Grabowski, Jens., Schieferdecker, Ina., Williams, Clay.
Udgivet 2008

Indholdsfortegnelse: “...Foundations -- Model-Based Testing -- Basics -- Library Example Introduction -- Functional Testing...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning