Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science #11687)
2851463
|
Kim Guldstrand Larsen
Tim Willemse
|
9783030270087 |
2019 |
Contains images
|
|
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758)
2964907
|
Brijesh Dongol
Luigia Petre
Graeme Smith
|
9783030324414 |
2019 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750)
2888988
|
Étienne André
Mariëlle Stoelinga
|
9783030296629 |
2019 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings (Lecture Notes in Computer Science #11535)
2720571
|
Jorge A. Pérez
Nobuko Yoshida
|
9783030217594 |
2019 |
Contains images
|
|
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science #1008)
2483509
|
Cyrille Artho
Peter Csaba Ölveczky
|
9783030129880 |
2019 |
Contains images
|
|
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
2253516
|
David M. Russinoff
J Strother Moore
|
9783319955131 |
2019 |
Contains images
|
|
Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications: 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers (Communications in Computer and Information Science #987)
2459576
|
Max Silberztein
Mario Monteleone
Ignazio Mauro Mirto
|
9783030108687 |
2019 |
Contains images
|
|
FORTNITE (Official Fortnite Books)
4066783
|
Epic Games
|
9780316591348 |
2019 |
Contains images
|
|
FORTNITE: Battle Royale Survival Guide (Official Fortnite Bks.)
4067280
|
Epic Games
|
9780316491280 |
2019 |
Contains images
|
|
FORTNITE: Collectors' Edition (Official Fortnite Books)
4070682
|
Epic Games
|
9780316530446 |
2019 |
Contains images
|
|
FORTNITE: Collectors' Edition (Official Fortnite Books)
4070731
|
Epic Games
|
9780316530477 |
2019 |
Contains images
|
|
Fortnite Battle Royale: los Chistes y Memes más Divertidos y Épicos
2500435
|
Joke Factory
|
9781547576067 |
2019 |
Contains images
|
|
Fortnite Battle Royale Hacks: Advanced Strategies for Winning Duos Matches (Fortnite Battle Royale Hacks)
2361543
|
Jason R. Rich
|
9781510744615 |
2019 |
Contains images
|
|
Fortnite For Dummies
2668893
|
Bill Loguidice
|
9781119606123 |
2019 |
Contains images
|
|
FORTNITE Official: The Battle Royale Survival Guide (Official Fortnite Books)
4096910
|
Epic Games
|
9781472262127 |
2019 |
Contains images
|
|
FORTNITE Official: How to Draw
3386479
|
Epic Games
|
9781472278586 |
2019 |
Contains images
|
|
FORTNITE Official: How to Draw (Official Fortnite Books)
4191770
|
Epic Games
|
9781472278586 |
2019 |
Contains images
|
|
Foundations and Practice of Security: 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11358)
2635530
|
Nur Zincir-Heywood
Guillaume Bonfante
Mourad Debbabi
Joaquin Garcia-Alfaro
|
9783030184193 |
2019 |
Contains images
|
|
Foundations of Embedded Systems (Studies in Systems, Decision and Control #195)
2482478
|
Alexander Barkalov
Larysa Titarenko
Małgorzata Mazurkiewicz
|
9783030119614 |
2019 |
Contains images
|
|
Foundations of Information Security: A Straightforward Introduction
3255402
|
Jason Andress
|
9781718500051 |
2019 |
Contains images
|
|
Foundations of PyGTK Development: GUI Creation with Python
2444181
|
W. David Ashley
Andrew Krause
|
9781484241790 |
2019 |
Contains images
|
|
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science #11565)
2640654
|
Joshua D. Guttman
Carl E. Landwehr
José Meseguer
Dusko Pavlovic
|
9783030190521 |
2019 |
Contains images
|
|
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Lecture Notes in Computer Science #11425)
5927810
|
Mikołaj Bojańczyk
Alex Simpson
|
9783030171278 |
2019 |
Contains images
|
|
The Four Pillars of Portfolio Management: Organizational Agility, Strategy, Risk, and Resources (Best Practices in Portfolio, Program, and Project Management)
5511076
|
Olivier Lazar
|
9780429655258 |
2019 |
Contains images
|
|
FPGA-BASED Hardware Accelerators (Lecture Notes in Electrical Engineering #566)
2593142
|
Iouliia Skliarova
Valery Sklyarov
|
9783030207212 |
2019 |
Contains images
|
|