Browse Results

Showing 31,476 through 31,500 of 82,861 results
Title Author ISBN Copyright Features Action
Formal Correctness of Security Protocols (Information Security and Cryptography) 4667226 Giampaolo Bella 9783540681366 2007
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France (IFIP Advances in Information and Communication Technology #6) 3821710 Stan Budkowski Ana Cavalli Elie Najm 9780387353944 1998
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology) 3821625 Atsushi Togashi Tadanori Mizuno Norio Shiratori Teruo Higashino 9780387352718 1997
Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 (IFIP Transactions C: Communication Systems #Volume 2) 3956446 K. R. Parker G. A. Rose 9781483293332 1992
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology) 3821559 R. Gotzhein J. Bredereke 9780387350790 1996
Formal Description Techniques VII (IFIP Advances in Information and Communication Technology) 3821415 D. Hogrefe S. Leue 9780387348780 1995
Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology) 3821487 Gregor Von Bochmann Rachida Dssouli Omar Rafiq 9780387349459 1996
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

Refine Search

Showing 31,476 through 31,500 of 82,861 results