Wszystkie pola: "Babic D" - OpacWWW

Skocz do pozycji: 1.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Książka

na półce

Szczegóły

Skocz do pozycji: 3.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Combining Model Learning and Model Checking to Analyze TCP Implementations.
Autorzy:: Fiterău-Broștean, Paul
Janssen, Ramon
Vaandrager, Frits; Pokaż więcej
Źródło:: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II; 2016, p454-471, 18p

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.
Autorzy:: Pernsteiner, Stuart
Loncaric, Calvin
Torlak, Emina
Tatlock, Zachary
Wang, Xi
Ernst, Michael D.
Jacky, Jonathan; Pokaż więcej
Źródło:: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II; 2016, p23-41, 19p

Książka

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Termination Analysis of Probabilistic Programs Through Positivstellensatz's.
Autorzy:: Chatterjee, Krishnendu
Fu, Hongfei
Goharshady, Amir Kafshdar; Pokaż więcej
Źródło:: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I; 2016, p3-22, 20p

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information.
Autorzy:: Feist, Josselin
Mounier, Laurent
Potet, Marie-Laure; Pokaż więcej
Źródło:: Software Engineering & Formal Methods (9783319415901); 2016, p76-81, 6p

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.
Autorzy:: De Ruvo, Giuseppe
Lettieri, Giuseppe
Martino, Domenico
Santone, Antonella
Vaglini, Gigliola; Pokaż więcej
Źródło:: Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers; 2016, p181-198, 18p

Książka

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Improving Endovascular Intraoperative Navigation with Real-Time Skeleton-Based Deformation of Virtual Vascular Structures.
Autorzy:: Turini, Giuseppe
Condino, Sara
Postorino, Matteo
Ferrari, Vincenzo
Ferrari, Mauro; Pokaż więcej
Źródło:: Augmented Reality, Virtual Reality & Computer Graphics (9783319406503); 2016, p82-91, 10p

Książka

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.
Autorzy:: Inala, Jeevana Priya
Singh, Rohit
Solar-Lezama, Armando; Pokaż więcej
Źródło:: Theory & Applications of Satisfiability Testing - SAT 2016; 2016, p302-320, 19p

Książka

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Gray-Box Learning of Serial Compositions of Mealy Machines.
Autorzy:: Abel, Andreas
Reineke, Jan; Pokaż więcej
Źródło:: NASA Formal Methods (9783319406473); 2016, p272-287, 16p

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Disrupted Circadian Rhythm as a Common Player in Developmental Models of Neuropsychiatric Disorders.
Autorzy:: Marco, Eva M.
Velarde, Elena
Llorente, Ricardo
Laviola, Giovanni; Pokaż więcej
Źródło:: Neurotoxin Modeling of Brain Disorders - Life-long Outcomes in Behavioral Teratology; 2016, p155-181, 27p

Książka

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Freedom of Establishment: VALE Case–Direction for New Rules: Dreams or Reality?
Autorzy:: Horak, Hana
Dumančić, Kosjenka; Pokaż więcej
Źródło:: New Europe - Old Values?; 2016, p165-179, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: A Look into 30 Years of Malware Development from a Software Metrics Perspective.
Autorzy:: Calleja, Alejandro
Tapiador, Juan
Caballero, Juan; Pokaż więcej
Źródło:: Research in Attacks, Intrusions & Defenses (9783319457185); 2016, p325-345, 21p

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: A Markov Random Field Approach to Automated Protocol Signature Inference.
Autorzy:: Zhang, Yongzheng
Xu, Tao
Wang, Yipeng
Sun, Jianliang
Zhang, Xiaoyu; Pokaż więcej
Źródło:: Security & Privacy in Communication Networks: 11th International Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015, Revised Selected Papers; 2015, p459-476, 18p

Książka

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Symbolic String Transformations with Regular Lookahead and Rollback.
Autorzy:: Veanes, Margus; Pokaż więcej
Źródło:: Perspectives of System Informatics; 2015, p335-350, 16p

Książka

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: 3D Catheter Tip Tracking in 2D X-Ray Image Sequences Using a Hidden Markov Model and 3D Rotational Angiography.
Autorzy:: Ambrosini, Pierre
Smal, Ihor
Ruijters, Daniel
Niessen, Wiro J.
Moelker, Adriaan
van Walsum, Theo; Pokaż więcej
Źródło:: Augmented Environments for Computer-Assisted Interventions 10th International Workshop, AE-CAI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Proceedings; 2015, p38-49, 12p

Książka

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Applying Automata Learning to Embedded Control Software.
Autorzy:: Smeenk, Wouter
Moerman, Joshua
Vaandrager, Frits
Jansen, David N.; Pokaż więcej
Źródło:: Formal Methods & Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings; 2015, p67-83, 17p

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Babic D"" wg kryterium: Wszystkie pola

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język