Search Results for State, The.

84 sonuç bulundu

Select All

1 2 3 4 5 .. 7

000000000000DEFAULT_TR

Programming with Actors State-of-the-Art and Research Perspectives

Ricci, Alessandro. editor.

https://doi.org/10.1007/978-3-030-00302-9

Format:

Elektronik Kaynak

Alıntı:

Programming with Actors State-of-the-Art and Research Perspectives / Ricci, Alessandro. editor.

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

Trobec, Roman. author.

https://doi.org/10.1007/978-3-319-98833-7

Format:

Elektronik Kaynak

Alıntı:

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms /

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Blazy, Sandrine. editor.

https://doi.org/10.1007/978-3-319-48869-1

Format:

Elektronik Kaynak

Alıntı:

carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

Gurfinkel, Arie. editor.

https://doi.org/10.1007/978-3-319-29613-5

Format:

Elektronik Kaynak

Alıntı:

25 submissions. The goal of this conference is to advance the state of the art in the science and

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Barthe, Gilles. editor.

http://dx.doi.org/10.1007/b105030

Format:

Elektronik Kaynak

Alıntı:

-- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Hagiya, Masami. editor.

http://dx.doi.org/10.1007/11737414

Format:

Elektronik Kaynak

Alıntı:

Projections -- iData for the World Wide Web – Programming Interconnected Web Forms -- Crossing State Lines

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Liu, Peng. editor.

https://doi.org/10.1007/978-3-319-74860-3

Format:

Elektronik Kaynak

Alıntı:

Bow-Tie Diagrams -- CSIRA: A method for analysing the risk of cybersecurity incidents -- Quantitative

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

El Fallah-Seghrouchni, Amal. editor.

https://doi.org/10.1007/978-3-319-91899-0

Format:

Elektronik Kaynak

Alıntı:

the aim to enhance knowledge and expertise in MAS engineering , to improve the state-of-the-art, to

Pro ASP.NET 3.5 in C# 2008

MacDonald, Matthew. author.

http://dx.doi.org/10.1007/978-1-4302-0432-9

Format:

Elektronik Kaynak

Alıntı:

Applications -- State Management -- Data Access -- ADO.NET Fundamentals -- Data Components and the DataSet

10.

Agent-based Supply Network Event Management

Zimmermann, Roland. author.

http://dx.doi.org/10.1007/3-7643-7487-X

Format:

Elektronik Kaynak

Alıntı:

analysis of the event management problem domain is the starting point to develop a generic agent-based

11.

Pro .NET 2.0 Windows Forms and Custom Controls in C#

MacDonald, Matthew. author.

http://dx.doi.org/10.1007/978-1-4302-0110-6

Format:

Elektronik Kaynak

Alıntı:

user-interface design principles. Further, this book incorporates C# and the final beta of .NET 2.0. The result

12.

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Lachiche, Nicolas. editor.

https://doi.org/10.1007/978-3-319-78090-0

Format:

Elektronik Kaynak

Alıntı:

Programming System for Super-linear Speedup -- Inductive Learning from State Transitions over Continuous

Select All

1 2 3 4 5 .. 7

84 sonuç bulundu

	{displayName}	{count}
{error}