Browse Results

Showing 32,851 through 32,875 of 85,776 results
Title Author ISBN Copyright Features Action
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems 3860613 Eric Verhulst Raymond T. Boute José Miguel Faria Bernhard H.C. Sputh Vitaliy Mezhuyev 9781441997364 2011 Contains images
Formal Engineering for Industrial Software Development: Using the SOFL Method 4807749 Shaoying Liu 9783662072875 2004
Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing #12) 3778817 Shi-Yu Huang Kwang-Ting (Tim) Cheng 9781461556930 1998
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings (Lecture Notes in Computer Science #5791) 4740416 Stephen H. Edwards Gregory Kulczycki 9783642042119 2009
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668) 4835398 Raffaella Bernardi Greg Kobele Sylvain Pogodalla 9783662596487 2019 Contains images
Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings (Lecture Notes in Computer Science #9804) 2889320 Annie Foret Glyn Morrill Reinhard Muskens Rainer Osswald Sylvain Pogodalla 9783662530429 2016 Contains images
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10686) 5929487 Annie Foret Reinhard Muskens Sylvain Pogodalla 9783662563434 2018 Contains images
Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers (Lecture Notes in Computer Science #5591) 4795999 Philippe De Groote Markus Egg Laura Kallmeyer 9783642201691 2011
Formal Grammar: 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 (Lecture Notes in Computer Science #7395) 4752263 Philippe De Groote Mark-Jan Nederhof 9783642320248 2012
Formal Grammar: 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings (Lecture Notes in Computer Science #8612) 2878056 Glyn Morrill Reinhard Muskens Rainer Osswald Frank Richter 9783662441213 2014
Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings (Lecture Notes in Computer Science #8036) 4626079 Glyn Morrill Mark-Jan Nederhof 9783642399985 2013
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings (Lecture Notes in Computer Science #10950) 5924883 Annie Foret Greg Kobele Sylvain Pogodalla 9783662577844 2018 Contains images
Formal Languages and Applications (Studies in Fuzziness and Soft Computing #148) 4697784 Carlos Martin-Vide Victor Mitrana Gheorghe P 259 Un 9783540398868 2004
Formal Languages and Compilation (Texts in Computer Science) 2524304 Luca Breveglieri Angelo Morzenti Stefano Crespi Reghizzi 9783030048792 2019 Contains images
Formal Languages and Compilation (Texts in Computer Science) 4732539 Stefano Crespi Reghizzi 9781848820500 2009
Formal Languages and Computation: Models and Their Applications 2335034 Alexander Meduna 9781466513495 2014
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words 2994368 Michel Rigo 9781119008224 2014 Contains images
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words 3007107 Michel Rigo 9781119008217 2014
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414) 5794731 Haniel Barbosa Yoni Zohar 9783031493423 2024 Contains images
Formal Methods: State Of The Art And New Directions 2789258 Paul Boca Jonathan P. Bowen Jawed Siddiqi 9781848827363 2010 Contains images
Formal Methods: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science #8941) 2826035 Christiano Braga Narciso Martí-Oliet 9783319150758 2015
Formal Methods: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected (Lecture Notes in Computer Science #4346) 4632877 Lubos Brim Boudewijn Haverkort Martin Leucker Jaco Van De Pol 9783540709527 2007
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130) 4346062 Sérgio Campos Marius Minea 9783030921378 2021 Contains images
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475) 3871873 Gustavo Carvalho Volker Stolz 9783030638825 2020 Contains images
Formal Methods: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Lecture Notes in Computer Science #10623) 2254704 Simone Cavalheiro José Fiadeiro 9783319708485 2017 Contains images

Refine Search

Showing 32,851 through 32,875 of 85,776 results