Rezultati - programs automated https function java https

1

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Polni tekst

Elektronski eKnjiga

2

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Izdano 2005

Kazalo: “... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”
Polni tekst

Elektronski eKnjiga

3

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Izdano 2010

Kazalo: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Polni tekst

Elektronski eKnjiga

4

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Izdano 2013

Kazalo: “... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”
Polni tekst

Elektronski eKnjiga

5

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Izdano 2013

Kazalo: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Polni tekst

Elektronski eKnjiga

6

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

Kazalo: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
Polni tekst

Elektronski eKnjiga

7

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Izdano 2006

Kazalo: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
Polni tekst

Elektronski eKnjiga

8

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Izdano 2010

Kazalo: “... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”
Polni tekst

Elektronski eKnjiga

9

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

Izdano 2008

Kazalo: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Polni tekst

Elektronski eKnjiga

10

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Izdano 2012

Kazalo: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Polni tekst

Elektronski eKnjiga

11

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Izdano 2008

Kazalo: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Polni tekst

Elektronski eKnjiga

12

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Izdano 2010

Kazalo: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Polni tekst

Elektronski eKnjiga

13

Adobe ColdFusion Anthology The Best of The Fusion Authority /

od Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Izdano 2010

Kazalo: “...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
Polni tekst

Elektronski eKnjiga

14

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Izdano 2006

Kazalo: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Polni tekst

Elektronski eKnjiga

15

Oracle and PL/SQL Recipes A Problem-Solution Approach /

od Juneau, Josh., Juneau, Josh., Arena, Matt.
Izdano 2010

Kazalo: “...PL/SQL Fundamentals -- Essential SQL -- Looping and Logic -- Functions, Packages, and Procedures...”
Polni tekst

Elektronski eKnjiga

16

Validated Designs for Object-oriented Systems

od Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Izdano 2005

Kazalo: “... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”
Polni tekst

Elektronski eKnjiga

17

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Izdano 2010

Kazalo: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
Polni tekst

Elektronski eKnjiga

18

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Izdano 2010

Kazalo: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
Polni tekst

Elektronski eKnjiga

19

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Izdano 2013

Kazalo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Polni tekst

Elektronski eKnjiga

20

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

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje